Miguel Ferrá: La belleza más sutil, el misterio más profundo...

viernes, 12 de diciembre de 2008

La belleza más sutil, el misterio más profundo...

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

¿No es increíble la fórmula de Euler? No es de extrañar que en cierta ocasión el matemático Benjamin Peirce les dijese a sus alumnos: "Caballeros, esto es sin duda cierto, es absolutamente paradójico, no podemos comprenderlo y no sabemos lo que significa, pero lo hemos demostrado y, por lo tanto, sabemos que debe ser verdad". (Epsilones)

En efecto; desarrolando en serie las funciones exponencial, seno y coseno obtendremos las expresiones:

$\mathrm{e}^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots\text{ for all } x\!$

$\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}\quad = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots\text{ for all } x\!$

$\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n}\quad = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots\text{ for all } x\!$

y sustituyendo x (variable real) por iz (variable compleja) llegamos a la conclusión fundamental:

$\begin{align} e^{iz} &{}= 1 + iz + \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 \\ &{}= 1 + iz - \frac{z^2}{2!} - \frac{iz^3}{3!} + \frac{z^4}{4!} + \frac{iz^5}{5!} - \frac{z^6}{6!} - \frac{iz^7}{7!} + \frac{z^8}{8!} + \cdots \\ &{}= \left( 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \frac{z^6}{6!} + \frac{z^8}{8!} - \cdots \right) + i\left( z - \frac{z^3}{3!} + \frac{z^5}{5!} - \frac{z^7}{7!} + \cdots \right) \\ &{}= \cos z + i\sin z \end{align}$