a f�rmula de Euler o relaci�n de Euler, atribuida a Leonhard Euler, establece el

teorema, en el que:

{\displaystyle e^{ix}=\cos x+i\,\operatorname {sen} x} {\displaystyle e^{ix}=\cos

x+i\,\operatorname {sen} x}
{\displaystyle e^{-ix}=\cos x-i\,\operatorname {sen} x} {\displaystyle e^{-ix}=\cos
x-i\,\operatorname {sen} x}

Para todo n�mero real x, que representa un �ngulo en el plano complejo. Aqu�, e es
la base del logaritmo natural, i es la unidad imaginaria, {\displaystyle
\operatorname {sen} x} {\displaystyle \operatorname {sen} x} y {\displaystyle \cos
x} {\displaystyle \cos x} son las funciones trigonom�tricas seno y coseno.

istoria
Roger Cotes descubri� en 1714 la relaci�n entre las funciones trigonom�tricas y el
logaritmo,

{\displaystyle ix=\ln(\cos x+i\operatorname {sen} x)} {\displaystyle ix=\ln(\cos

x+i\operatorname {sen} x)}
y fue publicada en su obra p�stuma Harmonia mensurarum (1722), 20 a�os antes de que
lo hiciera Leonhard Euler. Euler desarroll� la f�rmula utilizando la funci�n
exponencial en vez del logaritmo y lo comunic� en una carta enviada a Christian
Goldbach en 1741, siendo publicada y popularizada en su obra Introductio in
analysin infinitorum en 1748. Es interesante notar que ninguno de los descubridores
vio la interpretaci�n geom�trica se�alada anteriormente: la visi�n de los n�meros
complejos como puntos en el plano surgi� en 1787 por parte del matem�tico Caspar
Wessel en su �nico informe para la Real Academia Danesa.

Un siglo m�s tarde B. Peirce concluy� la deducci�n de la f�rmula delante de sus

alumnos, diciendo: "Caballeros, con seguridad esta f�rmula es cierta , aunque les
parezca parad�jica..." 1?

Potencia compleja de e

O bien se suele expresar como:

{\displaystyle e^{z}=e^{x+iy}=e^{x}(\cos y+i\,\operatorname {sen} \,y)}

{\displaystyle e^{z}=e^{x+iy}=e^{x}(\cos y+i\,\operatorname {sen} \,y)}
siendo {\displaystyle z} z la variable compleja definida por {\displaystyle z=x+iy}
{\displaystyle z=x+iy}

Demostraci�n
N�tese que esta no es una demostraci�n basada en las propiedades de los n�meros
complejos y de la funci�n exponencial, sino que es necesaria la definici�n de la
exponencial compleja como el equivalente a la serie de Taylor sobre los n�meros
reales para par�metros complejos.

La f�rmula puede interpretarse geom�tricamente como una circunferencia unidad en el

plano complejo, dibujada por la funci�n eix al variar {\displaystyle x} x sobre los
n�meros reales. As�, {\displaystyle x} x es el �ngulo de una recta que conecta el
origen del plano y un punto sobre la circunferencia unidad, con el eje positivo
real, medido en sentido contrario a las agujas del reloj y en radianes. La f�rmula
s�lo es v�lida si tambi�n el seno y el coseno tienen sus argumentos en radianes.