Formule d'Euler
La formule d'Euler est une égalité mathématique, attribuée au mathématicien suisse Leonhard Euler. Elle s'écrit, pour tout nombre réel ,

et se généralise aux  complexes.

Ici, le nombre  est la base des logarithmes naturels,  est l'unité imaginaire,  et  sont des fonctions trigonométriques.

Description 
Cette formule peut être interprétée en disant que la fonction , appelée fonction cis, décrit le cercle unité dans le plan complexe lorsque  varie dans l'ensemble des nombres réels.
 représente la mesure (en radians) de l'angle orienté que fait la demi-droite d'extrémité l'origine et passant par un point du cercle unité avec la demi-droite des réels positifs. La formule n'est valable que si  et  ont des arguments exprimés en radians plutôt qu'en degrés.

La démonstration est fondée sur les développements en série entière de la fonction exponentielle  de la variable complexe  et des fonctions  et  considérées à variables réelles.
En fait, la même démonstration montre que la formule d'Euler est encore valable pour tous les nombres complexes .

La formule établit un puissant lien entre l'analyse et la trigonométrie. Selon Richard Feynman, c'est  Elle est utilisée pour représenter les nombres complexes sous forme trigonométrique et permet la définition du logarithme pour les arguments complexes. En utilisant les propriétés de l'exponentielle
 
et
 
(qui sont aussi valables pour tous les nombres complexes  et pour tout entier ), il devient facile de dériver plusieurs identités trigonométriques ou d'en déduire la formule de Moivre. La formule d'Euler permet une interprétation des fonctions cosinus et sinus comme combinaisons linéaires de fonctions exponentielles :
 
 
Ces formules (aussi appelées formules d'Euler) constituent la définition moderne des fonctions  et  (y compris lorsque  est une variable complexe) et sont équivalentes à la formule d'Euler (appliquée à  et à ), qui devient alors une tautologie.

Dans les équations différentielles, la fonction , est souvent utilisée pour simplifier les dérivations, même si le problème est de déterminer les solutions réelles exprimées à l'aide de sinus et cosinus. L'identité d'Euler est une conséquence immédiate de la formule d'Euler.

En électrotechnique et dans d'autres domaines, les signaux qui varient périodiquement en fonction du temps sont souvent décrits par des combinaisons linéaires des fonctions sinus et cosinus (voir analyse de Fourier), et ces dernières sont plus commodément exprimées comme parties réelles de fonctions exponentielles avec des exposants imaginaires, en utilisant la formule d'Euler.

Démonstrations

Par les séries de Taylor 

Le développement en série de la fonction  de la variable réelle  peut s'écrire :

 

et s'étend à tout nombre complexe  : le développement en série de Taylor reste absolument convergent et définit l'exponentielle complexe.

En particulier pour  avec  réel :

 

Cette série peut être séparée en deux en regroupant les termes pairs et impairs. En effet, un réarrangement de l'ordre des termes de la série est possible ici, car il s'agit d'une série absolument convergente, autrement dit d'une famille sommable. On obtient alors, en utilisant le fait que  :

 

On voit ainsi apparaître les développements en série de Taylor des fonctions cosinus et sinus :

 

 

ce qui, en remplaçant dans l'expression précédente de , donne bien :

Par le calcul différentiel 

Pour tout nombre complexe , la seule application  : ℝ → ℂ vérifiant  et  est l'application  (la démonstration est identique à celle pour  réel, donnée dans l'article détaillé).

L'application  définie par

vérifie

Elle coïncide donc avec l'application .

Historique 

La formule d'Euler fut mise en évidence pour la première fois par Roger Cotes en 1714 sous la forme  (où  désigne le logarithme népérien, c'est-à-dire le logarithme de base ). Ce fut Euler qui publia la formule sous sa forme actuelle en 1748, en basant sa démonstration sur la formule de Moivre et à l'aide d'équivalents et de passages à la limite. Aucun des deux mathématiciens ne donna une interprétation géométrique de la formule : l'interprétation des nombres complexes comme des affixes de points d'un plan ne fut vraiment évoquée que cinquante années plus tard (voir Caspar Wessel).

Applications 
La formule d'Euler permet d'affirmer que la détermination principale du logarithme complexe de  est , pour tout .
 Un exemple d'application en électromagnétisme est le courant alternatif : puisque la différence de potentiel d'un tel circuit oscille, elle peut être représentée par un nombre complexe :Afin d'obtenir une quantité mesurable, on prend la partie réelle :
 La linéarisation, qui repose sur la formule d'Euler et la formule du binôme de Newton, transforme tout polynôme en  et  en une combinaison linéaire de divers  et , ce qui rend alors immédiat le calcul de ses primitives.

Voir aussi

Articles connexes 
 Théorème de Descartes-Euler
 Relation d'Euler dans le triangle
 Méthode d'Euler, calcul approché d'équations différentielles et de primitives
 Identité d'Euler, la fameuse identité :  + 1 = 0

Références 

Analyse complexe
Euler (formule)
Leonhard Euler
Exponentielle
Trigonométrie