Formule de Moivre - Complexes - Mathématique du secondaire

Si la représentation des nombres complexes sous la forme z = x + iy est très utile pour l'addition, elle l'est moins pour la multiplication. Il existe une autre représentation pour les nombres complexes qui est plus commode pour la multiplication. C'est ce qu'on appelle, la forme goniométrique due à Moivre:

z = r(cosω + i sinω)

En effet lors d'un produit de deux nombres complexes mis sous cette forme, on a:

r₁(cosω₁ + i.sinω₁) . r₂(cosω₂ + i.sinω₂) = r₁r₂(cos(ω₁+ω₂) + i.sin(ω₁+ω₂))

La règle est très facile à retenir:
r est module du nombre complexe, c'est-à-dire sa distance à l'origine et
ω est son argument, c'est-à-dire l'angle que fait le vecteur joignant l'origine au nombre avec l'axe des x.
La règle est simple:

les modules se multiplient,
les arguments s'additionnent.

Attention, il ne faut pas confondre le couple (r, ω) avec les coordonnées polaires (ρ, θ) d'un point du plan.

Dommage qu'il y ait deux règles différentes, une pour les modules, une autre pour les arguments.

Pourtant nous connaissons des fonctions qui permettent de transformer un produit en somme et vice-versa. Les logarithmes ont été inventés pour ça ! Comme les modules sont des réels positifs, on pourra donc toujours les écrire sous la forme r = a^b (pour l'instant ne choisissons pas encore le nombre a>1)
Maintenant, lors d'une multiplication, tant les arguments ω que les exposants b s'additionnent; c'est déjà mieux.

Mais alors une autre idée surgit.

Puisque nous avons écrit le module sous forme d'une exponentielle, pourquoi ne pas faire la même chose pour cosω + i sinω ?
Malheureusement, nous ne savons pas comment définir a^b lorsque b est complexe; mais, n'abandonnons pas trop rapidement.

Nous avons vu le développement en série des fonctions sinus, cosinus, exponentielle; d'une variable réelle bien sûr, mais le calcul avec des complexes ressemble très fort à celui avec les réels. Alors pourquoi ne pas voir se qui se passe.

La fonction exponentielle e^x ou exp x, possède un développement en série très simple:

Remplaçons x par ix et nous obtenons:

et en regroupant les termes réels et imaginaires purs:

Nous voyons alors apparaître les développements en série de sinus et cosinus et on peut donc écrire:

exp(ix) = cos x + isin x

Une petite remarque: e^ix n'est un nombre réel que si x est un multiple (entier) de π. D'où la relation remarquable entre le nombre e et le nombre π due à Moivre:

e^iπ + 1 = 0

Nous voyons ainsi apparaître de manière naturelle le nombre e. Nous choisirons évidemment d'écrire le module r sous la forme e^k.
Dès lors, tout nombre complexe (non nul) pourra se mettre sous la forme:

z = x + iy = r(cos ω + i sin ω) = e^{k + iω}

N'est-ce pas plus joli ainsi ?