Imatge representativa de la identitat d'Euler al pla complex . Correspon a aplicar una rotació e i π a l'element neutre 1, i afegir-hi una translació + 1. La rotació és d'angle π radians (mitja volta) respecte l'origen.
L'expressió
e
i
⋅
π
+
1
=
0
{\displaystyle e^{i\cdot \pi }+1=0}
identitat d'Euler , és una fórmula matemàtica (batejada pel físic estatunidenc Richard Feynman en homenatge a Leonard Euler ) que uneix de forma simple diversos camps d'aquesta disciplina:
Aquesta identitat és un cas particular de la fórmula d'Euler :
e
x
+
i
⋅
y
=
e
x
⋅
(
cos
y
+
i
⋅
sin
y
)
{\displaystyle e^{x+i\cdot y}=e^{x}\cdot (\cos y+i\cdot \sin y)}
per a x = 0 i y = π.
Explicació
Formula d'Euler general per a un angle
La funció e z es pot definir com a límit de (1 + z /N )N , quan N tendeix a infinit i, per tant, e i π és el límit de (1 +i π/N )N . En aquesta animació N pren alguns valors creixents entre 1 i 100. El càlcul de (1 + i π/N )N es mostra com a efecte combinat de N multiplicacions repetides en el pla complex , de manera que el punt final és el valor de (1 +i π/N )N . Es pot veure que quan N es fa gran (1 +i π/N )N s'acosta al límit de -1.
Des del punt de vista de l'anàlisi complexa , la identitat d'Euler és un cas particular de la fórmula d'Euler , que afirma que per qualsevol nombre real x ,
e
i
x
=
cos
x
+
i
sin
x
{\displaystyle e^{ix}=\cos x+i\sin x\,\!}
on els valors de les funcions trigonomètriques sinus i cosinus venen donats en radiants .
En particular quan: x = π , o mig gir (180°), al voltant d'una circumferència :
e
i
π
=
cos
π
+
i
sin
π
{\displaystyle e^{i\pi }=\cos \pi +i\sin \pi \,\!}
Com que
cos
π
=
−
1
{\displaystyle \cos \pi =-1\,\!}
i també
sin
π
=
0
{\displaystyle \sin \pi =0\,\!}
l'equació queda
e
i
π
=
−
1
+
0
i
{\displaystyle e^{i\pi }=-1+0i\,\!}
d'on s'obté la identitat d'Euler:
e
i
π
+
1
=
0
{\displaystyle e^{i\pi }+1=0\,\!}
Això redueix el problema a la demostració de la fórmula d'Euler, qüestió que es remunta als fonaments de l'anàlisi complexa . La demostració depèn de com s'hagi definit la funció exponencial complexa o, equivalentment, de com s'hagi definit l'extensió de la potenciació als nombres complexos.