Raíz de un polinomio
En matemáticas, una raíz de un polinomio P(X) es un valor α tal que P(α) = 0. Por lo tanto, es una solución de la ecuación polinómica P(x) = 0 para la incógnita x, o también un cero de la función polinómica asociada.
Un polinomio distinto de cero con coeficientes en un determinado cuerpo puede tener raíces solo en un cuerpo «más grande», pero nunca tiene un número de raíces mayor que su grado. Por ejemplo (X2 - 2 = 0), que es de grado 2 y con coeficientes racionales, no tiene raíces racionales, pero tiene dos raíces en los números reales ℝ (y por lo tanto, también en los números complejos ℂ). El teorema fundamental del álgebra indica que cualquier polinomio de grado n con coeficientes complejos admite n raíces complejas (no necesariamente distintas).
La noción de raíz se generaliza, bajo el nombre de cero, a un polinomio de varias variables.[1]
Definiciones
Considérese un polinomio P(X) con una variable denotada comoX, con coeficientes en un cuerpo o más generalmente en un anillo conmutativo A (los coeficientes pueden por lo tanto pertenecer a un subanillo).
Definición
|
Así, el polinomio (X2 - 2 = 0), con coeficientes en ℚ (y por lo tanto, también en ℝ o ℂ), no tiene ninguna raíz en ℚ pero tiene dos en ℝ (√2 y –√2) (y por lo tanto, también en ℂ). De hecho, si se sustituye √2 o –√2 por X en el polinomio, se obtiene 0.
Etimología: El término raíz proviene de las traducciones latinas de Robert de Chester y Gerardo de Cremona del término gizr. La palabra gizr significa 'raíz', y se traduce al latín como radix. El término gizr es utilizado por el matemático de origen persa del siglo VIII Al-Juarismi, en su tratado Kitâb al-jabr wa al-muqâbala, obra que se ocupó por primera vez de forma exhaustiva del cálculo de las raíces reales de la ecuación de segundo grado.[3]
Definición alternativa
|
De hecho, si P(X) = (X - α) Q(X), entonces P(α) = 0 y viceversa, si P(α) = 0 entonces P(X) es igual a P(X) - P(α), combinación lineal de polinomios de la forma Xk - αk, todos divisibles por X – α.
En el ejemplo elegido, la igualdad:
es otra forma de denotar que √2 y –√2 son de hecho las dos raíces del polinomio.
Definiciones relacionadas
El simple hecho de que el polinomio (X - α) sea unitario permite (sin necesidad de asumir la integridad en A) definir las siguientes nociones:
|
El polinomio (X2 - 2) es separable, es decir, no tiene raíces múltiples. Además, se divide en ℝ, en el siguiente sentido:
|
P es entonces distinto de cero, y su coeficiente dominante es el producto de los coeficientes dominantes de estos polinomios de primer grado. De manera más general, se dice que un polinomio distinto de cero de L[X] se divide en L si es el producto de una constante y un producto (que puede ser vacío) de polinomios unitarios de primer grado. Tal descomposición es entonces única: cada término constante de uno de estos polinomios unitarios de primer grado es igual al opuesto de una raíz de P en L, y si esta raíz es de orden m, este factor se repite m veces. Por lo tanto, el número de estos factores es igual al grado de P.
Existencia de raíces
|
Este es una aplicación del teorema del valor intermedio.
Sea K un cuerpo conmutativo y P un polinomio con una variable y con coeficientes en K.
Una extensión de K es un cuerpo que contiene a K; por tanto, ℝ y ℂ son extensiones de ℚ.
Surge una pregunta natural: si L1 y L2 son dos extensiones de K en las que se divide P, las raíces, vistas como elementos de L1, ¿son "equivalentes" a las raíces vistas como elementos de L2? Esta equivalencia existe: existe en L1 una sub-extensión "más pequeña", llamada cuerpo de descomposición de P, que contiene todas las raíces de P, e igualmente en L2 , y estas dos sub-extensiones de K son idénticas. En el ejemplo K = ℚ, P = X2 - 2, este cuerpo de descomposición es el conjunto de números de la forma a + b √2, donde a y b son números racionales. Este conjunto está identificado (por un isomorfismo no único) con un cuerpo único de ℝ y del cuerpo ℚ de números algebraicos. Así, el par de raíces (√2, –√2) incluido en ℝ puede considerarse idéntico al incluido en ℚ.
|
El cuerpo L es tal que el polinomio P está dividido; por otro lado, otros polinomios con coeficientes en K no necesariamente se dividen en L. A fortiori, un polinomio con coeficientes en L tampoco se divide necesariamente en L. Se dice que un cuerpo L es algebraicamente cerrado si todo polinomio con coeficientes en L se divide en L.
|
El cuerpo ℂ está algebraicamente cerrado, un resultado conocido como teorema fundamental del álgebra. El cierre algebraico de ℝ es ℂ. El de ℚ es el subcuerpo ℚ.
Criterio diferencial para la multiplicidad de una raíz
|
Demostración |
Por hipótesis, P(X) es de la forma (X – α)m Q(X) con m > 0 y Q(α) ≠ 0. Derivando, se obtiene P'(X) = (X – α)m–1R(X), con R(X) = mQ(X) + (X – α)Q'(X) y entonces R(α) = mQ(α), lo que prueba el primer punto. Los otros dos se deducen por inducción. Otro método es usar la regla de Leibniz, que también se aplica a las derivadas formales. |
En particular:
- Una raíz de P es múltiple si y solo si también es raíz de P';
- Si A es un cuerpo de característica 0, entonces para que α sea una raíz de orden r de P, es necesario y suficiente que P(α), P'(α), P''(α),…, P(r–1) (α) sean cero y P(r)(α) no sea cero.
En un cuerpo de característica p> 0, este último criterio no es válido porque el polinomio derivado de Xp es nulo.
Relaciones entre los coeficientes y las raíces
Un polinomio de grado en un cuerpo K se escribe en su forma más general:
donde los se denominan coeficientes de .
Si está dividido, también es posible definirlo gracias a sus raíces, es decir, al conjunto de valores de que cancelan .[6] Así, el teorema fundamental del álgebra garantiza que cualquier polinomio de grado con coeficientes complejos admite exactamente raíces en , posiblemente múltiples (en por otro lado, esto no siempre es cierto). De ello se deduce que un polinomio con coeficientes complejos se puede reescribir como:
con siendo las raíces de , que pueden ser múltiples. Las relaciones entre los coeficientes y las raíces llevan el nombre de François Viète, el primer matemático en enunciarlas en el caso de las raíces positivas.
Relaciones de Viète
Polinomios simétricos
Se define el polinomio simétrico -ésimo, denotado de la forma , como la suma de sus elementos multiplicada por . Por ejemplo, los polinomios simétricos asociados a las variables , , y son:
- ,
- ,
- ,
- .
Más generalmente,
- ,
- ,
- ,
- .
Teorema
Sea un polinomio dividido de grado y sus raíces , que pueden ser múltiples. Entonces,
Estas relaciones se prueban desarrollando el producto e identificando los coeficientes de expansión (que se expresan a partir de los polinomios simétricos de las raíces) con los coeficientes de .
Ejemplos
- Caso . Sea y sean sus raíces. Entonces:[7]
- ,
- .
- Caso . Sea y sean sus raíces . Entonces,[8]
- ,
- ,
- .
Sumas de Newton
Ejemplo introductorio
Sea el polinomio dado , con , , y sus raíces. Se desea determinar la suma . Para ello, se dispone de la siguiente identidad:
para que, según las relaciones de Viète:
Teorema
Las sumas de Newton son una generalización de este principio. Se establece , donde son las raíces de (en particular, ). El método presentado en el ejemplo está generalizado, pero los cálculos se vuelven complicados. Por otro lado, se puede demostrar directamente que,[9] para :
- ,
- ,
- ,
- .
Continuidad de las raíces
Debido a su expresión polinomial, los coeficientes de un polinomio de coeficientes complejos son funciones continuas de sus raíces. Lo contrario es cierto pero más difícil de demostrar. Considérese la aplicación definida por:
donde son los polinomios simétricos elementales definidos a partir de .
reúne la lista de los coeficientes de los polinomios mónicos (excepto el coeficiente dominante igual a 1). Según el teorema fundamental del álgebra, esta aplicación es sobreyectiva. F es continua, ya que los coeficientes del polinomio son funciones continuas de las raíces. La factorización canónica de F conduce a la introducción de la siguiente relación de equivalencia en el conjunto inicial de F:
donde es el grupo simétrico en el conjunto de los índices.
Ahora, se denota como al conjunto cociente. Se dota al conjunto con una topología cociente. F se factoriza en la forma , donde es la proyección canónica de en , y F}} la aplicación de en que, a una clase de equivalencia representada por , asocia la secuencia de polinomios simétricos elementales correspondientes. Entonces, se puede demostrar que F es un homeomorfismo entre el conjunto de las raíces del polinomio (salvo permutaciones) y el conjunto de los coeficientes del polinomio.[10]
Cálculo de raíces
Se puede usar el método de Muller para calcular las raíces de un polinomio. Se interpola el polinomio P mediante un polinomio de grado dos: según el polígono interpolante de Lagrange. Los coeficientes se determinan evaluando P en tres puntos ():
con:
Pero usando este polinomio de aproximación, la elección de la raíz de este polinomio es problemática. Müller tuvo entonces la idea de utilizar el mismo polinomio, pero en la forma: con que tenderá hacia la raíz. Una característica especial de este algoritmo es que puede ser un número complejo. Coeficientes:
Este método es autoconvergente: el cálculo de la raíz se irá afinando poco a poco. Por lo tanto, se puede comenzar con , y y . Siempre que el polinomio no desaparezca en , se pasa a la siguiente iteración con:
- , donde puede ser negativo o complejo.
- si
- , o de lo contrario
Finalmente, el cero es
Referencias
- ↑ a b c d N. Bourbaki (2007). Algèbre: Chapitre 4 à 7. Springer Science & Business Media. pp. 14 de 422. ISBN 9783540344995. Consultado el 30 de abril de 2021.
- ↑ Gilles Godefroy (1997). Aventure des nombres (L'). Odile Jacob. pp. 211 de 237. ISBN 9782738104229. Consultado el 30 de abril de 2021.
- ↑ La première inconnue par l'IREM de Poitiers; p. 27.
- ↑ N. Bourbaki,, p. A.IV.16
- ↑ Mathématiques L3. Pearson Education France. Consultado el 30 de abril de 2021. . Proposición 10.25.
- ↑ Si no está dividido, basta con trabajar sobre la clausura algebraica de K para que lo sea.
- ↑ Ecuaciones y funciones cuadráticas / Suma y producto de raíces / Relaciones coeficiente-raíz para un polinomio cuadrático: Wikiversité
- ↑ Ecuación de tercer grado / Información general sobre ecuaciones de tercer grado / Suma y producto de raíces / Relaciones coeficiente-raíz para un polinomio de grado 3 Wikiversité
- ↑ «Expression de la somme des puissances semblables des racines d'une équation, en fonction des coefficients». Nouvelles annales de mathématiques. 2 14: 259-265. 1875. Consultado el 1 de octubre de 2010.
- ↑ Vincent Pilaud (2006). «Continuité des racines d’un polynôme». Consultado el 11/04/2018.
Véase también
- Raíz de un polinomio real o complejo
- Incógnita
- Soluciones complejas de ecuaciones polinómicas con coeficientes reales
- Ecuación algebraica
- Función polinómica
- Método de Muller
- Teorema de Rouché
Enlaces externos
Portal:Matemáticas. Contenido relacionado con Matemáticas.
- Raíces completas de un polinomio con coeficientes enteros en gecif.net
Datos: Q20113351