Identidad de Euler

De Wikipedia, la enciclopedia libre

Se llama identidad de Euler a una fórmula desarrollada por Leonhard Euler, notable por relacionar cinco números muy utilizados en la historia de las matemáticas y que pertenecen a distintas ramas:

 e^{i \pi} + 1 = 0\;

donde:

Otra curiosidad de esta fórmula es que, si la escribimos de esta manera:

 e^{i \pi} = -1\;

representa la evolución del concepto de número a lo largo de la historia. Desde el concepto más intuitivo, los números naturales, conocidos desde la prehistoria, añadiendo los números negativos (representados por -1) obtenemos los números enteros. Luego, añadiendo las fracciones (no aparecen) obtenemos los racionales. Después, añadiendo los irracionales (e y π) obtenemos los números reales. Y finalmente, añadiendo los números imaginarios (representados por i) obtenemos los números complejos.

Volviendo a la primera fórmula, se puede ver que también cuenta la historia de una evolución en las matemáticas, en este caso de las operaciones aritméticas. Aparecen una suma, un producto y una potencia.

[editar] Derivación

La identidad es un caso especial de la Fórmula de Euler, la cual especifica que

e^{ix} = \cos x + i \sin x \,\!

para cualquier número real x. (Nótese que los argumentos para las funciones trigonométricas sen y cos se toman en radianes.) En particular si

x = \pi,\,\!

Entonces

e^{i \pi} = \cos \pi + i \sin \pi.\,\!

Y ya que

\cos \pi = -1  \, \!

y que

\sin \pi = 0,\,\!

Se sigue que

e^{i \pi} = -1,\,\!

Lo cual implica la identidad

e^{i \pi} +1 = 0.\,\!



Para una forma alternativa de notar que la identidad de Euler es tanto verdadera como profunda, supongamos que:

x = i\pi,\,\!

en la expanción polinomial de e a la potencia x:

e^x = 1 + x + x^2/2! + x^3/3! + x^4/4! + ... ,\,\!

para obtener:

e^{i\pi} = 1 + i\pi + (i\pi)^2/2! + (i\pi)^3/3! + (i\pi)^4/4! + ... ,\,\!

simplificando (usando i2 = -1):

e^{i\pi} = 1 + i\pi - \pi^2/2! - i\pi^3/3! + \pi^4/4! + ... ,\,\!

Al separar el lado derecho de la ecuación en subseries real e imaginarias:

i(\pi - \pi^3/3! + \pi^5/5! - \pi^7/7! + ...) = 0\!
(1 - \pi^2/2! + \pi^4/4! - \pi^6/6! + ...) = -1\!

Se puede comprobar la convergencia de estas dos subseries infinitas, lo cual implica

e^{i \pi} = -1,\,\!

[editar] Véase también

Herramientas personales