Русская Википедия:Корень (математика)

Это статья об извлечении корней. См. также Корень уравнения и Корень многочлена.

Шаблон:Фоторяд Корень <math>n</math>-й степени из числа <math>a</math> определяется^[1] как такое число <math>b</math>, что <math>b^n=a.</math> Здесь <math>n</math> — натуральное число, называемое показателем корня (или степенью корня); как правило, оно больше или равно 2, потому что случай <math>n=1</math> не представляет интереса.

Обозначение: <math>b=\sqrt[n]{a},</math> символ (знак корня) в правой части называется радикалом. Число <math>a</math> (подкоренное выражение) чаще всего вещественное или комплексное, но существуют и обобщения для других математических объектов, например, вычетов, матриц и операторов, см. ниже #Вариации и обобщения.

Примеры для вещественных чисел:

Корнями 2-й степени из числа 9 являются <math>+3</math> и <math>-3,</math> у обоих этих чисел квадраты совпадают и равны 9
<math>\sqrt[3]{\ 64}=4,</math> потому что <math>4^3=64.</math>
<math>\sqrt[3]{\frac{8}{27}}=\frac{2}{3},</math> потому что <math>\left(\frac{2}{3}\right)^3=\frac{8}{27}.</math>

Как видно из первого примера, у вещественного корня чётной степени могут быть два значения (положительное и отрицательное), и это затрудняет работу с такими корнями, не позволяя использовать их в арифметических вычислениях. Чтобы обеспечить однозначность, вводится понятие арифметического корняШаблон:Переход (из неотрицательного вещественного числа), значение которого всегда неотрицательно, в первом примере это число <math>3.</math> Кроме того, принято соглашение, по которому знак корня чётной степени из вещественного числа всегда обозначает арифметический кореньШаблон:Sfn Шаблон:Sfn: <math>\sqrt[2]{9}=3.</math> Если требуется учесть двузначность корня, перед радикалом ставится знак плюс-минус^[2]; например, так делается в формуле решения квадратного уравнения <math>ax^2+bx+c=0</math>:

Вещественные корни чётной степени из отрицательных чисел не существуют. Из комплексного числа всегда можно извлечь корень любой степени, но результат определён неоднозначно — комплексный корень <math>n</math>-й степени из ненулевого числа имеет <math>n</math> различных значений (см. #Корни из комплексных чисел).

Операция извлечения корня и алгоритмы её реализации появились в глубокой древности в связи с практическими потребностями геометрии и астрономии, см. #История.

Определение и связанные понятия

Кроме приведенного выше, можно дать два равносильных определения корня^[3]:

Корень <math>n</math>-й степени из числа <math>a</math> есть решение <math>x</math> уравнения <math>x^n=a</math> (отметим, что решений может быть несколько или ни одного).
Корень <math>n</math>-й степени из числа <math>a</math> есть корень многочлена <math>x^n-a,</math> то есть значение <math>x</math>, при котором указанный многочлен равен нулю.

Файл:Function with two values 1.svg

График значений квадратного корня: каждому значению <math>x</math>, кроме нуля, соответствуют два значения корня <math>(y),</math> различающиеся знаком

Операция вычисления <math>\sqrt[n]{a}</math> называется «извлечением корня <math>n</math>-й степени» из числа <math>a</math>. Это одна из двух операций, обратных по отношению к возведению в степень Шаблон:Sfn, а именно — нахождение основания степени <math>b</math> по известному показателю <math>n</math> и результату возведения в степень <math>a=b^n</math>. Вторая обратная операция, логарифмирование, находит показатель степени по известным основанию и результату.

Корни второй и третьей степени употребляются особенно часто и поэтому имеют специальные названия^[4].

Квадратный корень: <math>\sqrt{a}.</math> В этом случае показатель степени 2 обычно опускается, а термин «корень» без указания степени чаще всего подразумевает квадратный корень. Геометрически <math>\sqrt{a}</math> можно истолковать как длину стороны квадрата, площадь которого равна <math>a</math>.
Кубический корень: <math>\sqrt[3]{a}.</math> Геометрически <math>\sqrt[3]{a}</math> — это длина ребра куба, объём которого равен <math>a</math>.

Корни из вещественных чисел

В данном разделе всюду <math>n</math> — натуральное число, <math>a,b</math> — вещественные числа. Корень <math>n</math>-й степени из вещественного числа <math>a</math>, в зависимости от чётности <math>n</math> и знака <math>a</math>, может иметь от 0 до 2 вещественных значений.

Общие свойства

Корень нечётной степени из положительного числа — положительное число, однозначно определенное.

<math>\sqrt[n]{a} = b</math>,Шаблон:Nbspгде Шаблон:Nbsp<math>a, b > 0,</math>Шаблон:Nbsp<math>n</math> — нечётное

Например, <math>\sqrt[3]{125} = 5, \ \sqrt[5]{32} = 2, \ \sqrt[15]{1} = 1</math>

Корень нечётной степени из отрицательного числа — отрицательное число, однозначно определенное.

<math>\sqrt[n]{a} = b</math>,Шаблон:Nbspгде Шаблон:Nbsp<math>a, b < 0,</math>Шаблон:Nbsp<math>n</math> — нечётное

Например, <math>\sqrt[3]{-8} = -2, \ \sqrt[5]{-243} = -3, \ \sqrt[7]{-1} = -1</math>

Корень чётной степени из положительного числа имеет два значения с противоположными знаками, но равными по модулю.

<math>\pm \sqrt[n]{a} = \pm b</math>,Шаблон:Nbspгде Шаблон:Nbsp<math>a, b > 0,</math>Шаблон:Nbsp<math>n</math> — чётное

Например, <math>\pm\sqrt{4} = \pm 2, \ \ \pm\sqrt[4]{81} = \pm 3, \ \ \pm\sqrt[10]{1024} = \pm 2</math>

Корень чётной степени из отрицательного числа не существует в области вещественных чисел, поскольку при возведении любого вещественного числа в степень с чётным показателем результатом будет неотрицательное число. Ниже будет показано, как извлекать такие корни в более широкой системе — множестве комплексных чисел (тогда значениями корня будут <math>n</math> комплексных чисел).

<math>\sqrt[n]{a}</math>Шаблон:Nbspне существует в области вещественных чисел, еслиШаблон:Nbsp<math>a < 0,</math>Шаблон:Nbsp<math>n</math> — чётное

Корень любой натуральной степени из нуля — ноль.

<math>\sqrt[n]{0} = 0</math>

Предостережение

Как сказано выше: «Корень чётной степени из отрицательного числа не существует в области вещественных чисел». При этом в области комплексных чисел такой корень существует. Поэтому следует всегда учитывать, в какой числовой системе (вещественных или комплексных чисел) мы извлекаем корень.

Пример. В области вещественных чисел, квадратный корень из <math>-9</math> не существует.
Пример. В области комплексных чисел, квадратный корень из <math>-9</math> равен <math>\pm 3i.</math>

Арифметический корень

Файл:Fonction racine carrée - tangente en 0.svg

График функции арифметического квадратного корня

Выше уже говорилось, что корни чётной степени определены, вообще говоря, неоднозначно, и этот факт создаёт неудобства при их использовании. Поэтому было введено практически важное ограничение этого понятия^[5].

Арифметический корень <math>n</math>-й степени из неотрицательного вещественного числа <math>a</math> — это неотрицательное число <math>b</math>, для которого <math>b^n=a.</math> Обозначается арифметический корень знаком радикала.

Таким образом, арифметический корень, в отличие от корня общего вида (алгебраического), определяется только для неотрицательных вещественных чисел, а его значение всегда существует, однозначноШаблон:Sfn и неотрицательно. Например, квадратный корень из числа <math>4</math> имеет два значения: <math>2</math> и <math>-2</math>, из них арифметическим является первое.

Алгебраические свойства

Приведённые ниже формулы верны, прежде всего, для арифметических корней любой степени (кроме особо оговоренных случаев). Они справедливы также для корней нечётной степени, у которых допускаются и отрицательные подкоренные выраженияШаблон:Sfn.

Взаимопогашение корня и степени:^[6]
- для нечётного <math>n</math>: Шаблон:Nbsp<math>\sqrt[n]{a^n} = a</math>,
- для чётного <math>n</math>: Шаблон:Nbsp<math>{\color{blue}\sqrt[{\color{black}n}] {\color{black}{a^n}}} = |a|</math>
Если <math>a<b</math>, то и <math>{\color{blue}\sqrt[{\color{black}n}] {\color{black}{a}}} < {\color{blue}\sqrt[{\color{black}n}] {\color{black}{b}}}</math>

Корень из произведения равен произведению корней из сомножителей:

<math>{\color{blue}\sqrt[{\color{black}n}] {\color{black}{ab}}} = {\color{blue}\sqrt[{\color{black}n}] {\color{black}{a}}} {\color{blue}\sqrt[{\color{black}n}] {\color{black}{b}}}</math>

Аналогично для деления:

<math>{\color{blue}\sqrt[{\color{black}n}] {\color{black}{\frac {a} {b}}}} = \frac{{\color{blue}\sqrt[{\color{black}n}] {\color{black} {a}}}} {{\color{blue}\sqrt[{\color{black}n}] {\color{black}{b}}}},\; b\ne 0 </math>

Следующее равенство есть определение возведения в дробную степеньШаблон:Sfn:

<math>a^{m/n} = {\color{blue}\sqrt[{\color{black}n}] {\color{black}{a^m}}} = \left({\color{blue}\sqrt[{\color{black}n}] {\color{black}{a}}}\right)^m = \left(a^{1/n}\right)^m</math>

Величина корня не изменится, если его показатель и степень подкоренного выражения разделить на одно и то же число (множитель показателя степени и показатель степени подкоренного выражения):

<math>{\color{blue}\sqrt[{\color{black}nk}] {\color{black}{a^{mk}}}} = {\color{blue}\sqrt[{\color{black}n}] {\color{black}{a^m}}}, \; n,k \in \mathbb N.</math> Пример: <math>{\color{blue}\sqrt[{\color{black}6}] {\color{black}{64}}}={\color{blue}\sqrt[{\color{black}{2\cdot 3}}] {\color{black}{4^3}}} = {\color{blue}\sqrt {\color{black}{4}}} = 2</math>
<math>{\color{blue}\sqrt[{\color{black}n}] {\color{blue}\sqrt[{\color{black}k}] {\color{black} {a}}}} = {\color{blue}\sqrt[{\color{black}nk}] {\color{black}{a}}}, \; n,k \in \mathbb N</math>

Для корней нечётной степени укажем дополнительное свойство:

<math>\sqrt[n]{-a} = - \sqrt[n]{a}</math>

Извлечение корня и возведение в дробную степень

Шаблон:Main Операция возведения в степень первоначально была введена как сокращённая запись операции умножения натуральных чисел: <math>m^n={\color{Gray}\underbrace{\color{Black}m\cdot m\cdot\dots\cdot m}_{\color{Black}n}}</math>. Следующим шагом было определение возведения в произвольную целую, в том числе отрицательную, степень: <math>m^{-n}=\frac{1}{m^n}.</math>

Операция извлечения арифметического корня позволяет определить возведение положительного числа в любую рациональную (дробную) степень^[7]:

<math>a^{\frac{m}{n}} = {\color{blue}\sqrt[{\color{black}n}] {\color{black}{a^m}}},</math> Шаблон:Nbsp <math>a>0</math>

При этом числитель <math>m</math> дроби <math>\frac{m}{n}</math> может иметь знак. Свойства расширенной операции в основном аналогичны возведению в целую степень.

Это определение означает, что извлечение корня и обратное к нему возведение в степень фактически объединяются в одну алгебраическую операцию. В частности:

<math>{\color{blue}\sqrt[{\color{black}n}] {\color{black}{a}}} = a^{\frac{1}{n}}</math>

Попытки возведения в рациональную степень отрицательных чисел могут привести к ошибкам, поскольку значение алгебраического корня неоднозначно, а область значений арифметического корня ограничена неотрицательными числами. Пример возможной ошибки:

<math>-1 = (-1)^{2\ \cdot\ \frac{1}{2}} = \left({(-1)^2}\right)^\frac{1}{2}=1^\frac{1}{2}={\color{blue}\sqrt{\color{black}1}}= 1</math>

Функция корня

Графики функций корня
Функции корня и обратные к ним степенные функции на интервале <math>[0; \ 1]</math>

Функции корня и обратные к ним степенные функции на интервале <math>[0; \ 1]</math>
Функции корня: — арифметический, чётные степени 2, 4, 6 — общий, нечётные степени 3, 5, 7

Функции корня:
— арифметический, чётные степени 2, 4, 6
— общий, нечётные степени 3, 5, 7

Если рассматривать подкоренное выражение как переменную, мы получим функцию корня <math>n</math>-й степени: <math>y=\sqrt[n] x</math>. Функция корня относится к категории алгебраических функций. График любой функции корня проходит через начало координат и точку <math>(1; \ 1)</math>.

Как сказано выше, для корня чётной степени, чтобы обеспечить однозначность функции, корень должен быть арифметическим, так что аргумент <math>x</math> неотрицателен. Функция корня нечётной степени однозначна и существует для любого вещественного значения аргумента.

Тип функции корня	Область определения	Область значений	Другие свойства
Чётной степени	<math>[0; \ +\infty )</math>	<math>[0; \ +\infty )</math>	Функция выпукла вверх на всей области определения
Нечётной степени	<math>(-\infty; +\infty)</math>	<math>(-\infty; +\infty)</math>	Функция нечётна

Для любой степени функция корня строго возрастает, непрерывна всюду внутри своей области определения. Неограниченно дифференцируема всюду, кроме начала координат, где производная обращается в бесконечностьШаблон:Sfn Шаблон:Sfn. Производная определяется по формулеШаблон:Sfn:

<math>\frac {d}{dx} \sqrt[n]{x} = \frac {1} {n\sqrt[n]{x^{n-1}}}</math>Шаблон:Nbsp. В частности,Шаблон:Nbsp<math>\frac {d}{dx} \sqrt{x} = \frac {1} {2\sqrt{x}}</math>.

Функция неограниченно интегрируема во всей области определения. Неопределенный интеграл ищется по формуле:

<math>\int \sqrt[n]{x} \;dx = \frac{\sqrt[n]{x^{n+1}}}{1+\frac{1}{n}} + C</math>Шаблон:Nbsp. В частности,Шаблон:Nbsp<math>\int \sqrt{x} \;dx = \frac{2 \sqrt{x^3}}{3} + C</math>Шаблон:Nbsp, гдеШаблон:Nbsp<math>C</math> — произвольная постоянная.

Шаблон:Начало скрытого блока

Формула нахождения производной <math>k</math>-го порядка Шаблон:Sfn функции <math>\sqrt[n]{x}</math>:

Шаблон:Nbsp<math>\frac {d^k}{dx^k} \sqrt[n]{x} = (-1)^{k} \frac {\prod^{k-1}_{m=0}(mn-1)}{{n^k}{\sqrt[n]{x^{kn-1}}}}</math>Шаблон:Nbsp
где <math>\ k, n \in \mathbb {N}, \ x \ne 0</math>

Формула нахождения <math>k</math>-го неопределённого интеграла^[8] функции <math>\sqrt[n]{x}</math>:

Шаблон:Nbsp<math>\underbrace {\int\cdots\int}_{k} \sqrt[n]{x} \ \underbrace {dx\cdots dx}_{k} = \frac {{n^k}{\sqrt[n]{x^{kn+1}}}}{\prod^{k}_{m=1}(1+mn)} + C</math>Шаблон:Nbsp
где <math>k, n \in \mathbb {N}, \ C=const</math>

Правые части формул являются алгебраическими выражениями, которые существуют всегда, при натуральном <math>k</math>. Следовательно и левые тоже.

Шаблон:Конец скрытого блока

Предельные соотношения

Приведём несколько полезных пределов, содержащих корниШаблон:Sfn.

<math>\lim_{n \to \infty} \sqrt[n]n = \lim_{n \to \infty} \sqrt[n]{\ln n} = 1</math>

<math>\lim_{n \to \infty} n \left(\sqrt[n]x -1 \right) = \lim_{n \to \infty} n \left(1-\frac{1}{\sqrt[n]{x}}\right)= \ln x</math>

<math>\lim_{n \to \infty} \left(\frac{\sqrt[n]a+\sqrt[n]b}{2}\right)^n = \sqrt{ab}</math>

Практическое вычисление корней

Функция вычисления квадратных и кубических корней предусмотрена во многих калькуляторах; например, калькулятор Windows показывает соответствующие кнопки в режиме «Инженерный» (Научный). Если на электронном калькуляторе есть клавиша возведения в степень: <math>y^x,</math> то для извлечения корня из текущего числа надо нажать следующие клавиши^[9].

Набрать показатель корня

Нажать клавишу <math>1/x</math>

Нажать клавишу <math>=</math>

Для расчёта вручную можно использовать быстро сходящийся метод, изложенный в статье «Алгоритм нахождения корня n-ной степени». Для степеней выше третьей можно использовать логарифмическое тождество:

Для извлечения корня надо найти логарифм подкоренного выражения, разделить на степень корня и найти антилогарифм результата. Шаблон:-

Корни из комплексных чисел

Зарождение понятия комплексного числа исторически было связано с желанием «легализовать» квадратные корни из отрицательных чисел. Как постепенно выяснилось, комплексные числа обладают богатыми алгебраическими и аналитическими свойствами; в частности, извлечение корней из них всегда возможно, хотя и неоднозначно. Для корней в комплексной области знак радикала обычно либо не используется, либо обозначает не функцию корня, а множество всех корней; в последнем случае, во избежание ошибок, знак радикала не должен использоваться в арифметических операциях. Пример возможной ошибки:

<math>-1=(\sqrt{-1})^2 = \sqrt{(-1)^2}=\sqrt{1}=1 </math> (что, конечно, неверно)

Ошибка возникла из-за того, что неарифметический квадратный корень является многозначной функцией, и его нельзя использовать в арифметических действиях.

Способы нахождения

Запишем комплексное число <math>z</math> в тригонометрической форме:

<math>z = r \left(\cos{\varphi} + i\sin{\varphi}\right)</math>.

Тогда корни <math>n</math>-й степени из <math>z</math> определяются формулой Муавра (тригонометрическая форма)Шаблон:Sfn:

<math>\sqrt[n]{z} = {\color{blue}\sqrt[{\color{black}n}] {\color{black}{r}}}\left(\cos{\frac{\varphi+2\pi k}{n}} + i\sin{\frac{\varphi+2\pi k}{n}}\right),\;k = 0, 1, \dots, n-1</math>

Файл:Kreis3 6Teilung.svg

Корни третьей и шестой степени из единицы (вершины треугольника и шестиугольника соответственно)

или в показательной форме:

<math>z = r e^{i\varphi}</math>

<math>\sqrt[n]{z} = {\color{blue}\sqrt[{\color{black}n}] {\color{black}{r}}}e^{\left(i\frac{\varphi+2\pi k}{n}\right)},\;k = 0, 1, \dots, n-1</math>

Шаблон:Начало скрытого блока

<math>z = x + iy, \ z \in \mathbb{C}</math> (комплексное число),
<math>x = \operatorname{Re}(z) \in \mathbb{R}</math> (действительная часть комплексного числа),
<math>y = \operatorname{Im}(z) \in \mathbb{R}</math> (мнимая часть комплексного числа),
<math>i</math> — мнимая единица,
<math>r=|z|={\color{blue}\sqrt{\color{black}{x^2+y^2}}}</math> (модуль комплексного числа),
<math>\varphi=\operatorname{arg}z= \operatorname{arctg}\frac{y}{x}</math> (аргумент комплексного числа),
<math>e</math> — основание натурального логарифма. Шаблон:Конец скрытого блока

Корень степени <math>n</math> из ненулевого комплексного числа имеет <math>n</math> значений (это следствие основной теоремы алгебры), и все они различны. Значение корня, получаемое при <math>k=0</math>, часто называется главным.

Поскольку для всех значений корня величина модуля одинакова (он определяется как арифметический корень из модуля изначального комплексного числа), а меняется лишь его аргумент, все <math>n</math> значений корня располагаются на комплексной плоскости на окружности радиуса <math>{\color{blue}\sqrt[{\color{black}n}] {\color{black}{r}}}</math> c центром в начале координат. Корни делят эту окружность на <math>n</math> равных частей.

Примеры

Найдём <math>\sqrt{-4}</math>. Поскольку <math>-4 = 4 (\cos{\pi} + i\sin{\pi}),</math> по формуле получаем:

<math>\sqrt{-4} = 2 \left( \cos{\frac{\pi+2\pi k}{2}} + i\sin{\frac{\pi+2\pi k}{2}}\right),\;k = 0, 1</math>

При <math>k=0</math> получим первый корень <math>2 i</math>, при <math>k=1</math> получим второй корень <math>(-2 i).</math>

Другой пример: найдём <math>\sqrt[4]{-16}</math>. Представим подкоренное выражение в тригонометрической форме:

По формуле Муавра получаем:

<math>z_k = \sqrt[4]{-16} = \sqrt[4]{16} \left( \cos\frac{\pi + 2k\pi}{4} + i \sin\frac{\pi + 2k\pi}{4} \right)</math>

В итоге имеем четыре значения корня^[10]:

<math>z_0=2 \left( \cos\frac{\pi}{4} + i \sin\frac{\pi}{4} \right) = \sqrt{2}\ (1+i)</math>

<math>z_1=2 \left( \cos\frac{3\pi}{4} + i \sin\frac{3\pi}{4} \right) = \sqrt{2}\ (-1+i)</math>

<math>z_2=2 \left( \cos\frac{5\pi}{4} + i \sin\frac{5\pi}{4} \right) = -\sqrt{2}\ (1+i)</math>

<math>z_3=2 \left( \cos\frac{7\pi}{4} + i \sin\frac{7\pi}{4} \right) = \sqrt{2}\ (1-i)</math>

Можно записать сводный ответ в виде: <math>\sqrt[4]{-16} = \sqrt{2}\ (\pm 1 \pm i)</math>

Комплексная функция корня и риманова поверхность

Рассмотрим комплексную функцию корня <math>n</math>-й степени: <math>w=\sqrt[n]{z}.</math> Согласно сказанному выше, эта функция является многозначной (точнее, <math>n</math>-значной) функцией, и это создаёт неудобства при её исследовании и применении. В комплексном анализе вместо рассмотрения многозначных функций на комплексной плоскости принято иное решение: рассматривать функцию как однозначную, но определённую не на плоскости, а на более сложном многообразии, которое называется римановой поверхностью Шаблон:Sfn.

Риманова поверхность для комплексного квадратного корня

Риманова поверхность для комплексного квадратного корня
Риманова поверхность для комплексного корня 4-й степени

Риманова поверхность для комплексного корня 4-й степени

Для комплексной функции корня <math>n</math>-й степени её риманова поверхность (см. рисунки) состоит из <math>n</math> ветвей (листов), связанных винтообразно, причём последний лист связан с первым. Эта поверхность непрерывна и односвязна. Один из листов содержит главные значения корня, получаемые как аналитическое продолжение вещественного корня с положительного луча вещественной оси.

Опишем для простоты комплексную функцию квадратного корня. Её риманова поверхность состоит из двух листов. Первый лист можно представить как комплексную плоскость, у которой вырезан положительный луч вещественной оси. Значения функции корня <math>w</math> на этом листе имеют вдвое меньший аргумент, чем <math>z</math>, и поэтому они заполняют верхнюю часть комплексной плоскости значений. На разрезе первый лист склеен со вторым, и функция непрерывно продолжается через разрез на второй лист, где её значения заполняют нижнюю часть комплексной плоскости значений. Оставшиеся свободными начало первого листа и конец второго тоже склеим, после чего полученная функция на римановой поверхности становится однозначной и всюду непрерывной^[11].

Единственный нуль у функции (первого порядка) получается при <math>z=0</math>. Особые точки: <math>z=0</math> и <math>z=\infty</math> (точки разветвления бесконечного порядка)^[11]. Понятие точки разветвления означает, что замкнутый контур в окрестности нуля неизбежно содержит переход с листа на лист.

В силу односвязности риманова поверхность корня является универсальной накрывающей^[12] для комплексной плоскости без точки <math>0</math>.

Вариации и обобщения

Корень <math>n</math>-й степени из <math>a</math> есть решение уравнения <math>x^n=a</math>, и его в принципе можно определить всюду, где такое уравнение имеет смысл. Чаще всего рассматривают такие обобщения в алгебраических кольцах. Лучше всего исследованы обобщённые квадратные корни.

Если кольцо есть область целостности, то квадратных корней из ненулевого элемента может быть либо два, либо ни одного. В самом деле, если имеются два корня <math>a, b,</math> то <math>a^2=b^2,</math> откуда: <math>(a-b)(a+b)=0</math>, то есть, в силу отсутствия делителей нуля, <math>a=\pm b</math>. В более общем случае, когда в кольце имеются делители нуля или оно некоммутативно, число корней может быть любым.

В теории чисел рассматривается конечное кольцо вычетов по модулю <math>m</math>: если сравнение <math>x^n \equiv a \pmod m</math> имеет решение, то целое число <math>a</math> называется вычетом степени n (в противном случае — невычетом степени n). Решение <math>x</math>, если оно существует, является полным аналогом корня n-й степени из целого числа <math>a</math>. Чаще всего используются случаи^[13]:

<math>n=2</math> (квадратичные вычеты)
<math>n=3</math> (кубические вычеты)
<math>n=4</math> (биквадратичные вычеты)

Корни для кватернионов имеют много общего с комплексными, но есть и существенные особенности. Квадратный кватернионный корень обычно имеет 2 значения, но если подкоренное выражение — отрицательное вещественное число, то значений бесконечно много. Например, квадратные корни из <math>-1</math> образуют трёхмерную сферу, определяемую формулой^[14]:

Для кольца квадратных матриц доказано, что если матрица положительно определена, то положительно определённый квадратный корень из матрицы существует и единственен^[15]. Для матриц других типов корней может быть сколько угодно (в том числе ни одного).

Квадратные корни вводятся также для функций^[16], операторов^[17] и других математических объектов.

История

Развитие понятия

Файл:Ybc7289-bw.jpg

Вавилонская табличка (около 1800—1600 г. до н. э.) с вычислением <math>\sqrt{2} \approx 1 + 24/60 + 51/60^2 + 10/60^3</math>
<math>= 1{,}41421296\dots</math>

Первые задачи, связанные с извлечением квадратного корня, обнаружены в трудах вавилонских математиков (о достижениях древнего Египта в этом отношении ничего не известно). Среди таких задачШаблон:Sfn:

Применение теоремы Пифагора для нахождения стороны прямоугольного треугольника по известным двум другим сторонам.
Нахождение стороны квадрата, площадь которого задана.
Решение квадратных уравнений.

Вавилонские математики (II тысячелетие до н. э.) разработали для извлечения квадратного корня особый численный метод. Начальное приближение для <math>\sqrt{a}</math> рассчитывалось исходя из ближайшего к корню (в меньшую сторону) натурального числа <math>n</math>. Представив подкоренное выражение в виде: <math>a=n^2+r</math>, получаем: <math>x_0=n+\frac{r}{2n}</math>, затем применялся итеративный процесс уточнения, соответствующий методу Ньютона Шаблон:Sfn:

<math>x_{n+1}=\frac{1}{2}~\left(x_n + \frac{a}{x_n}\right)\ </math>

Итерации в этом методе очень быстро сходятся. Для <math>\sqrt{5}</math>, например, <math>a=5;\;n=2;\;r=1;\ x_0=\frac{9}{4} = 2{,}25,</math> и мы получаем последовательность приближений:

В заключительном значении верны все цифры, кроме последней.

Аналогичные задачи и методы встречаются в древнекитайской «Математике в девяти книгах»Шаблон:Sfn. Древние греки сделали важное открытие: <math>\sqrt{2}</math> — иррациональное число. Детальное исследование, выполненное Теэтетом Афинским (IV век до н. э.), показало, что если корень из натурального числа не извлекается нацело, то его значение иррационально^[18].

Греки сформулировали проблему удвоения куба, которая сводилась к построению кубического корня с помощью циркуля и линейки. Проблема оказалась неразрешимой. Численные алгоритмы извлечения кубического корня опубликовали Герон (в трактате «Метрика», I век н. э.) и индийский математик Ариабхата I (V век)^[19].

Алгоритмы извлечения корней любой степени из целого числа, разработанные индийскими и исламскими математиками, были усовершенствованы в средневековой Европе. Николай Орем (XIV век) впервые истолковалШаблон:Sfn корень <math>n</math>-й степени как возведение в степень <math>\frac{1}{n}</math>.

После появления формулы Кардано (XVI век) началось применение в математике мнимых чисел, понимаемых как квадратные корни из отрицательных чиселШаблон:Sfn. Основы техники работы с комплексными числами разработал в XVI веке Рафаэль Бомбелли, который также предложил оригинальный метод вычисления корней (с помощью цепных дробей). Открытие формулы Муавра (1707) показало, что извлечение корня любой степени из комплексного числа всегда возможно и не приводит к новому типу чиселШаблон:Sfn.

Комплексные корни произвольной степени в начале XIX века глубоко исследовал Гаусс, хотя первые результаты принадлежат Эйлеру Шаблон:Sfn. Чрезвычайно важным открытием (Галуа) стало доказательство того факта, что не все алгебраические числа (корни многочленов) могут быть получены из натуральных с помощью четырёх действий арифметики и извлечения корня^[20].

Этимология термина и происхождение символики

Термин корень имеет долгую и сложную историю. Извлечение квадратного корня древние греки понимали строго геометрически: как нахождение стороны квадрата по известной его площади. После перевода на санскрит греческое слово «сторона» превратилась в «мула» (основание). Слово «мула» имело также значение «корень», поэтому при переводе индийских сиддхант на арабский использовался термин «джизр» (корень растения). Впоследствии аналогичное по смыслу слово «radix» закрепилось в латинских переводах с арабского, а через них и в русской математической терминологии («корень», «радикал»)Шаблон:Sfn.

Средневековые математики (например, Кардано) обозначали квадратный корень^[21] символом R_x, сокращение от слова «radix». Современное обозначение впервые употребил немецкий математик Кристоф Рудольф, из школы коссистов (то есть алгебраистов), в 1525 году^[22]. Происходит этот символ от стилизованной первой буквы того же слова «radix». Черта над подкоренным выражением вначале отсутствовала; её позже ввёл Декарт (1637) для иной цели (вместо скобок), и эта черта вскоре слилась со знаком корня.

Показатель степени появился в знаке корня благодаря Валлису и «Универсальной арифметике» Ньютона (XVIII век)^[23].

См. также

Литература

Примечания

Шаблон:Примечания

Шаблон:Хорошая статья

↑ Шаблон:Книга
↑ Ошибка цитирования Неверный тег <ref>; для сносок ZAY49 не указан текст
↑ Сканави М. И. Элементарная математика. П. 1.11. С. 49.
↑ Ошибка цитирования Неверный тег <ref>; для сносок VYG64 не указан текст
↑ Шаблон:Книга
↑ Алгебра и начала анализа. Учебник для 10—11 классов, под ред. А. Н. Колмогорова. М.: Просвещение, 2002, С. 209.
↑ Ошибка цитирования Неверный тег <ref>; для сносок VYG183 не указан текст
↑ Не путать с кратными интегралами. Их записи весьма похожи, но <math>k</math>-й интеграл является неопределённым, в то время как <math>k</math>-кратный интеграл — определённый.
↑ Шаблон:Книга
↑ Шаблон:Книга
↑ ^11,0 ^11,1 Ошибка цитирования Неверный тег <ref>; для сносок ST не указан текст
↑ Шаблон:Книга
↑ Шаблон:Книга
↑ Porteous, Ian R. Clifford Algebras and the Classical Groups. Cambridge, 1995, page 60.
↑ См., например: Гантмахер Ф. Р. Теория матриц. М.: ГИТТЛ, 1953, С. 212—219, или: Воеводин В., Воеводин В. Энциклопедия линейной алгебры. Электронная система ЛИНЕАЛ. Спб.: БХВ-Петербург, 2006.
↑ См., например: Ершов Л. В., Райхмист Р. Б. Построение графиков функций. М.: Просвещение, 1984, или: Каплан И. А. Практические занятия по высшей математике. Харьков: Изд-во ХГУ, 1966.
↑ См., например: Хатсон В., Пим Дж. Приложения функционального анализа и теории операторов. М.: Мир, 1983, или: Халмош П. Гильбертово пространство в задачах. М.: Мир, 1970.
↑ Шаблон:Книга
↑ Шаблон:Статья
↑ Шаблон:Книга
↑ Шаблон:Книга
↑ Шаблон:Книга
↑ Шаблон:Книга

[1] Шаблон:Книга

[ZAY49-2] Ошибка цитирования Неверный тег <ref>; для сносок ZAY49 не указан текст

[3] Сканави М. И. Элементарная математика. П. 1.11. С. 49.

[VYG64-4] Ошибка цитирования Неверный тег <ref>; для сносок VYG64 не указан текст

[5] Шаблон:Книга

[6] Алгебра и начала анализа. Учебник для 10—11 классов, под ред. А. Н. Колмогорова. М.: Просвещение, 2002, С. 209.

[VYG183-7] Ошибка цитирования Неверный тег <ref>; для сносок VYG183 не указан текст

[8] Не путать с кратными интегралами. Их записи весьма похожи, но <math>k</math>-й интеграл является неопределённым, в то время как <math>k</math>-кратный интеграл — определённый.

[9] Шаблон:Книга

[10] Шаблон:Книга

[ST-11] 11,0 ^11,1 Ошибка цитирования Неверный тег <ref>; для сносок ST не указан текст

[12] Шаблон:Книга

[13] Шаблон:Книга

[14] Porteous, Ian R. Clifford Algebras and the Classical Groups. Cambridge, 1995, page 60.

[15] См., например: Гантмахер Ф. Р. Теория матриц. М.: ГИТТЛ, 1953, С. 212—219, или: Воеводин В., Воеводин В. Энциклопедия линейной алгебры. Электронная система ЛИНЕАЛ. Спб.: БХВ-Петербург, 2006.

[16] См., например: Ершов Л. В., Райхмист Р. Б. Построение графиков функций. М.: Просвещение, 1984, или: Каплан И. А. Практические занятия по высшей математике. Харьков: Изд-во ХГУ, 1966.

[17] См., например: Хатсон В., Пим Дж. Приложения функционального анализа и теории операторов. М.: Мир, 1983, или: Халмош П. Гильбертово пространство в задачах. М.: Мир, 1970.

[18] Шаблон:Книга

[19] Шаблон:Статья

[20] Шаблон:Книга

[21] Шаблон:Книга

[22] Шаблон:Книга

[23] Шаблон:Книга

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

Партнерские ресурсы
Криптовалюты	Обмен криптовалют - www.bestchange.ru Криптовалютная биржа CoinEx Криптовалютная биржа Binance HIVE OS - операционная система для майнинга e4pool - Мультивалютный пул для майнинга.
Магазины	AliExpress — глобальная виртуальная (в Интернете) торговая площадка, предоставляющая возможность покупать товары производителей из КНР; computeruniverse.net - Интернет-магазин компьютеров(Промо код 5 Евро на первую покупку:FWWC3ZKQ);
Хостинг	DigitalOcean - американский провайдер облачных инфраструктур, с главным офисом в Нью-Йорке и с центрами обработки данных по всему миру;
Разное	Викиум - Онлайн-тренажер для мозга Like Центр - Центр поддержки и развития предпринимательства. Gamersbay - лучший магазин по бустингу для World of Warcraft. Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память. Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России. Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме. Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео. Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона. «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется. StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт. Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено. StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.