LA IDENTIDAD DE LEONHARD
EULER
En matemticas una de las ms famosas identidades se llama
identidad de Euler a una identidad que es un caso especial de la
frmula desarrollada por el matemtico Leonhard Euler que por si
misma presenta una rara curiosidad de entre todas las dems, y
es que ella relaciona los 5 nmeros ms importantes en
matemticas como son e, , i, 0, 1.
Historia
Leonhard Paul Euler fue un importante matemtico nacido en
Basilea - Suiza el 15 de abril del ao 1707. Es considerado uno
de los matemticos ms influyentes y prestigiosos del siglo XVIII.
Se puede observar en ella como va evolucionando el concepto
numrico a travs de los aos. Desde la concepcin ms
instintiva, como la de los naturales (que ya se conocen desde la
poca prehistrica) hasta los nmeros negativos (representados
por -1) obteniendo luego los nmeros enteros. Si se agregan las
fracciones (no figuran) se obtiene como resultado a los nmeros
racionales. Despus, aadiendo los irracionales (e y ) se
obtienen los reales. Como punto final si se agregan los
imaginarios (se representan por la unidad imaginaria i)
obtenemos finalmente a los nmeros complejos.
Tambin se puede observar en esta identidad la historia de la
evolucin matemtica, en este caso de las operaciones
aritmticas. Podemos ver una suma, un producto y tambin una
potencia. Esta identidad es interesante y sumamente valiosa, ya
que relaciona cinco nmeros muy utilizados en matemticas:
e (nmero de Euler o constante de Napier) esencial en
anlisis. Este es un nmero irracional muy popular y tambin es
uno de los nmeros ms trascendentes en matemticas. Sus
primeras cifras son las siguientes,
2,71828182845904523536028747135
(pi) es un nmero esencial en geometra (corresponde a la
relacin entre la longitud de una circunferencia y su dimetro, pi =
3,14159265.)
i
(la unidad imaginaria) es un nmero de gran importancia
algebraica. Un nmero imaginario es un nmero que tiene como
2
cuadrado a un negativo, i = 1 i =1 propiedad
fundamental de los nmeros complejos.
0 y 1
Son las bases aritmticas puesto que son los
elementos neutrales correspondientes a la adicin y a la
multiplicacin
Estos nmeros no parecan guardar gran relacin entre ellos.
Pero Euler descubri su relacin, hecho que sorprendi al mundo
de las matemticas.
Esta identidad como indique al inicio es un caso especial de la
Formula de Euler la cual especifica que:
e ix=cosx+ isenx x R
(los argumentos de las funciones trigonomtricas sen y cos se
toman en radianes)
Aqu e es la base del logaritmo natural, i es la unidad imaginaria,
sen x y cos x son funciones trigonomtricas.
Esta funcin tiene simetra par e impar razn por la cual son de
gran utilidad en fsica moderna, y su representacin grfica es
como sigue:
Geomtricamente se interpreta como una circunferencia de radio
uno en el plano complejo, dibujada por la funcin e ix al variar
x
sobre R . As x
es el ngulo de una recta que conecta el
origen del plano y un punto sobre la circunferencia, con el eje
positivo real, medido en sentido anti horario y en radianes. La
frmula slo es vlida si las funciones seno y coseno tienen sus
argumentos en radianes.
La frmula de Euler fue demostrada por primera vez por Roger
Cotes en 1714, y luego redescubierta y popularizada por Euler en
1748. Es interesante saber que ninguno de los descubridores vio
la interpretacin geomtrica sealada anteriormente: la visin de
los nmeros complejos como puntos en el plano surgi unos 50
aos ms tarde.
Pasemos a ver la frmula y la identidad:
En la frmula de Euler:
e ix=cosx+isenx
x=
Si hacemos tenemos entonces:
i
e =cos +isen
Y como cos =1 y sen =0
entonces:
e i =1+0
De donde se sigue que:
i
e +1=0 La cual es la IDENTIDAD DE EULER.
Demostracin usando series de Taylor:
e en forma de serie viene dado por:
x 0 x 1 x 2 x3 xn
e x= + + + + =
0 ! 1 ! 2! 3 ! n=0 n !
( )
Adems sabemos que:
i 0=1 ; i 1=i ; i 2=1 ; i 3=i
i 4=1 ; i 5=i ; i 6=1 ; i 7=i
x
x
En e Si sustituimos por iz donde z
es una variable real e
i z
es la unidad imaginaria, y agrupamos las potencias pares de
por un lado y las impares por otro entonces obtenemos que:
3 n 2n +1 n 2n
zi z 2 z (i) z 4
iz
e =1+ +
1! 2!
+
3!
+ + =
4! i=0
(1 ) z
( 2 n+ 1 ) ! (
i+
n=0
(1 ) z
(2 n ) ! ) ( )
Y escribiendo las expresiones de sinx y cos x
en forma de serie:
n 2 n+1
x3 x 5 x 7 (1 ) x
sinx=x + =
3! 5! 7! n=0 ( 2 n+1 ) !
x2 x4 x 6 (1 )n x 2 n
cosx=1 + =
3! 4! 6! n=0 ( 2 n) !
Obtenemos:
iz
e =isinz+ cosz
Y ahora sustituyendo z por :
e i =isin + cos=i 01=1
e i =1
i
e +1=0
La frmula proporciona una potente conexin entre en anlisis
matemtico y la trigonometra. Se utiliza para representar nmeros
complejos en coordenadas polares y permite definir el logaritmo para
nmeros negativos y nmeros complejos.
Para el logaritmo de un nmero negativo:
x=
Basta con evaluar la frmula de Euler en obteniendo:
i
e =cos +isin=1
i
e =1
Luego invirtiendo la exponencial se obtiene el logaritmo natural de -1
i=ln (1 )
Para un nmero negativo cualquiera:
ln (a )=ln ( a ) +ln (1 )=ln ( a )+i (con a >0)
Adems puede definirse el logaritmo de un nmero negativo en
cualquier base, a partir del logaritmo natural y la formula 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 mucho las operaciones.
De las reglas de potenciacin tenemos:
e a+b =e a e b
Y
b
( e a ) =e ab
a b
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 variaciones de la funcin exponencial.
e ix +eix
cos x=
2i
e ixeix
sinx=
2i
Estas frmulas sirven as mismo para definir las funciones
trigonomtricas para argumentos complejos x. Las dos ecuaciones
anteriores se obtienen simplemente resolviendo las frmulas:
e ix=cosx+ isinx
ix
e =cosxisinx
En ecuaciones diferenciales, la funcin e ix se utiliza para
simplificar derivadas, incluso si la respuesta final es una funcin real
en la que aparezcan senos o cosenos, la identidad de Euler es una
consecuencia inmediata de la formula de Euler.
