Комплексные корни n-й степени из единицы и решение уравнений
Комплексные корни n-й степени из единицы
Так как , r=1,
, то формула для корней n -й степени из 1 принимает вид

Теорема 2.9.1. Совокупность всех n корней n -й степени из 1 с операцией умножения является коммутативной группой (подгруппой в
).
- Если
, т. е. wn=1, zn=1, то
, поэтому
. Таким образом, на Tn определена операция умножения (очевидно, коммутативная и ассоциативная).
- Ясно, что 1n=1, т. е.
, и 1 - нейтральный элемент в Tn.
- Если
, то wn=1,
и поэтому.
Замечание 2.9.2. Группа Tn является циклической, т. е. все ее элементы являются степенями одного элемента, называемого циклическим образующим (в качестве одного из циклических образующих можно взять , так как wk=(w1)k для
, т. е. все элементы wk группы Tn являются степенями корня w1, такие корни называются первообразными). Покажите, что
является первообразным корнем тогда и только тогда, когда наибольший общий делитель чисел k и n равен 1.
Упражнение 2.9.3. Доказать, что сумма всех k -х степеней корней уравнения xn=1 равна
n, если k делится на n ;
0, если k не делится на n.
Задача 2.9.4. Если , то |z|=1, но z не является корнем из единицы (т. е.
для любого
).
Задача 2.9.5. Доказать, что
а) ;
б) .
Указание. Пусть



![\begin{mult}
x^{2n}-1=(x^2-1)\smash[b]{\prod_{s=1}^{n-1}(x-x_s)(x-\bar x_s)}={}\\
{}=(x^2-1)\prod_{s=1}^{n-1}\left(x^2-2x\cos\frac{\pi s}{n}+1\right).
\end{multl}](/sites/default/files/tex_cache/9a6b233beb02b4f592e621bfdeef0bd9.png)

