Análise Complexa · Demonstração Completa e Detalhada
Fórmula de Euler
Como a exponencial complexa, o cosseno e o seno se unem numa única equação.
Quem foi Euler e por que esta fórmula importa?
Leonhard Euler (1707–1783) foi o matemático mais prolífico da história, com mais de 800 publicações. A fórmula que leva seu nome apareceu em sua obra Introductio in analysin infinitorum (1748) e conecta três mundos aparentemente separados da matemática:
A função eˣ é a mais importante da análise matemática. Ela cresce mais rápido do que qualquer polinômio e é a única função (além do zero) que é sua própria derivada.
O cos θ e o sin θ descrevem movimento circular, ondas, vibrações. São periódicos — voltam ao mesmo valor a cada 2π radianos.
O número i é definido por i² = −1. Isso parece impossível para números reais, mas expande o sistema numérico para o plano complexo.
A fórmula de Euler revela que esses três mundos não são independentes — eles são faces diferentes da mesma estrutura matemática.
A fórmula é fundamental em engenharia elétrica (circuitos AC), mecânica quântica, processamento de sinais (FFT e Transformada de Fourier), computação gráfica (rotações 2D e 3D), teoria dos números e criptografia. Entender a demonstração é entender por que essas áreas se conectam.
A demonstração que faremos usa séries de potências. São necessários 8 passos, cada um construindo sobre o anterior.
Séries de Taylor e Maclaurin
A chave da demonstração é um resultado poderoso do cálculo: qualquer função "bem comportada" pode ser escrita como uma soma infinita de potências de x. Esta representação chama-se Série de Maclaurin (caso especial da Série de Taylor centrada em x = 0).
f(n)(0) = a n-ésima derivada de f, avaliada em x = 0. Por exemplo, f(0)(0) = f(0), f(1)(0) = f'(0), etc.
n! (lê-se "n fatorial") = produto de todos os inteiros de 1 até n. Convenção: 0! = 1.
Exemplos de fatoriais: 1! = 1, 2! = 2, 3! = 6, 4! = 24, 5! = 120, 6! = 720
A ideia é que, se você conhece todos os valores das derivadas de f em um único ponto (x = 0), pode reconstruir f em qualquer lugar. O n-ésimo coeficiente da série captura o "comportamento de ordem n" da função naquele ponto.
Matematicamente, a convergência desta série precisa ser provada para cada função — mas para eˣ, cos x e sin x, a série converge para todo x real ou complexo, o que é fundamental para a demonstração de Euler.
Nos próximos passos calcularemos a série de Maclaurin para eˣ, cos x e sin x separadamente.
Série de Maclaurin para eˣ
A função exponencial eˣ possui uma propriedade única e extraordinária: sua derivada é ela própria.
Esta é a propriedade que define a função exponencial natural. Ela é a única função (além do zero) satisfazendo f'(x) = f(x) com f(0) = 1. É possível demonstrar isso a partir da definição de e como limite: e = lim(1 + 1/n)ⁿ quando n → ∞.
Avaliando em x = 0: Como e⁰ = 1, todas as derivadas de eˣ avaliadas em 0 valem 1:
Substituindo na fórmula de Maclaurin (cada coeficiente f(n)(0)/n! = 1/n!):
Esta série de potências converge para todo x — real ou complexo. Isso é fundamental: podemos substituir x = iθ (um número imaginário puro) e a série ainda converge para o valor correto de eiθ. É esse passo que tornará possível a demonstração de Euler.
A convergência para números complexos é garantida pelo critério da razão, já que o raio de convergência da série de eˣ é infinito.
Série de Maclaurin para cos x
Para cos x, precisamos calcular sucessivas derivadas e avaliá-las em x = 0. As derivadas do cosseno seguem um ciclo de 4 passos:
A derivada de cos x é −sin x, a derivada de sin x é cos x. Então: d/dx(cos x) = −sin x → d/dx(−sin x) = −cos x → d/dx(−cos x) = sin x → d/dx(sin x) = cos x. Em 4 passos voltamos ao início. Isso acontece porque a "frequência angular" de cos e sin é 1, e derivar quatro vezes multiplica a fase por (−1)² = 1.
Calculando cada derivada em x = 0 (usando cos 0 = 1 e sin 0 = 0):
| n | f(n)(x) | f(n)(0) | Coeficiente xⁿ/n! |
|---|---|---|---|
| 0 | cos x | 1 | +1 |
| 1 | −sin x | 0 | 0 |
| 2 | −cos x | −1 | −x²2! |
| 3 | sin x | 0 | 0 |
| 4 | cos x | 1 | +x⁴4! |
| 5 | −sin x | 0 | 0 |
| 6 | −cos x | −1 | −x⁶6! |
| 7 | sin x | 0 | 0 |
| 8 | cos x | 1 | +x⁸8! |
Quando n é ímpar, a n-ésima derivada de cos x em x = 0 é sempre ±sin(0) = 0. O cosseno é uma função par — simétrica em relação à origem — portanto sua série de Maclaurin só tem potências pares de x.
Ficamos apenas com os termos de expoente par, com sinais alternados:
O fator (−1)ⁿ produz a alternância de sinais: +, −, +, −, ... O denominador (2n)! são os fatoriais dos números pares: 0!, 2!, 4!, 6!, ...
Série de Maclaurin para sin x
Para sin x, as derivadas seguem o mesmo ciclo de 4 passos, mas começam em uma posição diferente:
Avaliando em x = 0 (sin 0 = 0, cos 0 = 1):
| n | f(n)(x) | f(n)(0) | Coeficiente xⁿ/n! |
|---|---|---|---|
| 0 | sin x | 0 | 0 |
| 1 | cos x | 1 | +x |
| 2 | −sin x | 0 | 0 |
| 3 | −cos x | −1 | −x³3! |
| 4 | sin x | 0 | 0 |
| 5 | cos x | 1 | +x⁵5! |
| 6 | −sin x | 0 | 0 |
| 7 | −cos x | −1 | −x⁷7! |
| 8 | sin x | 0 | 0 |
Para sin x, agora são os termos de n par que valem zero (sin 0 = 0). O seno é uma função ímpar — antisimétrica em relação à origem — portanto sua série só tem potências ímpares de x. Isso contrasta simetricamente com o cosseno.
Denominadores são os fatoriais dos ímpares: 1!, 3!, 5!, 7!, ... O expoente 2n+1 garante que só aparecem potências ímpares.
Observe: as séries de cos e sin juntas cobrem todos os termos da série de eˣ — os termos pares vão para cos, os ímpares vão para sin. Falta apenas entender como os sinais se encaixam.
Potências de i — O Ciclo de 4
Antes de substituir x = iθ na série, precisamos entender como as potências de i se comportam. A definição é:
Nos números reais, todo quadrado é positivo ou zero. Não existe número real cujo quadrado seja −1. A unidade imaginária i é uma extensão do sistema numérico que introduz exatamente essa possibilidade. No plano complexo, i representa uma rotação de 90° em sentido anti-horário — e rotacionar duas vezes 90° é uma rotação de 180°, que equivale a multiplicar por −1.
Calculando as potências sucessivas de i usando apenas i² = −1:
| Potência | Cálculo detalhado | Resultado | Interpretação geométrica |
|---|---|---|---|
| i⁰ | Qualquer número elevado a 0 = 1 | 1 | 0° — no eixo real positivo |
| i¹ | i | i | 90° — no eixo imaginário positivo |
| i² | Por definição: i · i = −1 | −1 | 180° — no eixo real negativo |
| i³ | i² · i = −1 · i = −i | −i | 270° — no eixo imaginário negativo |
| i⁴ | i³ · i = −i · i = −i² = −(−1) = 1 | 1 | 360° = 0° — ciclo completo! |
| i⁵ | i⁴ · i = 1 · i = i | i ← reinicia | 90° novamente |
| i⁶ | i⁴ · i² = 1 · (−1) = −1 | −1 | 180° novamente |
| i⁷ | i⁴ · i³ = 1 · (−i) = −i | −i | 270° novamente |
As potências de i se repetem a cada 4 passos. A regra geral é: iⁿ depende apenas do resto de n dividido por 4.
Padrão dos sinais por posição: nas posições 0, 4, 8, 12, ... temos +1 (real positivo). Nas posições 1, 5, 9, 13, ... temos +i (imaginário positivo). Nas posições 2, 6, 10, 14, ... temos −1 (real negativo). Nas posições 3, 7, 11, 15, ... temos −i (imaginário negativo). Este padrão é exatamente o que vai casar com os sinais das séries de cos e sin!
Quando elevamos iθ às potências 0, 1, 2, 3, 4, ... os fatores iⁿ vão sendo multiplicados. Esse ciclo de sinais vai produzir exatamente os sinais alternados que aparecem nas séries de cos e sin. Não é coincidência — é a razão mais profunda pela qual a fórmula de Euler funciona.
Substituindo x = iθ na série de eˣ
Agora vem o passo central da demonstração. Substituímos x = iθ na série de Maclaurin de eˣ que obtivemos no Passo 2.
Porque a série de eˣ converge para todo valor de x — inclusive complexos. Quando fazemos x = iθ (com θ real), estamos calculando eiθ, que é um número complexo bem definido. A série ainda converge e dá o valor correto.
Partimos da série de eˣ:
Substituindo x → iθ e expandindo cada potência de (iθ)ⁿ = iⁿ · θⁿ usando o ciclo do Passo 5:
Reunindo todos os termos:
Separando Parte Real e Parte Imaginária
Observe que na série do Passo 6, os termos se dividem naturalmente em dois grupos:
Os termos com n = 0, 2, 4, 6, 8, ... não têm fator i — são números reais:
Os termos com n = 1, 3, 5, 7, ... têm fator i. Colocando i em evidência:
Portanto eiθ pode ser reescrito como:
Uma série complexa convergente pode ser reorganizada separando termos reais de imaginários, pois a soma de uma série convergente não depende do agrupamento dos termos (para séries absolutamente convergentes). Isso vale para a série de eiθ, que converge absolutamente para todo θ.
Olhe com atenção para os Passos 3 e 4! A parte real é exatamente a série de cos θ e o coeficiente da parte imaginária é exatamente a série de sin θ, ambas com x substituído por θ.
Reconhecendo cos θ e sin θ — Conclusão
Agora comparamos as séries lado a lado:
✅ Idênticas!
✅ Idênticas!
Portanto podemos substituir cada série pelo seu nome e obter a Fórmula de Euler:
A prova mostrou que a fórmula de Euler não é uma coincidência nem um truque — ela é uma consequência direta de:
1. A série de eˣ ter todos os termos de qualquer potência (pares e ímpares).
2. O ciclo das potências de i (período 4) gerar sinais alternados que se encaixam perfeitamente com os sinais das séries de cos e sin.
3. As séries de cos e sin "dividirem" os termos da série de eˣ exatamente em duas partes: pares (cos) e ímpares (sin).
Em outras palavras, e, cos, sin e i são manifestações diferentes de uma mesma estrutura algébrica subjacente.
Visualizando no Plano Complexo
A Fórmula de Euler tem uma interpretação geométrica belíssima. No plano complexo, um número complexo a + bi é representado como o ponto (a, b). Portanto eiθ = cos θ + i·sin θ é o ponto:
Algébrica: eiθ = cos θ + i·sin θ — relação entre exponencial complexa e trigonometria.
Geométrica: eiθ é o ponto na circunferência unitária com ângulo θ — toda rotação no plano é uma multiplicação por eiθ.
Física: eiωt descreve oscilação harmônica no tempo. Multiplicar um número complexo por eiθ rotaciona-o por θ no plano complexo sem alterar seu módulo.
A Identidade de Euler — eiπ + 1 = 0
Quando substituímos θ = π (equivalente a 180°) na Fórmula de Euler, obtemos o resultado mais famoso da matemática:
cos π = −1 (180° no plano complexo, ponto (−1, 0)) e sin π = 0
Esta equação reúne as 5 constantes mais importantes da matemática numa única relação:
≈ 2,71828
imaginária
≈ 3,14159
multiplicativa
aditiva
"A fórmula mais notável da matemática" — conecta cinco das mais importantes constantes de uma forma completamente inesperada. Antes de ver a demonstração, parece impossível que exponencial, trigonometria e números imaginários possam se combinar num resultado tão limpo. Depois da demonstração, parece inevitável.
Mapa Completo da Demonstração
"Senhores, isso é certamente verdadeiro, é absolutamente paradoxal;
não podemos compreendê-lo, e não sabemos o que significa.
Mas provamos, e portanto sabemos que deve ser a verdade."
— Benjamin Peirce, sobre a Identidade de Euler