- Formule de de Moivre
-
Formule de De Moivre
Pour les articles homonymes, voir Moivre.
Abraham de Moivre à qui est attribuée la formule
La formule de De Moivre affirme, pour tout nombre réel x et pour tout nombre entier n,
.
Le nombre i désigne l'unité imaginaire, c'est-à-dire la racine carré canonique de -1. Elle porte le nom du mathématicien français Abraham de Moivre, qui utilisa une formule relativement proche dans ses écrits. En France, elle est aussi appelée formule de Moivre où on oublie la particule onomastique de.
Cette formule met en relation les nombres complexes et la trigonométrie. Parfois la formule est réécrit en remplaçant « cos(x) + i·sin(x) » par « exp( i x) ».
Sommaire
Interprétation géométrique
Pour x réel, la formule cos2x + sin2x = 1 implique que le nombre complexe z = cos(x) + isin(x) soit de module 1. Dans le plan d'Argand, les nombres complexes de module 1 forment le cercle C de centre O et de rayon 1 (le cercle unité). En particulier, le point M d'affixe z appartient à C. Si I est le point d'affixe 1, l'angle (OI,OM) mesure x radians. La formule de de Moivre affirme que zn est l'affixe du point N de C tel que l'angle orienté (OI,ON) mesure nx radians.
La formule de de Moivre s'appuie sur une résultat plus général concernant l'interprétation géométrique du produit de nombres complexes : si z et w sont deux nombres complexes de module 1, on place les points M et N d'affixe z et w, et on obtient zw comme l'affixe du point P de C tel que (OI,OP)=(OI,OM)+(OI,ON). On dispose alors de la formule générale
.
Historique
Timbre à l'effigie de EulerLa formule dite de de Moivre est due en réalité à Euler qui l'énonce, plus qu'il ne la démontre, dans son Introduction à l'analyse infinitésimale en 1748 en l'observant sur les premières puissances puis en la généralisant à tout n[1]. En fait, Euler en avait besoin pour exprimer cos(nx) comme un polynôme de degré n en cos(x). Ce polynôme est aujourd'hui connu sous le nom de Polynôme de Tchebychev de première espèce.
Le travail de de Moivre est antérieur, et date de 1730. Souhaitant comprendre l'extraction des racines des nombres complexes, de Moivre arrive à la formule suivante[2]:
![\cos x=\frac{1}{2}\sqrt[n]{\cos(nx)+\sqrt{-1}\sin (nx)} +\frac{1}{2}\sqrt[n]{\cos(nx)-\sqrt{-1}\sin(nx)} \quad (*)](/pictures/frwiki/57/96c83437527ec928e062f4faafdb87b5.png)
.
Dans cette formule,
est la notation commune au XVIIIe siècle pour désigner l'unité imaginaire i.Si on lit la formule attribuée aujourd'hui à de Moivre dans l'autre sens, on y voit que
est une racine n-ième de 
et 
est une racine n-ième de 
. La formule (*) prend alors sens et contient implicitement la formule trouvée plus tard par Euler.Cependant, un nombre complexe non nul a exactement n racines complexes distinctes et il n'existe pas de manière naturelle d'en sélectionner une parmi ces n racines. Après une étude approfondie des expressions de la forme
![\sqrt[n]{a+\sqrt{-b}}](/pictures/frwiki/48/082467ff89cfe3f6b208d25ea0101aa2.png)
, de Moivre, en 1738, déclare que ces expressions admettent n valeurs qui s'obtiennent pas découpage du cercle.Démonstration...
De la formule (2)
Pour tous x et y réels, on a :
.
Or,
et 
.
Donc,
.
La formule (2) est donc établie.
De la formule (1)
On démontre (1) dans un premier temps pour n>0 par récurrence sur n.
- Pour n =1, la formule est vraie.
- Supposons la formule vraie pour un entier k non nul. Alors,
.
Ce qui donne :
Par la formule (1), il vient :
.
Nous en déduisons que la formule est vraie au rang k + 1.
D'après le principe de récurrence, il s'ensuit que la formule est vraie pour tous les entiers naturels non nuls.
Lorsque n = 0, la formule est vraie puisque cos(0x) + isin(0x) = 1 + i0 = 1, et par convention z0 = 1.
Lorsque n < 0, nous considérons un entier naturel strictement positif m tel que n = − m. Ainsi
Ainsi le théorème est vrai pour tous les entiers relatifs n c.q.f.d..
Utilisations de la formule de De Moivre
Cette formule est utilisée pour rechercher les puissances n-ièmes de nombres complexes sous forme trigonométrique :
ainsi que pour obtenir les formes de cos(nx) et sin(nx) en fonction de sin(x) et cos(x).
Par exemple, pour avoir cos(2x) et sin(2x), on égale :
On a
On identifie les parties réelles et imaginaires :
et
On obtient les formules trigonométriques de duplication.
Polynômes de Tchebychev
Article détaillé : Polynôme de Tchebychev.La formule de de Moivre donne :
.
En prenant la partie réelle et en posant p=2k, il vient :
- cos(nx) = Tn(cosx)
où Tn est un polynôme de degré n, appelé polynôme de Tchebychev.
.
Références
Portail des mathématiques
Catégories : Algèbre | Théorème de mathématiques | Nombre complexe
![\begin{alignat}{2}
\left(\cos x+\mathrm i\sin x\right)^{k+1} & = \left(\cos x+\mathrm i\sin x\right)^{k} \left(\cos x+\mathrm i\sin x\right)\\
& = \left[\cos\left(kx\right) + \mathrm i\sin\left(kx\right)\right] \left(\cos x+\mathrm i\sin x\right)
\end{alignat}](/pictures/frwiki/49/14e5618df019d2ac69d1e92d6d1baa29.png)
Wikimedia Foundation. 2010.
