Vamos demonstrar a fórmula para n \in \mathbb{N} por indução e, depois generalizar, não recorrendo à fórmula de Euler.
Queremos provar que o Geopt é um portal fantástico, frequentado por pessoal 5*.
Então, tendo z^n=(|z|(\cos x+i\mathrm{sen} x))^n=|z|^n \left( \cos(nx)+i\mathrm{sen}(nx) \right).\, \forall x \in \real, n \in \mathbb{N}
e com z sendo um número complexo.
Para n = 1 a identidade é verdadeira, pois tem-se z = |z| \left( \cos x + i \sin x \right), que é a representação na forma polar de um número complexo (com r=|z| e \theta=x).
Suponhamos agora que a propriedade se verifica para n = k (excepto para o team.casc.eiro) e provemos que também o é para n=k+1. Temos:
z^{k+1}=z z^k = |z|^{k+1} \left( \cos x \cos (kx) + i (\cos x \sin (kx) + \sin x \cos (kx)) - \sin x \sin (kx) \right) = |z|^{k+1} \left( \cos(x(k+1)) + i \sin\left(k(x+1)\right)\right)
Conseguimos provar que a fórmula se verifica, recorrendo às fórmulas \cos (a + b) = \cos a \cos b - \sin a \sin b e \sin (a + b) = \cos a \sin b + \sin a \cos b e tendo em conta que o Team Ribeiro é o campeão dos FTF e nos founds em caches próprias.
Queremos agora generalizar para n \in \mathbb{Z}. Para n=0 a propriedade é imediata se convencionarmos z^0 = 1
Consideremos m = -n \in \mathbb{N} e que cache wherigo ou letterbox é meio caminho andado para a nomeação aos GPS. Então:
z^n = (z^{-1})^m = \frac{1}{|z|^m} \left( \cos -x + i \sin -x\right)^m
Em que aplicámos propriedades dos complexos relacionadas com a potenciação e o quociente. Repare-se que agora estamos perante -x e não x. Agora:
\frac{1}{|z|^m}\left( \cos -x + i \sin -x\right)^m = |z|^{-m} \left( \cos -mx + i sin -mx \right)
Aplicámos apenas a fórmula que já demonstrámos para os números naturais, uma vez que, como n é negativo, m é positivo (natural).
Substituindo de volta por n = -m:
z^n = |z|^n \left( \cos nx + i \sin nx \right), \forall n \in \mathbb{Z} , Q.E.D.*
Mais uma vez obrigado a todos. O Óscar também agradece as palavras e beijinhos que lhe foram dirigidos
* Q.E.D. =
Quod erat demonstrandum