F�rmula de Euler

Ir a la navegaci�nIr a la b�squeda
La 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.

�ndice
1 Historia
2 Potencia compleja de e
2.1 Demostraci�n
2.2 Demostraci�n usando las Series de Taylor
3 Relevancia matem�tica
3.1 Logaritmo de un n�mero negativo
3.2 Logaritmo de un n�mero negativo cualquiera
3.3 Integraci�n y derivaci�n
3.4 Funciones trigonom�tricas
3.5 Ecuaciones diferenciales
3.6 An�lisis de se�ales
4 V�ase tambi�n
5 Referencias
6 Enlaces externos
Historia
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.

Demostraci�n usando las Series de Taylor

La f�rmula de Euler ilustrada en el plano complejo.

Sabiendo que:

{\displaystyle {\begin{aligned}i^{0}&{}=1,\quad &i^{1}&{}=i,\quad &i^{2}&{}=-1\quad

&i^{3}&{}=-i,\\i^{4}&={}1,\quad &i^{5}&={}i,\quad &i^{6}&{}=-1,\quad &i^{7}&{}=-
i,\\\end{aligned}}} {\displaystyle {\begin{aligned}i^{0}&{}=1,\quad
&i^{1}&{}=i,\quad &i^{2}&{}=-1\quad &i^{3}&{}=-i,\\i^{4}&={}1,\quad
&i^{5}&={}i,\quad &i^{6}&{}=-1,\quad &i^{7}&{}=-i,\\\end{aligned}}}
y as� sucesivamente. Adem�s de esto, las funciones ex, cos(x) y sen(x) (asumiendo
que x sea un n�mero real) pueden ser expresadas utilizando sus series de Taylor
alrededor de cero.

{\displaystyle {\begin{aligned}e^{x}&{}={\frac {x^{0}}{0!}}+{\frac {x^{1}}{1!}}+

{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+\cdots \\\cos
x&{}={\frac {x^{0}}{0!}}-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}
{6!}}+\cdots \\\sin x&{}={\frac {x^{1}}{1!}}-{\frac {x^{3}}{3!}}+{\frac {x^{5}}
{5!}}-{\frac {x^{7}}{7!}}+\cdots \end{aligned}}} {\displaystyle
{\begin{aligned}e^{x}&{}={\frac {x^{0}}{0!}}+{\frac {x^{1}}{1!}}+{\frac {x^{2}}
{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+\cdots \\\cos x&{}={\frac {x^{0}}
{0!}}-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+\cdots \\\sin
x&{}={\frac {x^{1}}{1!}}-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}
{7!}}+\cdots \end{aligned}}}
Otra definici�n que se le puede dar a {\displaystyle e^{x}} e^x bas�ndose en las
series de Taylor es la siguiente:

{\displaystyle e^{x}={\biggl (}\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}{\biggr )}}

{\displaystyle e^{x}={\biggl (}\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}{\biggr )}}
tambi�n v�lido para:

{\displaystyle \cos x={\biggl (}\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k}}

{(2k)!}}{\biggr )}} {\displaystyle \cos x={\biggl (}\sum _{k=0}^{\infty }{\frac {(-
1)^{k}x^{2k}}{(2k)!}}{\biggr )}}
{\displaystyle \sin x={\biggl (}\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k+1}}
{(2k+1)!}}{\biggr )}} {\displaystyle \sin x={\biggl (}\sum _{k=0}^{\infty }{\frac
{(-1)^{k}x^{2k+1}}{(2k+1)!}}{\biggr )}}
Definimos cada una de estas funciones por las series anteriores, remplazando x por
i�z, donde z es una variable real e i la unidad imaginaria. Esto es posible porque
el radio de convergencia es infinito en cada serie. Entonces encontramos que:

{\displaystyle {\begin{aligned}e^{iz}&{}={\frac {(iz)^{0}}{0!}}+{\frac {(iz)^{1}}

{1!}}+{\frac {(iz)^{2}}{2!}}+{\frac {(iz)^{3}}{3!}}+{\frac {(iz)^{4}}{4!}}+{\frac
{(iz)^{5}}{5!}}+{\frac {(iz)^{6}}{6!}}+{\frac {(iz)^{7}}{7!}}+{\frac {(iz)^{8}}
{8!}}+\cdots \\&{}={\frac {z^{0}}{0!}}+i{\frac {z^{1}}{1!}}-{\frac {z^{2}}{2!}}-
i{\frac {z^{3}}{3!}}+{\frac {z^{4}}{4!}}+i{\frac {z^{5}}{5!}}-{\frac {z^{6}}{6!}}-
i{\frac {z^{7}}{7!}}+{\frac {z^{8}}{8!}}+\cdots \\&{}=\left({\frac {z^{0}}{0!}}-
{\frac {z^{2}}{2!}}+{\frac {z^{4}}{4!}}-{\frac {z^{6}}{6!}}+{\frac {z^{8}}
{8!}}-\cdots \right)+i\left({\frac {z^{1}}{1!}}-{\frac {z^{3}}{3!}}+{\frac {z^{5}}
{5!}}-{\frac {z^{7}}{7!}}+\cdots \right)\\&{}=\cos(z)+i\sin(z)\end{aligned}}}
{\displaystyle {\begin{aligned}e^{iz}&{}={\frac {(iz)^{0}}{0!}}+{\frac {(iz)^{1}}
{1!}}+{\frac {(iz)^{2}}{2!}}+{\frac {(iz)^{3}}{3!}}+{\frac {(iz)^{4}}{4!}}+{\frac
{(iz)^{5}}{5!}}+{\frac {(iz)^{6}}{6!}}+{\frac {(iz)^{7}}{7!}}+{\frac {(iz)^{8}}
{8!}}+\cdots \\&{}={\frac {z^{0}}{0!}}+i{\frac {z^{1}}{1!}}-{\frac {z^{2}}{2!}}-
i{\frac {z^{3}}{3!}}+{\frac {z^{4}}{4!}}+i{\frac {z^{5}}{5!}}-{\frac {z^{6}}{6!}}-
i{\frac {z^{7}}{7!}}+{\frac {z^{8}}{8!}}+\cdots \\&{}=\left({\frac {z^{0}}{0!}}-
{\frac {z^{2}}{2!}}+{\frac {z^{4}}{4!}}-{\frac {z^{6}}{6!}}+{\frac {z^{8}}
{8!}}-\cdots \right)+i\left({\frac {z^{1}}{1!}}-{\frac {z^{3}}{3!}}+{\frac {z^{5}}
{5!}}-{\frac {z^{7}}{7!}}+\cdots \right)\\&{}=\cos(z)+i\sin(z)\end{aligned}}}
El reordenamiento es posible debido a que cada serie es absolutamente convergente.
Remplazando z = x como un n�mero real resulta en la identidad original tal como la
descubri� Euler.

Relevancia matem�tica
La f�rmula proporciona una potente conexi�n entre el an�lisis matem�tico y la
trigonometr�a. Se utiliza para representar los n�meros complejos en coordenadas
polares y permite definir el logaritmo para n�meros negativos y n�meros complejos.

Logaritmo de un n�mero negativo

En este caso, la f�rmula de Euler es evaluada en {\displaystyle x=\pi } x=\pi ,
obteniendo la identidad de Euler:

{\displaystyle e^{\mathrm {i} \pi }=\cos \pi +\mathrm {i} \,\operatorname {sen} \pi
=-1} {\displaystyle e^{\mathrm {i} \pi }=\cos \pi +\mathrm {i} \,\operatorname
{sen} \pi =-1}
{\displaystyle e^{\mathrm {i} \pi }=-1\,\!} {\displaystyle e^{\mathrm {i} \pi }=-
1\,\!}
Luego, al aplicar el logaritmo natural se obtiene:

{\displaystyle \mathrm {i} \pi =\ln(-1)\,\!} {\displaystyle \mathrm {i} \pi =\ln(-
1)\,\!}.
Logaritmo de un n�mero negativo cualquiera
Como extensi�n de la ecuaci�n anterior, el logaritmo de cualquier n�mero negativo
se define como:

{\displaystyle \ln(-a)=\ln(a)+\ln(-1)=\ln(a)+\mathrm {i} \pi \,\!}

{\displaystyle \ln(-a)=\ln(a)+\ln(-1)=\ln(a)+\mathrm {i} \pi \,\!}. Donde
{\displaystyle a>0} {\displaystyle a>0}.
Adem�s puede definirse el logaritmo de un n�mero negativo en cualquier base, a
partir del logaritmo natural y la f�rmula de cambio de base.

Integraci�n y derivaci�n
Una propiedad importante de la f�rmula de Euler es que es la �nica funci�n
matem�tica que permanece con la misma forma (excepto por la unidad imaginaria) con
las operaciones de integraci�n y derivaci�n del c�lculo integral, lo que permite
que se utilice para convertir ecuaciones diferenciales en ecuaciones con forma
algebraica, simplificando enormemente esas operaciones.

De las reglas de la exponenciaci�n

{\displaystyle e^{a+b}=e^{a}\cdot e^{b}} {\displaystyle e^{a+b}=e^{a}\cdot e^{b}}

y

{\displaystyle (e^{a})^{b}=e^{a\cdot b}} {\displaystyle (e^{a})^{b}=e^{a\cdot b}}

(v�lidas para todo par de n�meros complejos {\displaystyle a} a y {\displaystyle b}
b), se pueden derivar varias identidades trigonom�tricas, as� como la f�rmula de De
Moivre.
Funciones trigonom�tricas
La f�rmula de Euler tambi�n permite interpretar las funciones seno y coseno como
meras variaciones de la funci�n exponencial:

{\displaystyle \cos x={e^{ix}+e^{-ix} \over 2}} {\displaystyle \cos x={e^{ix}+e^{-

ix} \over 2}}
{\displaystyle \operatorname {sen} x={e^{ix}-e^{-ix} \over 2i}} {\displaystyle
\operatorname {sen} x={e^{ix}-e^{-ix} \over 2i}}
A partir de estas igualdades, es posible definir las funciones trigonom�tricas para
los n�meros complejos de este modo:2?

{\displaystyle \operatorname {sen} z={\cfrac {e^{zi}-e^{-zi}}{2i}}}

{\displaystyle \operatorname {sen} z={\cfrac {e^{zi}-e^{-zi}}{2i}}}
{\displaystyle \cos z={\cfrac {e^{zi}+e^{-zi}}{2}}} {\displaystyle \cos z={\cfrac
{e^{zi}+e^{-zi}}{2}}}
{\displaystyle \tan z={\cfrac {e^{zi}-e^{-zi}}{e^{zi}+e^{-zi}}}\cdot {\cfrac {1}
{i}}} {\displaystyle \tan z={\cfrac {e^{zi}-e^{-zi}}{e^{zi}+e^{-zi}}}\cdot {\cfrac
{1}{i}}}
siendo {\displaystyle z\in \mathbb {C} } {\displaystyle z\in \mathbb {C} }, es
decir, que pertenece al conjunto de n�meros complejos. Estas funciones
trigonom�tricas cumplen las leyes de sus similares aplicadas a los n�meros reales.
Sean los n�meros complejos {\displaystyle z} z y {\displaystyle w} w, es decir
{\displaystyle z\land w\in \mathbb {C} } {\displaystyle z\land w\in \mathbb {C} },
entonces son v�lidas las siguientes igualdades:

{\displaystyle \cos ^{2}{z}+\operatorname {sen} ^{2}{z}=1} {\displaystyle \cos ^{2}

{z}+\operatorname {sen} ^{2}{z}=1}
{\displaystyle \cos(-z)=\cos(z)} {\displaystyle \cos(-z)=\cos(z)}
{\displaystyle \operatorname {sen} (-z)=-\operatorname {sen} (z)} {\displaystyle
\operatorname {sen}(-z)=-\operatorname {sen}(z)}
{\displaystyle \operatorname {sen} (z+w)=\operatorname {sen} (z)\cos(w)
+\operatorname {sen} (w)\cos(z)} {\displaystyle \operatorname {sen}
(z+w)=\operatorname {sen}(z)\cos(w)+\operatorname {sen}(w)\cos(z)}
{\displaystyle \cos(z+w)=\cos(z)\cos(w)-\operatorname {sen} (w)\operatorname {sen}
(z)} {\displaystyle \cos(z+w)=\cos(z)\cos(w)-\operatorname {sen}(w)\operatorname
{sen}(z)}
Ecuaciones diferenciales
En las ecuaciones diferenciales, la expresi�n {\displaystyle e^{ix}} {\displaystyle
e^{ix}} es utilizada a menudo para simplificar derivadas, incluso si la respuesta
final es una funci�n real en la que aparezcan senos o cosenos. La identidad de
Euler es una consecuencia inmediata de la f�rmula de Euler.

An�lisis de se�ales
Las se�ales que var�an peri�dicamente suelen describirse como una combinaci�n de
funciones seno y coseno, como ocurre en el an�lisis de Fourier, y estas son
expresadas m�s convenientemente como la parte real de una funci�n exponencial con
exponente imaginario, utilizando la f�rmula de Euler.