Identidad en análisis complejo que expresa la exponencial compleja en términos trigonométricos: e^{iθ} = cos θ + i sin θ para θ real, extensible a argumentos complejos por continuación analítica.

Principio

La exponencial compleja convierte la suma de ángulos en el producto de números complejos; equivalentemente, las series de potencia definitorias de e^z, sin z y cos z coinciden para producir la igualdad para argumentos reales y, por analiticidad, para complejos.

Demostración

Para θ = π la fórmula da e^{iπ} = −1, lo que conduce a la relación e^{iπ} + 1 = 0. Al resolver EDO lineales con coeficientes constantes, escribir soluciones como e^{iθt} traduce el comportamiento oscilatorio a forma exponencial.

Aplicación incorrecta

Tratar e^{iθ} como una función puramente real o ignorar la elección de rama al invertir la exponencial (por ejemplo, aplicar el logaritmo real a valores complejos) lleva a errores; usar la fórmula sin comprobar analiticidad en dominios no estándar es incorrecto.

Consecuencia

Establece el puente entre representaciones exponencial y trigonométrica, simplifica cálculos en análisis de Fourier, ingeniería eléctrica y ecuaciones diferenciales, y proporciona expresiones compactas para rotaciones y oscilaciones.

Inversión

Si se considera exclusivamente la perspectiva trigonométrica y se niega la exponencial, se pierde la estructura multiplicativa y la comodidad algebraica; si se trata la fórmula solo de manera simbólica se ocultan sutilezas analíticas como cortes de rama y multi-valoración.

Límite

Exacta para θ real y válida para z complejo mediante continuación analítica de las series definitorias; al tomar logaritmos o invertir en el plano complejo se debe tener cuidado por la multivaluación y los cortes de rama.

Tensión semántica

A menudo se confunde con el caso particular e^{iπ}+1=0 y se mitifica como una identidad «bella»; existe tensión entre manipulaciones algebraicas formales y las condiciones analíticas necesarias (dominio, convergencia, ramas).

Síntesis

La fórmula de Euler es la igualdad analítica que identifica la exponencial compleja con la rotación en el plano: derivada de series de potencias (o EDOs), convierte e^{iθ} en el representante algebraico compacto de cos θ + i sin θ, unificando oscilación, rotación y álgebra lineal compleja.