Théorème de De Moivre

Théorème de De Moivre

Formule de De Moivre

Page d'aide sur l'homonymie 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,

\left(\cos x+\mathrm i\sin x\right)^n=\cos(nx)+\mathrm i\sin(nx)\quad (1).

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

\left(\cos x+\mathrm i\sin x\right)\left(\cos y+\mathrm i \sin y\right)=\left(\cos(x+y)+\mathrm i\sin(x+y)\right)\quad (2).

Historique

Timbre à l'effigie de Euler

La 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 (*).

Dans cette formule, \sqrt{-1} 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 \cos x+\sqrt{-1}\sin x est une racine n-ième de  \cos(nx)+\sqrt{-1}\sin (nx) et \cos x-\sqrt{-1}\sin x est une racine n-ième de  \cos(nx)-\sqrt{-1}\sin (nx). 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}}, 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 :

\left(\cos x+\mathrm i\sin x\right)\left(\cos y+\mathrm i\sin y\right)=\left(\cos x\cos y-\sin x\sin y\right)+\mathrm i\left(\sin x\cos y+\cos x\sin y\right).

Or,

\cos(x+y)=\left(\cos x\cos y-\sin x\sin y\right) et \sin(x+y)=\left(\sin x\cos y+\cos x\sin y\right).

Donc,

\left(\cos x+\mathrm i\sin x\right)\left(\cos y+\mathrm i\sin y\right)=\cos(x+y)+\mathrm i\sin(x+y).

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,

\left(\cos x+\mathrm i\sin x\right)^k=\cos(kx)+\mathrm i\sin(kx).

Ce qui donne :


\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}

Par la formule (1), il vient :

\left(\cos x+\mathrm i\sin x\right)^{k+1}=\cos((k+1)x)+\mathrm i\sin((k+1)x).

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


\begin{alignat}{2}
     \left(\cos x + i\sin x\right)^{n} & = \left(\cos x + \mathrm i\sin x\right)^{-m}\\
                                       & = \frac{1}{\left(\cos x + \mathrm i\sin x\right)^{m}}\\
                                       & = \frac{1}{\left(\cos mx + \mathrm i\sin mx\right)}\\
                                       & = \cos\left(mx\right) - \mathrm i\sin\left(mx\right)\\
                                       & = \cos\left(-mx\right) + \mathrm i\sin\left(-mx\right)\\
                                       & = \cos\left(nx\right) + \mathrm i\sin\left(nx\right).
\end{alignat}

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 :

z^n= r^n(\cos(nx)+ \mathrm i \sin(nx)\,)

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 :

(\cos(x)+\mathrm i\sin(x))^2 = \cos(2x)+\mathrm i \sin(2x)\

On a

\cos^2(x)+2\cos(x)\sin(x)\mathrm i-\sin^2(x)\,=\cos(2x)+\mathrm i \sin(2x)\,

On identifie les parties réelles et imaginaires :

\cos(2x)=\cos^2(x)-\sin^2(x)\, et
\sin(2x)=2\cos(x)\sin(x)\,

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 :

\cos(nx)+\mathrm i\sin(nx)={\left(\cos x+\mathrm i\sin x\right)}^n=\sum_{p=0}^n {n \choose p}\cos^{n-p} (x)\mathrm i^{p}\sin^{p}( x).

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.

T_n(X)=\sum_{0\leq 2k\leq n} {n \choose 2k}(-1)^kX^{n-2k}(1-X^2)^k.

Références

  1. Dominique Flament, Histoire des nombres complexes, p. 60.
  2. Dominique Flament, Histoire des nombres complexes, p. 51.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Formule de De Moivre ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de De Moivre de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Théorème de d'Alembert — Gauss Pour les articles homonymes, voir Théorème de Gauss. Jean le Rond D Alembert est le premier à ressentir la nécessité de démontrer le th …   Wikipédia en Français

  • Théorème de d’Alembert-Gauss — Théorème de d Alembert Gauss Pour les articles homonymes, voir Théorème de Gauss. Jean le Rond D Alembert est le premier à ressentir la nécessité de démontrer le th …   Wikipédia en Français

  • Théorème fondamental de l'algèbre — Théorème de d Alembert Gauss Pour les articles homonymes, voir Théorème de Gauss. Jean le Rond D Alembert est le premier à ressentir la nécessité de démontrer le th …   Wikipédia en Français

  • Theoreme de Moivre-Laplace — Théorème de Moivre Laplace Une planche de Galton illustre le fait que la loi binomiale tend vers la loi normale Le Théorème de Moivre Laplace stipule que si la variable Sn suit une loi binomiale d ordre n et de paramètre …   Wikipédia en Français

  • Théorème de moivre-laplace — Une planche de Galton illustre le fait que la loi binomiale tend vers la loi normale Le Théorème de Moivre Laplace stipule que si la variable Sn suit une loi binomiale d ordre n et de paramètre …   Wikipédia en Français

  • MOIVRE (A. de) — MOIVRE ABRAHAM DE (1667 1754) Mathématicien né en France, à Vitry le François, et mort à Londres. Abraham de Moivre devint anglais par suite de l’émigration de sa famille à Londres après la révocation de l’édit de Nantes. C’est à la lecture des… …   Encyclopédie Universelle

  • Théorème central limite — Pour les articles homonymes, voir TCL. La loi normale, souvent appelée la « courbe en cloche » Le théorème central li …   Wikipédia en Français

  • Théorème de d'Alembert-Gauss — Pour les articles homonymes, voir Théorème de Gauss. Jean le Rond D Alembert est le premier à ressentir la nécessité de démontrer le théorème fondamental de l algèbre. Sa motivation est entièrement analytique, il r …   Wikipédia en Français

  • Théorème de Moivre-Laplace — Une planche de Galton illustre le fait que la loi binomiale tend vers la loi normale. En probabilités, le Théorème de Moivre Laplace stipule que si la variable Xn suit une loi binomiale d ordre n et de paramètre …   Wikipédia en Français

  • Abraham de Moivre — Pour les articles homonymes, voir Moivre. Abraham de Moivre Abraham de Moivre Naissance 26  …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”