En que consiste la propiedad de Euler

Ntese que esta no es una demostracin basada en las propiedades de los nmeros complejos y de
la funcin exponencial, sino que es necesaria la definicin de la exponencial compleja como el
equivalente a la serie de Taylor sobre los nmeros reales para parmetros complejos.
La frmula puede interpretarse geomtricamente como una circunferencia unidad en el plano
complejo, dibujada por la funcin eix al variar

sobre los nmeros reales. As,

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 frmula slo es vlida si
tambin el seno y el coseno tienen sus argumentos en radianes.
La frmula de Euler fue formulada por primera vez por Roger Cotes en 1714, y luego redescubierta y
popularizada por Euler en 1748. Es interesante notar que ninguno de los descubridores vio la
interpretacin geomtrica sealada anteriormente: la visin de los nmeros complejos como puntos
en el plano surgi en 1787 por parte del matemticoCaspar Wessel en su nico informe para la Real
Academia Danesa.

La frmula de Euler ilustrada en el plano complejo.

Sabiendo que:

y as sucesivamente. Adems de esto, las funciones ex, cos(x) y sen(x) (asumiendo que x sea
un nmero real) pueden ser expresadas utilizando sus series de Taylor alrededor de cero.

Definimos cada una de estas funciones por las series anteriores, remplazando x por iz,
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:

El reordenamiento es posible debido a que cada serie es absolutamente convergente.

Remplazando z = x como un nmero real resulta en la identidad original tal como la
descubri Euler.

La frmula proporciona una potente conexin entre el anlisis matemtico y

la trigonometra. Se utiliza para representar los nmeros complejos en coordenadas
polares y permite definir el logaritmo para nmeros negativos y nmeros complejos.
En este caso, la frmula de Euler es evaluada en

, obteniendo la identidad de

Euler:

Luego, al aplicar el logaritmo natural se obtiene:

.
Como extensin de la ecuacin anterior, el logaritmo de cualquier nmero
negativo se define como:
. Donde

Adems puede definirse el logaritmo de un nmero negativo en

cualquier base, a partir del logaritmo natural y la frmula de cambio de
base.
Una propiedad importante de la frmula de Euler es que es la nica
funcin matemtica que permanece con la misma forma (excepto por la
unidad imaginaria) con las operaciones de integracin y derivacin del
clculo 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 exponenciacin

(vlidas para todo par de nmeros complejos

y ), se pueden

derivar varias identidades trigonomtricas, as como la frmula

de De Moivre.
La frmula de Euler tambin permite interpretar las funciones
seno y coseno como meras variaciones de la funcin
exponencial:

Estas frmulas sirven asimismo para definir las

funciones trigonomtricas para argumentos
complejos

. Las dos ecuaciones anteriores se

obtienen simplemente resolviendo las frmulas

para el seno y el coseno.