В математике корень степени n из числа x — это число r (корень), которое при возведении в степень положительного целого числа n дает x :
Целое число n называется индексом или степенью , а число x , из которого берется корень, — подкоренным выражением. Корень степени 2 называется квадратным корнем , а корень степени 3 — кубическим корнем . Корни более высокой степени обозначаются с помощью порядковых чисел , например, корень четвертой степени , корень двадцатой степени и т. д. Вычисление корня n- й степени называется извлечением корня .
Например, 3 является квадратным корнем из 9 , так как 3 ·2 = 9 , и −3 также является квадратным корнем из 9 , так как (−3) ·2 = 9 .
Корень n-й степени из x записывается как с использованием символа радикала или radix . Квадратный корень обычно записывается без n как просто . Извлечение корня n- й степени из числа является обратной операцией возведения в степень , [1] и может быть записано как дробная экспонента:
Для положительного действительного числа x , обозначает положительный квадратный корень из x , а обозначает положительный действительный корень степени n . Отрицательное действительное число − x не имеет действительных квадратных корней, но когда x рассматривается как комплексное число, оно имеет два мнимых квадратных корня, и , где i — мнимая единица .
В общем случае любое ненулевое комплексное число имеет n различных комплекснозначных корней n- й степени , равномерно распределенных по комплексной окружности постоянного абсолютного значения . ( Корень n -й степени из 0 равен нулю с кратностью n , и эта окружность вырождается в точку.) Таким образом, извлечение корней n- й степени из комплексного числа x можно считать многозначной функцией . По соглашению главное значение этой функции, называемое главным корнем и обозначаемое , принимается равным корню n- й степени с наибольшей действительной частью, а в особом случае, когда x — отрицательное действительное число, корню с положительной мнимой частью . Главный корень положительного действительного числа, таким образом, также является положительным действительным числом. Как функция , главный корень непрерывен во всей комплексной плоскости , за исключением отрицательной действительной оси.
Неразрешенный корень, особенно тот, который использует символ радикала, иногда называют сурдом [ 2] или радикалом . [3] Любое выражение, содержащее радикал, будь то квадратный корень, кубический корень или корень более высокого порядка, называется радикальным выражением , а если оно не содержит трансцендентных функций или трансцендентных чисел, то оно называется алгебраическим выражением .
Корни используются для определения радиуса сходимости степенного ряда с помощью теста на наличие корня . Корни n-й степени из 1 называются корнями из единицы и играют фундаментальную роль в различных областях математики, таких как теория чисел , теория уравнений и преобразование Фурье .
Архаичный термин для операции извлечения n- ных корней — радикализация . [4] [5]
Корень n-й степени из числа x , где n — положительное целое число, — это любое из n действительных или комплексных чисел r, степень n которого равна x :
Каждое положительное действительное число x имеет один положительный корень степени n , называемый главным корнем степени n , который записывается как . Для n, равного 2, это называется главным квадратным корнем, а n опускается. Корень степени n также может быть представлен с помощью возведения в степень как x 1/n .
Для четных значений n положительные числа также имеют отрицательный корень n- й степени, в то время как отрицательные числа не имеют действительного корня n- й степени. Для нечетных значений n каждое отрицательное число x имеет действительный отрицательный корень n -й степени. Например, −2 имеет действительный корень 5-й степени, но −2 не имеет действительных корней 6-й степени.
Каждое ненулевое число x , действительное или комплексное , имеет n различных комплексных корней степени n . (В случае, если x действительно, это число включает все действительные корни степени n .) Единственный комплексный корень из 0 — это 0.
Корни n- й степени почти всех чисел (все целые числа, кроме n -й степени, и все рациональные числа, кроме частных двух n -й степени) являются иррациональными . Например,
Все корни степени n из рациональных чисел являются алгебраическими числами , и все корни степени n из целых чисел являются алгебраическими целыми числами .
Термин «сурд» восходит к Аль-Хорезми ( ок. 825 г. ), который называл рациональные и иррациональные числа слышимыми и неслышимыми соответственно. Это позже привело к тому, что арабское слово أصم ( asamm , что означает «глухой» или «немой») для иррационального числа было переведено на латынь как surdus (что означает «глухой» или «немой»). Герард Кремонский ( ок. 1150 г. ), Фибоначчи (1202 г.), а затем Роберт Рекорде (1551 г.) использовали этот термин для обозначения неразрешенных иррациональных корней , то есть выражений вида , в которых и являются целыми числами, а все выражение обозначает иррациональное число. [6] Иррациональные числа вида , где является рациональным, называются чистыми квадратными сурдами ; иррациональные числа вида , где и являются рациональными, называются смешанными квадратными сурдами . [7]
Квадратный корень числа x — это число r , которое при возведении в квадрат становится равным x :
Каждое положительное действительное число имеет два квадратных корня, один положительный и один отрицательный. Например, два квадратных корня числа 25 — это 5 и −5. Положительный квадратный корень также известен как главный квадратный корень и обозначается знаком радикала:
Поскольку квадрат каждого действительного числа неотрицателен, отрицательные числа не имеют действительных квадратных корней. Однако для каждого отрицательного действительного числа есть два мнимых квадратных корня. Например, квадратные корни числа −25 равны 5 i и −5 i , где i представляет собой число, квадрат которого равен −1 .
Кубический корень числа x — это число r , куб которого равен x :
Каждое действительное число x имеет ровно один действительный кубический корень, записанный . Например,
Каждое действительное число имеет два дополнительных комплексных кубических корня.
Выражение степени корня n- го порядка в экспоненциальной форме, как в , упрощает манипуляции степенями и корнями. Если — неотрицательное действительное число ,
Каждое неотрицательное число имеет ровно один неотрицательный действительный корень степени n , поэтому правила операций с иррациональными числами, включающими неотрицательные подкоренные выражения , просты в пределах действительных чисел:
Тонкости могут возникнуть при извлечении корней n-й степени из отрицательных или комплексных чисел . Например:
но, скорее,
Поскольку правило строго выполняется только для неотрицательных действительных подкоренных выражений, его применение приводит к неравенству на первом шаге выше.
Говорят, что невложенное радикальное выражение находится в упрощенной форме , если ни один множитель подкоренного выражения не может быть записан в виде степени, большей или равной индексу; внутри знака радикала нет дробей; и в знаменателе нет радикалов. [8]
Например, чтобы записать радикальное выражение в упрощенном виде, мы можем поступить следующим образом. Сначала найдем полный квадрат под знаком квадратного корня и удалим его:
Далее следует дробь под знаком корня, которую мы изменяем следующим образом:
Наконец, убираем радикал из знаменателя следующим образом:
Когда в знаменателе есть иррациональные дроби, всегда можно найти множитель, на который нужно умножить и числитель, и знаменатель, чтобы упростить выражение. [9] [10] Например, используя разложение суммы двух кубов :
Упрощение радикальных выражений, включающих вложенные радикалы, может быть довольно сложным. В частности, денестинг не всегда возможен, а когда он возможен, он может включать расширенную теорию Галуа . Более того, когда полный денестинг невозможен, не существует общей канонической формы, такой, что равенство двух чисел можно проверить, просто посмотрев на их канонические выражения.
Например, не очевидно, что
Вышеизложенное можно вывести посредством:
Пусть , где p и q — взаимно простые и положительные целые числа. Тогда является рациональным тогда и только тогда, когда оба числа и являются целыми числами, что означает, что оба числа p и q являются n -ными степенями некоторого целого числа.
Радикал или корень можно представить бесконечным рядом :
с . Это выражение можно вывести из биномиального ряда .
Корень n-й степени числа A можно вычислить с помощью метода Ньютона , который начинается с начального приближения x 0 , а затем повторяется с использованием рекуррентного соотношения
пока не будет достигнута желаемая точность. Для эффективности вычислений рекуррентное соотношение обычно переписывается
Это позволяет иметь только одно возведение в степень и вычислять один раз для всех первый множитель каждого члена.
Например, чтобы найти пятый корень из 34, мы подставляем n = 5, A = 34 и x 0 = 2 (начальное предположение). Первые 5 итераций приблизительно таковы:
(Показаны все правильные цифры.)
Приближение x 4 дает точность до 25 знаков после запятой, а x 5 — до 51 знака после запятой.
Метод Ньютона можно модифицировать для получения различных обобщенных непрерывных дробей для корня n- й степени. Например,
Основываясь на вычислении квадратного корня по цифре , можно увидеть, что используемая там формула, или , следует шаблону, включающему треугольник Паскаля. Для корня n- го числа , определяемого как значение элемента в строке Треугольника Паскаля, такого что , мы можем переписать выражение как . Для удобства назовем результат этого выражения . Используя это более общее выражение, любой положительный главный корень может быть вычислен по цифре следующим образом.
Запишите исходное число в десятичной форме. Числа записываются аналогично алгоритму деления в столбик , и, как и при делении в столбик, корень будет записан на строке выше. Теперь разделите цифры на группы цифр, равные извлекаемому корню, начиная с десятичной точки и идя как влево, так и вправо. Десятичная точка корня будет находиться над десятичной точкой подкоренного числа. Одна цифра корня будет появляться над каждой группой цифр исходного числа.
Начиная с самой левой группы цифр, выполните следующую процедуру для каждой группы:
Найдите квадратный корень из 152,2756.
1 2. 3 4 / \/ 01 52.27 56 (Результаты) (Пояснения) 01 x = 1 10 0 ·1·0 0 · 1 2 + 10 1 ·2·0 1 · 1 1 ≤ 1 < 10 0 ·1·0 0 ·2 2 + 10 1 ·2·0 1 ·2 1 01 y = 1 y = 10 0 ·1·0 0 ·1 2 + 10 1 ·2·0 1 ·1 1 = 1 + 0 = 1 00 52 x = 2 10 0 ·1·1 0 · 2 2 + 10 1 ·2·1 1 · 2 1 ≤ 52 < 10 0 ·1·1 0 ·3 2 + 10 1 ·2·1 1 ·3 1 00 44 y = 44 y = 10 0 ·1·1 0 ·2 2 + 10 1 ·2·1 1 ·2 1 = 4 + 40 = 44 08 27 x = 3 10 0 ·1 · 12 0 · 3 2 + 10 1 · 2 · 12 1 · 3 1 ≤ 827 < 10 0 ·1 · 12 0 ·4 2 + 10 1 ·2 · 12 1 · 4 1 07 29 y = 729 y = 10 0 ·1·12 0 ·3 2 + 10 1 ·2·12 1 ·3 1 = 9 + 720 = 729 98 56 x = 4 10 0 ·1 · 123 0 · 4 2 + 10 1 ·2 · 123 1 · 4 1 ≤ 9856 < 10 0 ·1 · 123 0 ·5 2 + 10 1 ·2·123 1 ·5 1 98 56 y = 9856 y = 10 0 ·1 · 123 0 ·4 2 + 10 1 ·2 · 123 1 ·4 1 = 16 + 9840 = 9856 00 00
Алгоритм завершается: ответ 12,34
Найдите кубический корень числа 4192, округленный до тысячных.
1 6. 1 2 4 3 / \/ 004 192.000 000 000 (Результаты) (Пояснения) 004 x = 1 10 0 ·1·0 0 · 1 3 + 10 1 ·3·0 1 · 1 2 + 10 2 ·3·0 2 · 1 1 ≤ 4 < 10 0 ·1·0 0 ·2 3 + 10 1 ·3·0 1 ·2 2 + 10 2 ·3·0 2 ·2 1 001 y = 1 y = 10 0 ·1·0 0 ·1 3 + 10 1 ·3·0 1 ·1 2 + 10 2 ·3·0 2 ·1 1 = 1 + 0 + 0 = 1 003 192 x = 6 10 0 ·1·1 0 · 6 3 + 10 1 ·3 · 1 1 · 6 2 + 10 2 ·3 · 1 2 · 6 1 ≤ 3192 < 10 0 ·1 · 1 0 ·7 3 + 10 1 ·3· 1 1 ·7 2 + 10 2 ·3 · 1 2 ·7 1 003 096 y = 3096 y = 10 0 ·1 · 1 0 ·6 3 + 10 1 ·3 · 1 1 ·6 2 + 10 2 ·3· 1 2 ·6 1 = 216 + 1080 + 1800 = 3096 096 000 x = 1 10 0 ·1 · 16 0 · 1 3 + 10 1 · 3 · 16 1 · 1 2 + 10 2 ·3 · 16 2 · 1 1 ≤ 96000 < 10 0 ·1 · 16 0 ·2 3 + 10 1 ·3·16 1 ·2 2 + 10 2 ·3·16 2 ·2 1 077 281 y = 77281 y = 10 0 ·1 · 16 0 ·1 3 + 10 1·3·16 1 ·1 2 + 10 2 ·3·16 2 ·1 1 = 1 + 480 + 76 800 = 77 281 018 719 000 x = 2 10 0 ·1·161 0 · 2 3 + 10 1 ·3·161 1 · 2 2 + 10 2 ·3·161 2 · 2 1 ≤ 18719000 < 10 0 ·1·161 0 ·3 3 + 10 1 ·3·161 1 ·3 2 + 10 2 ·3·161 2 ·3 1 015 571 928 y = 15571928 y = 10 0 ·1·161 0 ·2 3 + 10 1 ·3·161 1 ·2 2 + 10 2 ·3·161 2 ·2 1 = 8 + 19 320 + 15 552 600 = 15 571 928 003 147 072 000 x = 4 10 0 · 1 · 1612 0 · 4 3 + 10 1 ·3 · 1612 1 · 4 2 + 10 2 ·3 · 1612 2 · 4 1 ≤ 3147072000 < 10 0 ·1 · 1612 0 ·5 3 + 10 1 ·3·1612 1 ·5 2 + 10 2 ·3·1612 2 ·5 1
Требуемая точность достигнута. Кубический корень из 4192 равен 16,124...
Главный корень n-й степени положительного числа можно вычислить с помощью логарифмов . Начиная с уравнения, которое определяет r как корень n-й степени из x , а именно, с положительным x и, следовательно, его главный корень r также положительный, логарифмируем обе стороны ( подойдет любое основание логарифма ), чтобы получить
Корень r восстанавливается из этого путем взятия антилогарифма :
(Примечание: эта формула показывает b, возведенное в степень результата деления, а не b, умноженное на результат деления.)
Для случая, когда x отрицательно, а n нечетно, существует один действительный корень r , который также отрицателен. Его можно найти, сначала умножив обе стороны определяющего уравнения на −1, чтобы получить , затем действуя, как и прежде, чтобы найти | r |, и используя r = −| r | .
Древнегреческие математики знали, как использовать циркуль и линейку для построения длины, равной квадратному корню данной длины, когда дана вспомогательная линия единичной длины. В 1837 году Пьер Ванцель доказал, что корень n- й степени данной длины не может быть построен, если n не является степенью 2. [11]
Каждое комплексное число, отличное от 0, имеет n различных корней n- й степени.
Два квадратных корня комплексного числа всегда являются отрицательными друг другу. Например, квадратные корни из −4 равны 2 i и −2 i , а квадратные корни из i равны
Если выразить комплексное число в полярной форме , то квадратный корень можно получить, взяв квадратный корень из радиуса и разделив угол пополам:
Главный корень комплексного числа можно выбрать различными способами, например
что вводит разрез ветви в комплексной плоскости вдоль положительной действительной оси с условием 0 ≤ θ < 2 π или вдоль отрицательной действительной оси с условием − π < θ ≤ π .
Используя первую (последнюю) ветвь, разрезаем главный квадратный корень , отображаемый в полуплоскость с неотрицательной мнимой (действительной) частью. Последняя ветвь разреза предполагается в математическом программном обеспечении, таком как Matlab или Scilab .
Число 1 имеет n различных корней n-й степени в комплексной плоскости, а именно
где
Эти корни равномерно распределены по единичной окружности в комплексной плоскости под углами, кратными . Например, квадратные корни из единицы равны 1 и −1, а четвертые корни из единицы равны 1, , −1 и .
Каждое комплексное число имеет n различных корней n-й степени в комплексной плоскости. Это
где η — один корень n-й степени, а 1, ω , ω 2 , ... ω n −1 — корни n -й степени из единицы. Например, четыре различных корня четвертой степени из 2 равны
В полярной форме один корень степени n можно найти по формуле
Здесь r — величина (модуль, также называемый абсолютным значением ) числа, корень которого необходимо извлечь; если число можно записать как a+bi, то . Кроме того, — это угол, образованный при повороте относительно начала координат против часовой стрелки от положительной горизонтальной оси к лучу, идущему от начала координат к числу; он обладает следующими свойствами: и
Таким образом, нахождение корней n-й степени в комплексной плоскости можно разбить на два этапа. Во-первых, величина всех корней n- й степени равна корню n- й степени величины исходного числа. Во-вторых, угол между положительной горизонтальной осью и лучом из начала координат к одному из корней n- й степени равен , где — угол, определяемый таким же образом для числа, корень которого извлекается. Кроме того, все n корней n-й степени находятся под одинаковым углом друг к другу.
Если n четно, то корни комплексного числа степени n , из которых есть четное число, образуют аддитивные обратные пары, так что если число r 1 является одним из корней степени n , то r 2 = – r 1 является другим. Это происходит потому, что возведение коэффициента последнего –1 в степень n для четного n дает 1: то есть, (– r 1 ) n = (–1) n × r 1 n = r 1 n .
Как и в случае с квадратными корнями, приведенная выше формула не определяет непрерывную функцию на всей комплексной плоскости, а вместо этого имеет ветвь в точках, где θ / n имеет разрыв.
Когда-то было высказано предположение , что все полиномиальные уравнения могут быть решены алгебраически (то есть, что все корни полинома могут быть выражены в терминах конечного числа радикалов и элементарных операций ). Однако, хотя это верно для полиномов третьей степени ( кубиков ) и полиномов четвертой степени ( квартиков ), теорема Абеля–Руффини (1824) показывает, что это неверно в общем случае, когда степень равна 5 или больше. Например, решения уравнения
не может быть выражено через радикалы. ( ср. уравнение пятой степени )
Предположим, что рационально. То есть, его можно свести к дроби , где a и b — целые числа без общего множителя.
Это означает, что .
Так как x — целое число, и должно иметь общий множитель, если . Это означает, что если , не находится в простейшей форме. Таким образом, b должно быть равно 1.
Так как и , .
Это означает, что и, таким образом, . Это подразумевает, что — целое число. Поскольку x не является совершенной степенью n , это невозможно. Таким образом, — иррационально.