
hitrov-1st-semester / Paragraf_14
.pdf
§14. Извлечение корня из комплексных чисел.
1.Вывод формулы извлечения корня. Пусть n натуральное число. Извлечь корень с показателем n из комплексного числа z – это значит найти комплексное число
(или числа) w так, что wn z . Каждое число w такое, что wn z называется корнем n-ой степени из z и обозначается nz .
Ясно, что если z 0 , то единственным значением nz является число 0, поэтому сосредоточим внимание на случае z 0 . Запишем z в тригонометрической форме z r(cos i sin ) и будем искать w тоже в тригонометрической записи:
w (cos i sin ) .
Равенство wn z запишем в виде
n (cos n i sin n ) r(cos i sin ) .
Приравнивая модули и аргументы (с учетом многозначности), получим, что последнее равенство равносильно равенствам:
n r ,
n 2k , k Z .
Модуль r число положительное (ибо z 0 ) и искомое число должно быть тоже
положительным. Известно, что для любого положительного числа существует единственное значение корня n-ой степени, называемое арифметическим значением корня, и это значение принято записывать в виде степени с дробным показателем. Итак
1
r n . Аргумент же находится просто делением:
2k . n
Таким образом, корни n-й степени из комплексного числа z существуют и все они даются формулой
w r n |
(cos 2k i 2k ) |
(1) |
|
1 |
|
|
|
k |
n |
n |
|
|
|
||
При любом k Z |
(мы ставим |
индекс k при w для того, |
чтобы подчеркнуть |
многозначность nz и зависимость его значений от параметра k, могущего принимать все целые значения).
2. Исследование формулы извлечения корня.
Теорема 1. Существует ровно n значений корня n-й степени из отличного от нуля комплексного числа z r(cos i sin ) . Их дает формула
n z r n |
(cos 2k |
i sin 2k ) |
|
|
1 |
n |
n |
|
|
в предположении, что k пробегает какую-либо полную систему вычетов по модулю n,
например, k 0,1,..., n 1.
Доказательство. Мы уже видели, что значения корня n-й степени из z даются
формулой (1). Покажем, что wk |
wk |
в том и только в том случае, когда k1 k2 (mod n) . |
|||||||
|
|
|
|
1 |
|
|
2 |
|
|
Действительно, |
|
|
|
|
|
|
|
|
|
wk |
wk |
|
|
2k1 |
|
2k2 |
2 t |
||
|
n |
|
|
n |
|||||
1 |
|
2 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
При целом t (аргументы равных чисел равны или отличаются на целые кратные 2 ; о модулях заботиться не нужно – они одинаковы у всех чисел wk ). Это равенство, в свою
очередь, равносильно |
|
k1 k2 |
t , т.е. |
k |
k |
|
(mod n) . Итак, действительно, |
w w |
в том и |
|
|
|
2 |
||||||||
|
|
n |
|
1 |
|
|
k |
k |
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
||
только в том случае, |
когда k1 k2 (mod n) ; |
и, следовательно, мы получим все различные |

значения для wk , если k пробежит значения по одному из каждого класса по модулю n, т.е. некоторую полную систему вычетов.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример. Найти 3 2 2i . |
|
|
|
|
|
|
|
|
|||||||||
|
Имеем 2 2i |
|
|
i sin 45 ) . Согласно формуле |
|
|
||||||||||||
|
8(cos 45 |
|
|
|||||||||||||||
3 |
|
( |
|
|
45 |
k 360 |
i sin |
45 |
k 360 |
|
|
|
|
|
||||
2 2i |
8)1 3 (cos |
) 2(cos(15 |
k 120 ) i sin(15 |
k 120 )). |
||||||||||||||
|
|
3 |
|
|
3 |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для k достаточно взять значения 0, 1, 2. Получим три значения: w0 2(cos15 i sin15 ) ,
w1 2(cos135 i sin135 ) , w2
2(cos 255 i sin 255 ) .
Поскольку пример |
|
|
|
|
«хорошо подобран», продолжим |
|
|
|
вычисления. Учитывая, что |
|||||||||||||||||||||||||||
cos 45 sin 45 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 , получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
w1 1 i . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Для вычисления w0 |
и w2 заметим, что 15 45 |
30 , так что |
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
cos 45 |
cos 30 sin 45 sin 30 |
|
1 |
|
|
3 |
|
1 |
||||||||||||||||||||||||||
cos15 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
2 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
sin 45 cos 30 cos 45 sin 30 |
|
|
1 |
|
3 |
|
|
1 |
|
|||||||||||||||||||||||||
sin15 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|||||||||||||||||||||
|
|
|
|
|
|
2 |
|
2 |
|
|||||||||||||||||||||||||||
2 |
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
w |
|
3 1 |
i |
|
3 1 |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
0 |
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
w |
|
|
|
3 1 |
i |
|
3 1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
2 |
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В заключение отметим, что среди n значений корня n-й степени из комплексного числа нет оснований, вообще говоря, предпочитать какое-либо одно значение остальным. Понятие «арифметического значения» при извлечении корня из комплексного числа не вводится и его невозможно ввести каким-либо естественным образом.
Легко |
|
проследить, |
|
|
что |
упоминавшееся |
выше |
«противоречие» |
||||
1 i2 |
|
|
|
|
|
|
|
|
|
|
||
1 |
1 |
( 1)( 1) |
1 1 |
имеет своим источником путаницу в выборе |
значений квадратных корней. Дело в том, что в применении к комплексным числам формула z
w
zw (при выбранных значениях для
z и
w ) лишь при одном выборе
значения zw , а при другом выборе она не верна и даже в случае, если zw оказывается вещественным положительным числом, подходящее значение не обязано быть
арифметическим. В рассмотренном примере игра идет на равенствах: 1
1 1 и
1
1 1. Первое из них верно, если в качестве значений для обоих сомножителей
взять одинаковые значения 1 (т.е. i, i или –i, -i), второе верно, если взять различные значения (т.е. i, -i или –i, i).
3. Формула для корней из единицы. Как и для всякого отличного от нуля комплексного числа, для числа 1 существует ровно n значений корня n-й степени. Так как 1 cos 0 i sin 0 , то для корней n-й степени из 1 имеет место формула
|
|
cos |
2k |
i sin |
2k |
при k 0,1,..., n 1. |
|
k |
n |
n |
|||||
|
|
|
|
||||
|
|
|
|
|
Конечно, в качестве значений для k может быть взята любая полная система вычетов по модулю n.
4. Геометрическое изображение корней из единицы. Все корни из единицы имеют модуль равный 1, так что их изображения находятся на окружности радиуса 1 с центром в точке 0. Один из них при k 0 есть просто число 1 и изображается точкой пересечения положительной полуоси вещественной оси с единичной окружностью.
Корень |
|
имеет своим аргументом |
2 |
, т.е. |
1 |
|
часть полной окружности. Дальнейшие |
||||||||||
1 |
|
|
|||||||||||||||
|
|
|
|
|
|
|
n |
n |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
корни |
|
, |
|
,..., |
|
имеют своими аргументами |
|
2 |
, |
3 |
,..., |
n 1 |
части окружности, так что |
||||
2 |
3 |
n 1 |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
n n |
|
n |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
они все делят единичную окружность на n равных частей (рис. 6). |
|||||||||||||||||
|
|
|
|
|
|
|
(рисунок 6) |
|
|
|
|
|
|
|
|
||
Все корни n-й степени из единицы являются корнями уравнения xn 1 0 . По этой |
причине уравнение xn 1 0 носит название уравнения деления круга.
5. Первообразные корни n-й степени из 1. Корень n-й степени из 1 называется
первообразным или принадлежащим показателю n, если он не является корнем из 1 с
меньшим чем n натуральным показателем. Другими словами, |
есть первообразный |
||||||
корень n-й степени из 1, если n 1, но при любом натуральном |
m n , m 1. Число |
||||||
|
|
cos |
2 |
i sin |
2 |
есть, очевидно, первообразный корень n-й степени из 1, но при n 2 |
|
1 |
|
|
|||||
|
|
n |
|
n |
|
||
|
|
|
|
|
существуют и другие первообразные корни. Именно, верна следующая теорема.
Теорема 2. Число |
|
cos |
2k |
i sin |
2k |
есть первообразный корень n-й степени |
k |
|
|
||||
|
|
n |
|
n |
||
|
|
|
|
из 1 в том и только в том случае, если k и n взаимно просты.
Действительно, kn 1. Пусть k и n взаимно просты и пусть km 1 , где m -
натуральное число. Тогда |
2km |
2t при целом t и |
km |
t , т.е.km делится n. Но k и n |
|
n |
n |
||||
|
|
|
взаимно просты. Следовательно, m делится на n и потому не может быть меньше n. Поэтому k есть первообразный корень n-й степени из 1.
Предположим теперь, что k есть первообразный корень n-й степени из 1, и пусть d
– н.о.д. чисел k и n, n dn |
k dk . Тогда |
|
|
cos |
2k1 |
i sin |
2k1 |
и n1 |
1. Отсюда |
k |
|
|
|||||||
1 |
1 |
|
|
n1 |
|
n1 |
k |
|
|
|
|
|
|
|
|
|
|
||
следует, что d 1, т.е. k и n взаимно просты, иначе n1 n и |
k - не первообразный корень. |
Из доказанной теоремы следует, что число первообразных корней n-й степени из 1 равно числу меньших n и взаимно простых с n чисел, т.е. оно равно значению (n)
функции Эйлера. Например, при n 12 |
|
имеется четыре первообразных корня: 1 , 5 , 7 |
и |
||||||||||||||||||||
11 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Предложение 1. Число |
|
cos |
2k |
i sin |
2k |
является первообразным корнем из |
|||||||||||||||||
k |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
n |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
1 степени |
n |
n |
, где d =н.о.д.(k,n). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
1 |
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Действительно, пусть n |
n |
, |
k |
k |
. |
Тогда числа n |
и k |
взаимно просты |
и |
||||||||||||||
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
d |
|
1 |
|
d |
1 |
1 |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
k cos |
2k1 |
i sin |
2k1 |
есть первообразный корень степени n1 |
из 1 в силу только что |
||||||||||||||||||
n1 |
n1 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
доказанной теоремы.
Итак, среди корней n-й степени из 1 присутствуют первообразные корни из 1, принадлежащие всем показателям, являющимся делителями n. Например, среди корней

12-й степени из 1 присутствуют первообразные корни степени 12 ( 1, 5 , 7 , 11 ) , степени 6
( 2 , 10 ) , степени 4 ( 3 , 9 ), степени 3 ( 4 , 8 ), степени 2 ( 6 ), степени 1 ( 0 ).
6. Свойства корней из 1.
Предложение 2. Произведение двух корней n-й степени из 1 есть корень n-й степени из 1.
Доказательство. Пусть z и w – корни степени n из 1. Это значит, что zn 1 и wn 1. Но тогда и (zw)n zn wn 1 , т.е. zw – тоже корень n-й степени из 1,
Предложение 3. Число обратное корню степени n из 1, есть корень степени n из
1.
Доказательство. Если zn 1 , то (z 1 )n (zn ) 1 1 .
Эти два предложения означают, что корни степени n из 1 образуют абелеву группу относительно умножения.
Предложение 4. Пусть - любой первообразный корень n-й степени из 1. Тогда всякий корень степени n из 1 получается из возведением в некоторую степень с натуральным показателем.
Доказательство. Пусть - какой-либо первообразный корень степени n из 1, Тогда при любом целом k число k будет корнем степени n из 1, ибо ( k )n ( n )k 1. Рассмотрим числа 1, , 2 ,..., n 1 . Все они суть корни степени n из 1. Среди них нет равных, ибо если k m при 0 k m n 1, то m k 1, что невозможно, ибо m k есть натуральное число, меньшее n, а - первообразный корень степени n. Итак, 1, , 2 ,..., n 1 - попарно различные корни n-й степени из 1 и их число равно n, т.е. равно числу корней n- й степени из 1. Поэтому 1, , 2 ,..., n 1 - суть все корни степени n из 1, что и требовалось доказать.
Заметим, что сопоставление корню k целого числа k соотносит одному корню класс чисел по модулю n, и, так как, при умножении степеней показатели складываются, произведению корней соответствует сумма классов по модулю n. Тем самым, группа по умножению корней n-й степени из 1 изоморфна группе классов вычетов по модулю n относительно операции сложения.
Предложение 5. Все значения nz ( z 0 ) получаются из одного значения, посредством умножения последнего на все корни степени n из 1.
Доказательство. Пусть w0n z и wn z . Тогда (ww0 1 )n 1 (поделили правую и
левую части второго равенства на соответствующие части первого), так что ww 1 есть |
||||
|
|
|
|
0 |
корень n-й степени из 1 и w w . Обратно, если ww 1 |
и есть корень n-й степени |
|||
|
0 |
0 |
|
|
из 1, то wn w n n |
z . |
|
|
|
0 |
|
|
|
|
Последнее предложение показывает, что корни степени n из 1 при действии |
||||
извлечения корня |
n-й степени |
из комплексного числа играют такую же роль, как знаки |
||
при извлечении |
квадратного |
корня. Это |
естественно, |
так как постановка знаков |
равносильна умножению на 1, т.е. на корни степени 2 из 1.