Buscar
• Donaciones
• Crear una cuenta
• Acceder
Contenidos
ocultar
Inicio
Ejemplos y consecuencias
Corolario sobre polinomios de grado impar
Demostración
Referencias
•
Enlaces externos
Teorema de la raíz conjugada compleja
• Artículo
• Discusión
• Leer
• Editar
• Ver historial
Herramientas
Apariencia
ocultar
Texto
•
Pequeño
Estándar
Grande
Anchura
Estándar
Ancho
Color (beta)
Automático
Claro
Oscuro
En matemáticas, el teorema de la raíz conjugada compleja establece que si P es
un polinomio de una variable con coeficientes reales, y a + bi es
una raíz de P con a y b números reales, entonces su conjugado a − bi también es una
raíz de P.[1]
De este teorema (y del teorema fundamental del álgebra) se deduce que si el grado de
un polinomio real es impar, debe tener al menos una raíz real.[2] Este hecho también
se puede probar utilizando el teorema del valor intermedio.
Ejemplos y consecuencias
• El polinomio x2 + 1 = 0 tiene raíces ±i.
• Cualquier matriz cuadrada real de orden impar tiene al menos un valor
propio real. Por ejemplo, si la matriz es ortogonal, entonces 1 o −1 es un valor
propio.
• El polinomio
𝑥 3 − 7𝑥 2 + 41𝑥 − 87
tiene raíces
3,2 + 5𝑖, 2 − 5𝑖,
y por lo tanto se puede factorizar como
(𝑥 − 3)(𝑥 − 2 − 5𝑖)(𝑥 − 2 + 5𝑖).
Al calcular el producto de los dos últimos factores, las partes imaginarias se
cancelan y se obtiene
(𝑥 − 3)(𝑥 2 − 4𝑥 + 29).
Los factores no reales vienen en pares que cuando se multiplican dan polinomios
cuadráticos con coeficientes reales. Dado que cada polinomio con coeficientes
complejos se puede factorizar en factores de primer grado (que es una forma de
expresar el teorema fundamental del álgebra), se deduce que cada polinomio con
coeficientes reales se puede factorizar en factores de grado no superiores a 2
(solamente de primer grado y factores cuadráticos).
• Si las raíces son a+bi y a-bi, componen la forma cuadrática
𝑥 2 − 2𝑎𝑥 + (𝑎2 + 𝑏 2 ) .
Si la tercera raíz es c, se convierte en
(𝑥 2 − 2𝑎𝑥 + (𝑎2 + 𝑏 2 ))(𝑥 − 𝑐)
= 𝑥 3 + 𝑥 2 (−2𝑎 − 𝑐) + 𝑥(2𝑎𝑐 + 𝑎2 + 𝑏 2 ) − 𝑐(𝑎2 + 𝑏 2 ) .
Corolario sobre polinomios de grado impar
Del presente teorema y del teorema fundamental del álgebra se deduce que si el
grado de un polinomio real es impar, debe tener al menos una raíz real.[2]
Esto se puede probar de la siguiente manera.
• Dado que las raíces complejas no reales vienen en pares conjugados, hay un
número par de ellas;
• Pero un polinomio de grado impar tiene un número impar de raíces;
• Por lo tanto, algunos de ellos deben ser reales.
Esto requiere cierto cuidado en presencia de raíces múltiples; pero una raíz compleja
y su conjugado tienen la misma multiplicidad (y este lema no es difícil de probar).
También se puede solucionar considerando solo polinomios irreducibles; cualquier
polinomio real de grado impar debe tener un factor irreducible de grado impar, el que
(sin raíces múltiples) debe tener una raíz real según el razonamiento anterior.
Este corolario también se puede probar directamente utilizando el teorema del valor
intermedio.
Demostración
Una prueba del teorema es la siguiente:[2]
Considérese el polinomio
𝑃(𝑧) = 𝑎0 + 𝑎1 𝑧 + 𝑎2 𝑧 2 + ⋯ + 𝑎𝑛 𝑧 𝑛
donde todos los ar son reales. Supóngase que algún número complejo ζ es una raíz
de P, es decir, P (ζ) = 0. Es necesario demostrar que
𝑃(𝜁) = 0
también.
Si P (ζ) = 0, entonces
𝑎0 + 𝑎1 𝜁 + 𝑎2 𝜁 2 + ⋯ + 𝑎𝑛 𝜁 𝑛 = 0
que se puede poner como
∑𝑛𝑟=0 𝑎𝑟 𝜁 𝑟 = 0.
Ahora
𝑃(𝜁) = ∑𝑛𝑟=0 𝑎𝑟 (𝜁)𝑟
y dadas las propiedades de los conjugados complejos,
𝑛
∑𝑛𝑟=0 𝑎𝑟 (𝜁)𝑟 = ∑𝑛𝑟=0 𝑎𝑟 𝜁 𝑟 = ∑ 𝑎𝑟 𝜁 𝑟 = ∑𝑛𝑟=0 𝑎𝑟 𝜁 𝑟 .
𝑟=0
Considerando que
∑𝑛𝑟=0 𝑎𝑟 𝜁 𝑟 = 0
entonces resulta que
∑𝑛𝑟=0 𝑎𝑟 (𝜁)𝑟 = 0 = 0.
Es decir,
𝑃(𝜁) = 𝑎0 + 𝑎1 𝜁 + 𝑎2 (𝜁)2 + ⋯ + 𝑎𝑛 (𝜁)𝑛 = 0.
Téngase en cuenta que esto funciona solo porque los ar son reales, es decir, 𝑎𝑟 = 𝑎𝑟
. Si alguno de los coeficientes fuera no real, las raíces no vendrían
necesariamente en pares conjugados.
Referencias
1. Anthony G. O'Farell and Gary McGuire (2002). «Complex numbers,
8.4.2 Complex roots of real polynomials». Maynooth Mathematical
Olympiad Manual. Logic Press. p. 104. ISBN 0954426908. Preview
available at Google books
2. Alan Jeffrey (2005). «Analytic Functions». Complex Analysis and
Applications. CRC Press. pp. 22-23. ISBN 158488553X.
Enlaces externos
