+\s{Exponenciální tvar}
+
+\itemize\ibull
+\:Eulerova formule: $e^{i\varphi} = \cos\varphi + \i\sin\varphi$.
+
+\:Ka¾dé $x\in{\bb C}$ lze tedy zapsat jako $\vert x\vert \cdot e^{\i\cdot
+\varphi(x)}$.
+
+\:Násobení: $xy = \left(\vert x\vert\cdot e^{\i\cdot\varphi(x)}\right) \cdot
+ \left(\vert y\vert\cdot e^{\i\cdot\varphi(y)}\right) = \vert x\vert
+ \cdot \vert y\vert \cdot e^{\i\cdot(\varphi(x) + \varphi(y))}$. \\
+(absolutní hodnoty se násobí, argumenty sèítají)
+
+\:Umocòování: $x^\alpha = \left(\vert x\vert\cdot e^{\i\cdot\varphi(x)}\right)^
+ \alpha = {\vert x\vert}^\alpha\cdot e^{\i \alpha \varphi(x)}$.
+
+\:Odmocòování: $\root n\of x = {\vert x\vert}^{1/n} \cdot e^{\i\cdot
+\varphi(x)/n}$. \\
+Pozor -- odmocnina není jednoznaèná: $1^4=(-1)^4=\i^4=(-\i)^4=1$.
+\endlist
+
+\s{Odmocniny z~jednièky}
+
+\itemize\ibull
+\:Je-li nìjaké $x\in{\bb C}$ $n$-tou odmocninou z~jednièky, musí platit:
+$\vert x \vert = 1$, tak¾e $x=e^{\i\varphi}$ pro nìjaké~$\varphi$.
+Proto $x^n = e^{\i\varphi n} = \cos{\varphi n} + \i\sin\varphi n = 1$.
+Platí tedy $\varphi n = 2k\pi$ pro nìjaké $k\in{\bb Z}$.
+
+\:Z~toho plyne: $\varphi = 2k\pi/n$ \\
+(pro $k=0,\ldots,n-1$ dostáváme rùzné $n$-té odmocniny).
+
+\:Obecné odmocòování: $\root n \of x = {\vert x\vert}^{1/n} \cdot e^{\i\varphi
+ (x)/n} \cdot u$, kde $u=\root n\of 1$.
+
+\:Je-li $x$ odmocninou z 1, pak $\overline{x} = x^{-1}$ -- je toti¾ $1 = \vert
+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$.
+
+\>Uka¾me si nìkolik pozorování fungujících pro libovolné èíslo~$\omega$,
+které je primitivní $k$-tou odmocninou z~jednièky (nìkdy budeme potøebovat,
+aby navíc $k$ bylo sudé):
+
+\itemize\ibull
+\: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 primitivní.
+\:$\omega^{k/2} = -1$, proto¾e $(\omega^{k/2})^2 = 1$, a tedy
+$\omega^{k/2}$ je druhá odmocnina z~1. Takové odmocniny jsou dvì:
+1 a $-1$, ov¹em 1 to být nemù¾e, proto¾e $\omega$ je primitivní.
+\:$\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é.
+\:$\omega^2$ je $k/2$-tá primitivní odmocnina z 1 -- dosazením.
+\endlist
+
+\h{Konec intermezza}
+% end komplex
+
+\bigskip
+
+Vra»me se nyní k algoritmu. Z poslední èásti komplexního intermezza se zdá,
+¾e by nemusel být ¹patný nápad zkusit vyhodnocovat polynom v mocninách
+$n$-té primitivní odmocniny z~jedné (tedy za $x_0,x_1,\ldots,x_{n-1}$
+z~pùvodního algoritmu zvolíme $\omega^0,\omega^1,\ldots,\omega^{n-1}$).
+Aby nám v¹e vycházelo pìknì, zvolíme $n$ jako mocninu dvojky.
+