Álgebra · Números Complexos · Demonstração Completa
Teorema das Raízes Complexas Conjugadas
Raízes complexas de polinômios com coeficientes reais sempre aparecem em pares conjugados.
e z₀ = a + bi (b ≠ 0) é raiz de p(z),
então z̄₀ = a − bi também é raiz de p(z).
O que é este teorema?
O Teorema das Raízes Complexas Conjugadas é um resultado fundamental da álgebra que conecta dois mundos: os polinômios com coeficientes reais e os números complexos. Em outras palavras, raízes complexas de polinômios reais sempre aparecem aos pares — cada raiz complexa vem acompanhada de sua conjugada.
Este teorema explica por que polinômios de grau ímpar com coeficientes reais sempre têm pelo menos uma raiz real — as raízes complexas não podem "se cancelar sozinhas", precisam aparecer em pares.
Na engenharia elétrica, as raízes de polinômios caracterizam circuitos e sistemas de controle. O teorema garante que certas simetrias sempre se preservam. Na física quântica e no processamento de sinais, o mesmo princípio aparece nas funções de transferência e nas frequências naturais.
No plano complexo, conjugar um número significa refletir sua parte imaginária em relação ao eixo real. O teorema diz que as raízes de polinômios reais sempre vêm em pares simétricos em relação ao eixo real — como imagens num espelho.
Revisão: Números Complexos
Para entender o teorema, precisamos dominar quatro conceitos sobre números complexos.
Um número complexo é um número da forma z = a + bi, onde:
· a ∈ ℝ é a parte real, denotada Re(z)
· b ∈ ℝ é a parte imaginária, denotada Im(z)
· i é a unidade imaginária, definida por i² = −1
O conjugado de z = a + bi é obtido trocando o sinal da parte imaginária:
Exemplos: o conjugado de 3 + 5i é 3 − 5i. O conjugado de −2 + i é −2 − i. Se z ∈ ℝ, então z̄ = z.
A conjugação é uma involução: conjugar duas vezes devolve o número original — (z̄)‾ = z.
Para quaisquer z, w ∈ ℂ, a conjugação respeita as operações aritméticas:
P2: (z · w)‾ = z̄ · w̄ (conjugado do produto = produto dos conjugados)
P3: Se c ∈ ℝ, então c̄ = c (real é seu próprio conjugado)
Estas três propriedades são a espinha dorsal da demonstração. P1 permite distribuir a conjugação sobre somas; P2 sobre produtos; P3 elimina a conjugação dos coeficientes reais.
Um polinômio com coeficientes reais tem a forma:
Exemplos: p(z) = z² + 4, p(z) = z³ − 2z + 1, p(z) = z⁴ + 3z² − z + 7.
O teorema exige que todos os coeficientes sejam reais. Não vale para p(z) = z² + iz + 1, pois o coeficiente i não é real.
O Teorema
com coeficientes reais (aₖ ∈ ℝ para todo k).
Se z₀ = a + bi, com b ≠ 0, é raiz de p(z),
então z̄₀ = a − bi também é raiz de p(z).
H1 — O polinômio p(z) tem todos os coeficientes reais: aₖ ∈ ℝ
H2 — z₀ = a + bi é raiz de p(z): p(z₀) = 0
H3 — b ≠ 0 (z₀ é genuinamente complexo, não real)
Sob as hipóteses acima, o conjugado z̄₀ = a − bi satisfaz:
Ou seja, z̄₀ é igualmente raiz de p(z).
então p(z) não tem todos os coeficientes reais.
Ou seja: se um polinômio real tem uma raiz complexa que aparece sem sua conjugada, os coeficientes não podem ser todos reais.
1. Não vale para coeficientes complexos: p(z) = z² − iz tem raiz z = i mas z̄ = −i não é raiz.
2. Raízes reais não formam pares conjugados (pois ā = a quando b = 0).
3. O teorema não diz quantas raízes o polinômio tem — só que se uma for complexa não-real, a conjugada também é.
Prova — Passo a Passo
A prova usa as propriedades P1, P2 e P3 da conjugação. A ideia central: aplicar conjugação a ambos os lados de p(z₀) = 0 e usar P1, P2, P3 para transformar p(z₀)‾ em p(z̄₀).
Esta cadeia de igualdades é a prova inteira. Os passos a seguir justificam cada igualdade.
- Hipótese de partida — p(z₀) = 0 Por hipótese, z₀ = a + bi é raiz de p(z). Substituindo:p(z₀) = aₙz₀ⁿ + aₙ₋₁z₀ⁿ⁻¹ + ··· + a₁z₀ + a₀ = 0Esta é nossa equação de partida.
- Aplicar conjugação a ambos os lados Como 0 é real, seu conjugado é ele mesmo: 0‾ = 0. Logo:p(z₀) = 0 ⟹ p(z₀)‾ = 0‾ = 0Expandindo o lado esquerdo com a definição de p(z₀):(aₙz₀ⁿ + aₙ₋₁z₀ⁿ⁻¹ + ··· + a₁z₀ + a₀)‾ = 0
- Usar P1 — distribuir a conjugação pela soma Pela propriedade P1, o conjugado de uma soma é a soma dos conjugados:(aₙz₀ⁿ)‾ + (aₙ₋₁z₀ⁿ⁻¹)‾ + ··· + (a₁z₀)‾ + (a₀)‾ = 0
- Usar P2 e P3 — separar coeficientes das potências Pela propriedade P2, o conjugado de um produto é o produto dos conjugados. Pela propriedade P3, como aₖ ∈ ℝ, temos āₖ = aₖ:āₙ·(z₀ⁿ)‾ + āₙ₋₁·(z₀ⁿ⁻¹)‾ + ··· + ā₁·z̄₀ + ā₀ = 0Este é o momento central — usamos decisivamente que os coeficientes são reais.
↓ como āₖ = aₖ (coeficientes reais):
aₙ·(z₀ⁿ)‾ + aₙ₋₁·(z₀ⁿ⁻¹)‾ + ··· + a₁·z̄₀ + a₀ = 0 - Usar P2 iterativamente — conjugado da potência Aplicando P2 repetidamente: (z₀ · z₀)‾ = z̄₀ · z̄₀, portanto (z₀ᵏ)‾ = z̄₀ᵏ para todo k ∈ ℕ:(z₀²)‾ = z̄₀² (z₀³)‾ = z̄₀³ ··· (z₀ᵏ)‾ = z̄₀ᵏSubstituindo no resultado do Passo 4:aₙ·z̄₀ⁿ + aₙ₋₁·z̄₀ⁿ⁻¹ + ··· + a₁·z̄₀ + a₀ = 0
- Reconhecer p(z̄₀) — conclusão ∎ A expressão obtida é exatamente a definição de p avaliado em z̄₀:p(z̄₀) = aₙ·z̄₀ⁿ + aₙ₋₁·z̄₀ⁿ⁻¹ + ··· + a₁·z̄₀ + a₀ = 0Portanto z̄₀ é raiz de p(z). ∎
Exemplos Resolvidos
Resolvendo z² = −4: z = ±2i. As raízes são z₁ = 2i e z₂ = −2i = z̄₁. ✓
p(−2i) = (−2i)² + 4 = −4 + 4 = 0 ✓
Discriminante: Δ = 16 − 52 = −36 < 0. Raízes complexas:
z₁ = 2 + 3i z₂ = 2 − 3i = z̄₁
Verificação de p(2+3i):
= (4 + 12i − 9) − 8 − 12i + 13
= (−5 + 12i) − 8 − 12i + 13 = 0 ✓
Dado z₀ = 1 − 2i, o teorema exige que 1 + 2i também seja raiz. O polinômio de menor grau com coeficientes reais:
= ((z−1) + 2i)((z−1) − 2i)
= (z−1)² − (2i)²
= (z−1)² + 4
= z² − 2z + 5
Todos os coeficientes (1, −2, 5) são reais ✓. Note que o produto (z−z₀)(z−z̄₀) sempre gera um fator quadrático real da forma (z−a)² + b².
Sabendo que z₁ = 1 + √2·i é raiz, pelo teorema z₂ = 1 − √2·i também é raiz. O fator correspondente:
Dividindo p(z) por (z² − 2z + 3):
As outras duas raízes são z₃ = 1 e z₄ = 2 — reais. O teorema não exige que todas as raízes sejam complexas.
| Polinômio p(z) | Raiz z₀ | Conjugada z̄₀ | Par |
|---|---|---|---|
| z² + 1 | i | −i | ±i |
| z² + 4 | 2i | −2i | ±2i |
| z² − 2z + 5 | 1 + 2i | 1 − 2i | 1 ± 2i |
| z² + 2z + 10 | −1 + 3i | −1 − 3i | −1 ± 3i |
| z⁴ + 4z² + 4 | √2·i | −√2·i | ±√2i (mult. 2) |
Plano Complexo Interativo
Clique em qualquer ponto do plano para posicionar uma raiz. O conjugado aparece automaticamente como reflexo no eixo real.
Consequências do Teorema
O Teorema das Raízes Conjugadas gera uma cascata de resultados importantes sobre polinômios com coeficientes reais.
Se z₀ é raiz de multiplicidade m de p(z), então z̄₀ também é raiz de multiplicidade m.
As raízes complexas vêm em pares — contribuem com um número par de raízes. Se o grau é ímpar, o total de raízes é ímpar, logo pelo menos uma deve ser real.
raízes complexas contribuem em número par
⟹ pelo menos 1 raiz real
Por isso todo polinômio cúbico real tem pelo menos uma raiz real.
Todo polinômio com coeficientes reais pode ser escrito como produto de fatores lineares e quadráticos irredutíveis reais:
Cada par conjugado α ± βi origina um fator quadrático real: (z−α)² + β² = z² − 2αz + (α²+β²).
O Teorema Fundamental da Álgebra (Gauss, 1799) garante que todo polinômio de grau n ≥ 1 tem exatamente n raízes complexas (contando multiplicidade). Combinando com o nosso teorema, um polinômio de grau n real tem:
• Raízes não-reais formam pares conjugados
• Se n é par: pode ter 0, 2, 4, …, n raízes reais
• Se n é ímpar: tem 1, 3, 5, …, n raízes reais (ao menos 1)
Em engenharia de controle e processamento de sinais, os polos de uma função de transferência são as raízes do denominador. O teorema garante que sistemas físicos reais sempre têm polos em pares conjugados:
Isso explica por que a resposta em frequência de qualquer sistema físico real é sempre simétrica em torno da frequência zero.