La ecuación que generalmente se llama identidad de Euler es en realidad [matemáticas] e ^ {i \ pi} + 1 = 0 [/ matemáticas]. La ecuación que ha dado, [matemáticas] e ^ {ix} = \ cos x + i \ sen x [/ matemáticas], es realmente una generalización de la identidad de Euler, y se refiere más típicamente a la fórmula de Euler. Los nombres parecen confusamente similares porque cada uno es muy utilizado por una comunidad diferente.
La fórmula de Euler es notable porque describe de manera concisa las seis funciones trigonométricas únicamente en términos de la función exponencial compleja, [math] e ^ {ix} [/ math]. Como veremos, la prueba además proporciona una técnica constructiva para calcular cualquier número en cualquiera de estas tablas trigonométricas con precisión arbitraria. Que todo esto esté empaquetado en una ecuación tan simple y elegante es nada menos que sorprendente.
Lo que es
La fórmula de Euler se sigue elegantemente de las definiciones de [matemáticas] e ^ x [/ matemáticas], [matemáticas] \ cos x [/ matemáticas] y [matemáticas] \ sen x [/ matemáticas]. Tenga paciencia conmigo, ya que aquí usaremos matemáticas muy simples e intuitivas para derivar esta fórmula y ver por qué funciona.
Primero recuerde que [matemáticas] e ^ x [/ matemáticas] se define como [matemáticas] e ^ x = \ sum_ {k = 0} ^ \ infty \ frac {x ^ k} {k!} = 1 + x + \ frac {1} {2!} x + \ frac {1} {3!} x + \ frac {1} {4!} x + \ ldots [/ math]. Intuitivamente, esta es una suma de términos cada vez más pequeños que convergen a [matemáticas] e ^ x [/ matemáticas] a medida que nos acercamos al infinito. Por ejemplo, en el caso de [math] x = 1 [/ math], esto convergerá a [math] e [/ math].
- ¿Cuál es el algoritmo más eficiente para factorizar un número en sus factores primos?
- Cómo encontrar el resto de [matemáticas] 2 ^ {1990} [/ matemáticas] dividido por [matemáticas] 1990 [/ matemáticas]
- ¿Qué hace que [math] q = \ exp (2 \ pi it) [/ math] para cualquier número complejo [math] t [/ math], tan útil en la teoría de números?
- ¿Cuál es el resto cuando [matemáticas] 11 ^ {2015} + 13 ^ {2015} + 17 ^ {2015} [/ matemáticas] se divide por [matemáticas] 29? [/ Matemáticas]
- Cómo enseñar aritmética modular
Nuestro primer paso es agregar una [matemática] i [/ matemática] al exponente. Al hacer esto, obtenemos [matemáticas] e ^ {ix} = 1 + ix + \ frac {1} {2!} I ^ 2 x ^ 2 + \ frac {1} {3!} I ^ 3 x ^ 3 + \ frac {1} {4!} i ^ 4 x ^ 4 + \ ldots [/ math].
Observe que [matemática] i ^ 2 = -1 [/ matemática], [matemática] i ^ 3 = -i [/ matemática], [matemática] i ^ 4 = 1 [/ matemática] y [matemática] i ^ 5 = i [/ matemáticas]. Resulta que a medida que continuamos aumentando el exponente, el valor “ciclos” – es decir, si continúa, verá que [matemáticas] i ^ 6 = i ^ 2 [/ matemáticas], [matemáticas] i ^ 7 = i ^ 3 [/ matemáticas], y así sucesivamente.
Esta idea nos permite deshacernos de algunas de las [matemáticas] i [/ matemáticas] en nuestra definición de [matemáticas] e ^ {ix} [/ matemáticas]. Específicamente, siguiendo este comportamiento de “ciclismo” que acabamos de describir, vemos que [matemáticas] e ^ {ix} = 1 + ix – \ frac {1} {2!} X ^ 2 – \ frac {1} {3!} ix ^ 3 + \ frac {1} {4!} x ^ 4 + \ ldots [/ math].
Esto resulta ser una idea muy útil, ya que nos permite separar [math] e ^ {ix} [/ math] en dos grupos: los términos que involucran un [math] i [/ math] de todos aquellos que no t. Es decir, [matemáticas] e ^ {ix} = (1 – \ frac {1} {2!} X ^ 2 + \ frac {1} {4!} X ^ 4 + \ ldots) + [/ matemáticas] [ matemáticas] i (x – \ frac {1} {3!} x ^ 3 + \ frac {1} {5!} x ^ 5 + \ ldots) [/ matemáticas].
(En este punto, una nota al margen importante está en orden. Si aún no lo sabía, una expansión de Taylor de una función nos permite representar esa función como una suma infinita de términos, al igual que hemos definido [matemáticas] e ^ x [/ math]. Esta definición nos permitirá dar el siguiente paso).
Ahora, aquí es donde comienza a ser emocionante.
Resulta que el grupo de la izquierda es la expansión de Taylor de [math] \ cos x [/ math], mientras que el grupo de la derecha es la expansión de Taylor de [math] \ sin x [/ math]. Entonces esto nos da que [matemáticas] e ^ {ix} = (\ cos x) + i (\ sin x) [/ matemáticas].
Bam, QED, que completa la prueba. Incluso explicándolo ahora, es sorprendente lo hermoso y conciso que es esto.
Finalmente, vale la pena señalar que, como prometimos, el hecho de que esta prueba se construya como una suma de números cada vez más pequeños nos permite calcular cualquier número en las seis tablas trigonométricas con precisión arbitraria.