Discusión:Compleja:z-ej-cap1.1

1.11) Muestre que las n raíces n-ésimas de 1 son vértices de un n-ágono regular inscrito en el círculo unitario uno de cuyos vértices es 1

Demostración

$Seaz\in \zeta$ y $n\geq 2$ Diremos que z es una raíz n-ésima de la unidad si

$z^{n}=1$

Si escribimos en la forma polar

$z^{n}=re^{in\theta }$

Entonces,

$z^{n}=r^{n}e^{in\theta }$

Entonces, para que z sea raíz n-ésima de la unidad, debe cumplirse

$r^{n}=1$ y $(\exists k\in Z)n\theta =2k\pi$

Como $r\geq 0$ es un número real, debe tenerse que r=1. La condición sobre $\theta$ es:

$(\exists k\in Z)\theta ={\frac {2k\pi }{n}}$

Obtenemos que todos los complejos de la forma $z=e^{i{\frac {2k\pi }{n}}}$ son raíces n-ésimas de la unidad. ¿Cuántos números complejos cumplen esto? Elijamos $r\in$ {0,1,...,n-1),$k=r+nl$ con $l\in Z$. Entonces

$e^{i{\frac {2k\pi }{n}}}$=Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle e^{{i\frac{2k\pi}{n}+{2l<math>\pi}
}</math>=$e^{i{\frac {2k\pi }{n}}}*1$=$e^{i{\frac {2k\pi }{n}}}$

Así, todos los posibles valores de $\theta$ dados anteriormente definen sólo n números complejos distintos: éstos son

$e^{i{\frac {2k\pi }{n}}}\qquad$ (Error al representar (función desconocida «\nonumber»): r=0,1,{}\nonumber\\
)

Estos valores son las exactamente n raíces n-ésimas de la unidad. Podemos escribir las raíces n-ésimas de z en la forma $z_{k}=z_{0}\rho ^{k}$