Teorema de la raíz conjugada compleja

si (a+bi) es una raíz de un polinomio, entonces su conjugado (a-bi) también lo es

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

editar
  • 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
 
tiene raíces
 
y por lo tanto se puede factorizar como
 
Al calcular el producto de los dos últimos factores, las partes imaginarias se cancelan y se obtiene
 
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
 .

Si la tercera raíz es c, se convierte en

 
 .

Corolario sobre polinomios de grado impar

editar

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

editar

Una prueba del teorema es la siguiente:[2]

Considérese el polinomio

 

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

 

también.

Si P (ζ) = 0, entonces

 

que se puede poner como

 

Ahora

 

y dadas las propiedades de los conjugados complejos,

 

Considerando que

 

entonces resulta que

 

Es decir,

 

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

editar
  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. a b c Alan Jeffrey (2005). «Analytic Functions». Complex Analysis and Applications. CRC Press. pp. 22-23. ISBN 158488553X. 

Enlaces externos

editar