-x\cdot
- \overline{x}\vert = x\cdot \overline{x}$.
-
-\vglue0pt minus4pt % hazel underfull vboxy
-\: $x$ je $k$-tá {\it primitivní} odmocnina z 1 $\equiv (\forall j<k)x^j
-\neq 1$, a $x^k = 1$
-
-\hfill{\bf Komplexní èísla: Primitivní odmocniny}
-
-\:Buï $\omega=e^{2\pi \i / k},\ k$ je sudé. Pak:
-\vglue-8pt
-\leftskip4em \parindent-1em
-$\star$ $\omega$ je $k$-tá primitivní odmocnina z 1 -- $j\cdot 2\pi \i / k = 1
- \Leftrightarrow j=k$.
-\vglue-8pt
-$\star$ pro $0\leq j<l<k$ je $\omega^j \neq \omega^l$, nebo» $\omega^l /
-\omega^j = \omega^{l-j} \neq 1$, proto¾e $l-j < k$ a $\omega$ je $k$-tá
-primitivní.
-\vglue-8pt
-$\star$ $\omega^{k/2} = -1$, proto¾e $(\omega^{k/2})^2 = 1$, a tedy
-$\omega^{k/2}$ je druhá odmocnina z 1 -- samotná 1 to ale být nemù¾e, $\omega$
- je primitivní.
-\vglue-8pt
-$\star$ $\omega^j = - \omega^{k/2 + j}$ -- pøímý dùsledek pøedchozího bodu, pro
-nás ale velice zajímavý; $\omega^0,\omega^1,\ldots,\omega^{k-1}$ jsou po dvou
-spárované.
-\vglue-8pt
-$\star$ $\omega^2$ je $k/2$-tá primitivní odmocnina z 1 -- dosazením.
-\vglue-8pt
+x\cdot \overline{x}\vert = x\cdot \overline{x}$.
+\endlist
+
+\s{Primitivní odmocniny}
+
+\s{Definice:} $x$ je {\I primitivní} $k$-tá odmocnina z 1 $\equiv x^k=1 \land \forall j: 0<j<k \Rightarrow x^j \neq 1$.
+
+\>Tuto definici splòují napøíklad èísla $\omega = e^{2\pi \i / k}$ a $\overline\omega = e^{-2\pi\i/k}$.
+Platí toti¾, ¾e $\omega^j = e^{2\pi\i j/k}$, co¾ je rovno~1 právì tehdy,
+je-li $j$ násobkem~$k$ (jednotlivé mocniny èísla~$\omega$ postupnì obíhají
+jednotkovou kru¾nici). Analogicky pro~$\overline\omega$.