Identité en analyse complexe exprimant l'exponentielle complexe en fonctions trigonométriques : e^{iθ} = cos θ + i sin θ pour θ réel, étendable aux arguments complexes par prolongement analytique.

Principe

L'exponentielle complexe transforme l'addition des angles en multiplication de nombres complexes ; de façon équivalente, les séries entières définissant e^z, sin z et cos z concourent pour établir l'égalité pour θ réel puis pour z complexe par analyticitè.

Démonstration

Pour θ = π la formule donne e^{iπ} = −1, d'où la relation e^{iπ} + 1 = 0. Dans la résolution d'équations différentielles linéaires à coefficients constants, exprimer les solutions via e^{iθt} traduit le comportement oscillatoire en forme exponentielle.

Mauvaise application

Considérer e^{iθ} comme une identité à valeurs purement réelles ou ignorer le choix de branche lors de l'inversion de l'exponentielle (par ex. appliquer le logarithme réel à des valeurs complexes) conduit à des erreurs ; utiliser la formule sans vérifier l'analyticité pour des domaines non standard est incorrect.

Conséquence

Fait le lien entre représentations exponentielle et trigonométrique, simplifie les calculs en analyse de Fourier, génie électrique et équations différentielles, et fournit des expressions compactes pour rotations et oscillations.

Inversion

Interpréter les fonctions trigonométriques comme primitives et nier le point de vue exponentiel fait perdre la structure multiplicative et la commodité algébrique ; inversement, traiter la formule purement symboliquement masque des subtilités analytiques comme les coupes de branche.

Limite

Valide telle quelle pour θ réel et valable pour z complexe par prolongement analytique des séries entières définissantes ; prudence nécessaire lors de la prise de logarithmes ou d'inverses dans le plan complexe en raison de la multi-valuéité et des coupes de branche.

Tension sémantique

Souvent confondue avec le cas particulier e^{iπ}+1=0 et mythifiée comme identité mystique ; tension également entre manipulations algébriques et conditions analytiques (domaine, convergence, branches).

Synthèse

La formule d'Euler est l'égalité analytique qui identifie l'exponentielle complexe à la rotation dans le plan : ses origines en séries entières (ou en équations différentielles) font de e^{iθ} le représentant algébrique compact de cos θ + i sin θ, unifiant oscillation, rotation et algèbre linéaire complexe.