La frmula de Euler

(relacin entre la funcin exponencial y las funciones trigonomtricas)

La frmula de Euler establece, mediante el uso de los nmeros complejos, una relacin
insospechada entre la funcin exponencial y las funciones trigonomtricas.

La funcin exponencial
La funcin exponencial se puede definir de varias formas equivalentes, pero la forma fundamental de calcularla es mediante la serie de potencias que aparece en la siguiente frmula:
ex =

n =0

xn
= 1 + x + 12 x2 + 16 x3 +
n!

(1)

Esta frmula, que no es ms que la serie de Taylor de la funcin exponencial, se explica y se

demuestra en los cursos de clculo infinitesimal y aqu slo la usaremos con fines ilustrativos y
de motivacin. En cualquier caso es importante que el estudiante se familiarize lo antes posible
con ella y con los razonamientos que haremos con ella a continuacin ya que esto ser de enorme
importancia en muchas asignaturas de la carrera.

De la funcin exponencial a la frmula de Euler

Si en la serie de Taylor (1) de la funcin exponencial se pone como x un imaginario puro,
x = i, entonces, debido a que in = 1 para n par e in = i para n impar, todos los trminos con
potencias pares de x son nmeros reales y los de las impares, imaginarios. En consecuencia la
suma se separa en dos partes dando lugar a una suma de dos series, una con todos los trminos
reales y la otra con todos los trminos imaginarios:
ei =

(i )n
n! = 1 + 21 (i )2 + + i + 61 (i )3 +
n =0




= 1 21 2 + + i 16 3 + .

Esta frmula se conoce como frmula de Euler y es de gran importancia en las aplicaciones
de los nmeros complejos. Su demostracin se basa nicamente en la ecuacin i2 = 1 y en las
series de Taylor de las funciones seno, coseno y exponencial. Vamos a ver ahora otras formas
sencillas de deducirla sin recurrir a las series de Taylor.

Versin de 3 de septiembre de 2015, 9:55 h.

En la ltima expresin, cada suma entre parntesis es una serie de potencias real y su suma es
un nmero real, lo que significa que ei es igual a un nmero complejo de la forma a + bi. Se
demuestra en los cursos de Clculo que el primer parntesis es la serie de Taylor de la funcin
coseno y que el segundo es la serie de Taylor de la funcin seno, de forma que se llega a la
conclusin de que los nmeros reales a y b que cumplen e1 = a + bi son a = cos y b = sen ;
es decir:
ei = cos + i sen .

Deducciones elementales de la frmula de Euler

Primera:
Consideremos la funcin
f (t) = cos t + i sen t.

(2)

Vamos a ver que esta funcin se puede expresar tambin en trminos de la funcin exponencial.
Aplicando a f (t) las reglas del clculo de derivadas:
f 0 (t) = sen t + i cos t = i2 sen t + i cos t = i (i sen t + cos t) = i f (t).

(3)

Esto significa que la funcin f (t) tiene las propiedades

f 0 (t)
= i,
f (t)

f (0) = 1 ,
de donde, integrando de 0 a ,
Z 0
f (t)
0

es decir:

f (t)

dt =

Z
0

i dt ,

[ln f (t)]0 = i [t]0 ,

ln f ( ) = i ,

f ( ) = ei ,

ei = cos + i sen .

Segunda:
La siguiente demostracin es parecida a la anterior pero slo usa las reglas de derivacin.
Consideremos la funcin
cos t + i sen t
f (t) =
.
(4)
eit
Vamos a ver que esta funcin es una funcin constante calculando su derivada y viendo que es
cero. Aplicando a f (t) las reglas del clculo de derivadas:

sen t + i cos t (i cos t sen t)

( sen t + i cos t)eit (cos t + i sen t)ieit
=
eit eit
eit
(5)
sen t + i cos t i cos t + sen t
=
= 0.
eit
Puesto que f (t) es una funcin constante, su valor es para todo t igual a su valor en t = 0, pero
i sen 0
f (0) = cos 0+
= 1+1i0 = 1, luego f (t) = 1 para todo t, o sea:
ei0
f 0 (t) =

cos t + i sen t
= 1.
eit
que es equivalente a la frmula de Euler.

(6)

La tercera demostracin de la frmula de Euler se basa en la propiedad

p(z ) = p(z)

(7)

del conjugado, la cual es vlida no slo cuando p(z) es un polinomio, sino tambin cuando es
una funcin analtica real cualquiera y, en particular, para la funcin exponencial:
ez = ez .

(8)

No vamos a demostrar la propiedad (7) para todas las funciones analticas, pero s queremos
remarcar que la demostracin de (8) a partir de la frmula (1) que define a la funcin exponencial
es exactamente igual que la demostracin de la propiedad (7) de los polinomios. Podemos, pues,
usar la propiedad (8) de la funcin exponencial para deducir la frmula de Euler como veremos
a continuacin.
2

Tercera:
Suponiendo conocida la ecuacin (8), se deduce que para todo nmero complejo de la forma
ei su conjugado es igual a su inverso y por tanto, segn zz = |z|2 , ei tiene mdulo igual a 1:
ei = ei = ei

por tanto:

|ei | = 1.

En consecuencia, existe una funcin ( ) tal que

ei = cos ( ) + i sen ( ).
Derivando ambos miembros de esta igualdad se deduce que la derivada de es constante e
igual a 1. Puesto que (0) = 0, deducimos que es la funcin identidad: ( ) = y por tanto
ei = cos + i sen .

Cartel de anuncio de una conferencia de matemticas en la

Universidad de Santiago de Compostela en 2012

Una identidad famosa

Un caso particular de la frmula de Euler que es especialmente famoso es el que se obtiene
al poner = teniendo en cuenta que cos = 1 y sen = 0. Entonces se obtiene:
ei = 1 ,

que se puede reescribir como:

ei + 1 = 0.

Esta ltima es una expresin en la que los cinco nmeros ms importantes de las matemticas
estn relacionados entre s mediante las tres operaciones fundamentales de la aritmtica (sumar,
multiplicar y elevar a una potencia).
Ejercicio: Deducir la ecuacin (8) a partir de la frmula de Euler teniendo cuidado en considerar que z es un nmero complejo cualquiera, no slo un imaginario puro.
3