I. Formules d'addition et de duplication
Pour tous réels et :
Démonstration : Formule du cosinus d'une différence
Le plan est muni d'un repère orthonormé direct d'origine . Considérons les points et du cercle trigonométrique associés aux réels et : leurs coordonnées sont et .
Calculons le produit scalaire de deux façons.
En coordonnées :
Avec les normes et l'angle : les deux vecteurs ont pour norme , et l'angle qu'ils forment mesure , donc
En égalant les deux expressions, on obtient la formule annoncée. Les trois autres s'en déduisent en remplaçant par et en utilisant les angles associés.
En prenant dans les formules d'addition :
Calculons en écrivant :
II. Notation exponentielle
Multiplier deux complexes de module revient à additionner leurs arguments. Cette propriété est exactement celle de l'exponentielle, qui transforme les sommes en produits, d'où la notation adoptée.
Pour tout réel , on note
Ce nombre a pour module et pour argument . Tout nombre complexe non nul de module et d'argument s'écrit alors sous forme exponentielle :
Pour tous réels et , et tout entier relatif :
Ces règles rendent les calculs de produits, de quotients et de puissances immédiats, là où la forme algébrique demanderait de longs développements.
Reprenons , de module et d'argument , soit . Alors
Le même calcul avec la formule du binôme demanderait sept termes.
Pour , la définition donne , égalité souvent citée pour la façon dont elle relie l'exponentielle, le nombre et l'unité imaginaire.
III. Formules d'Euler et de Moivre
Pour tout réel :
Elles s'obtiennent en additionnant ou en soustrayant les écritures de et de .
Pour tout réel et tout entier naturel :
C'est la traduction, en forme trigonométrique, de l'égalité .
La formule de Moivre exprime et en fonction de et : on développe le membre de gauche avec le binôme, puis on identifie parties réelle et imaginaire.
Les formules d'Euler font le chemin inverse. Elles transforment une puissance de cosinus ou de sinus en une somme de cosinus d'angles multiples, opération appelée linéarisation, indispensable pour intégrer ces expressions.
Avec la formule de Moivre pour :
En identifiant les parties réelles, puis en remplaçant par :
Avec la formule d'Euler :
Cette écriture s'intègre immédiatement, contrairement à la forme de départ.
Passer à la pratique
9 exercices corrigés sur ce chapitre.
