Polinomio libre de cuadrados

En matemáticas, un polinomio libre de cuadrados (también denominado polinomio sin cuadrados, polinomio sin raíces repetidas o polinomio sin raíces múltiples) es un polinomio definido sobre un cuerpo (o más generalmente, un dominio de integridad) que no tiene como divisor ningún cuadrado de un polinomio no constante.^[1]​ Se dice que un polinomio está libre de cuadrados si y solo si no tiene multiplicidad en un cuerpo algebraicamente cerrado que contiene sus coeficientes. Esto motiva que en aplicaciones de física e ingeniería, un polinomio libre de cuadrados se denomina comúnmente como un polinomio sin raíces repetidas.

En el caso de polinomios de una sola variable, la regla del producto implica que, si p² divide a f, entonces p divide a la derivada formal f ' de f. Lo contrario también es cierto en característica cero y para polinomios sobre un cuerpo finito (o, más generalmente, sobre un cuerpo perfecto). Es decir, en estos casos, un polinomio está libre de cuadrados si y solo si el máximo común divisor del polinomio y de su derivada es 1.

Una descomposición libre de cuadrados o factorización sin cuadrados de un polinomio es una factorización en potencias de polinomios libres de cuadrados

donde los a_k que no son constantes son polinomios libres de cuadrados coprimos dos a dos (aquí, dos polinomios se dice que son coprimos cuando su máximo común divisor es una constante; en otras palabras, que se verifica la coprimalidad sobre el cuerpo de fracciones de los coeficientes que se consideran).^[1]​ Todo polinomio distinto de cero de una factorización libre de cuadrados es única salvo por la multiplicación y división de los factores por constantes distintas de cero. La factorización libre de cuadrados es mucho más fácil de calcular que la factorización completa en factores irreducibles y, por lo tanto, a menudo se prefiere cuando la factorización completa no es realmente necesaria, como para la descomposición descomposición en fracciones simples y integración simbólica de fracciones. La factorización sin cuadrados es el primer paso de los algoritmos de factorización de polinomios desarrollados en sistemas algebraicos computacionales. Por tanto, el algoritmo de factorización libre de cuadrados es básico en el cálculo simbólico.

Sobre un cuerpo de característica 0, el cociente de ${displaystyle f}$ por su máximo común divisor con respecto a su derivada, es el producto de ${displaystyle a_{i}}$ en la descomposición sin cuadrados anterior. Sobre un cuerpo perfecto de característica distinta de cero p, este cociente es el producto de ${displaystyle a_{i}}$ tal que i no es un múltiplo de p. Los cálculos adicionales del máximo común divisor (MCD) y las divisiones exactas permiten calcular la factorización libre de cuadrados (consúltese factorización libre de cuadrados sobre un cuerpo finito). Con característica cero, se conoce un algoritmo mejor, el algoritmo de Yun, que se describe a continuación.^[1]​ Su complejidad computacional es, como máximo, el doble del cálculo del MCD del polinomio de entrada y su derivada. Más precisamente, si ${displaystyle T_{n}}$ es el tiempo necesario para calcular el MCD de dos polinomios de grado ${displaystyle n}$ y el cociente de estos polinomios por el MCD, entonces ${displaystyle 2T_{n}}$ es un límite superior del tiempo necesario para calcular la descomposición libre de cuadrados.

También existen algoritmos conocidos para el cálculo de la descomposición libre de cuadrados de polinomios, que proceden generalmente considerando un polinomio multivariable como un polinomio de una variable con coeficientes polinomiales, y aplicando recursivamente un algoritmo de una variable.^[2]​

Esta sección describe el algoritmo de Yun para la descomposición sin cuadrados, de polinomios de una variable sobre un cuerpo de característica 0.^[1]​ Procede mediante una sucesión de cálculos del MCD y divisiones exactas.

Por lo tanto, la entrada es un polinomio f distinto de cero, y el primer paso del algoritmo consiste en calcular el MCD a₀ de f y de su derivada formal f'.

Si

es la factorización deseada, se tiene que

y

Si se configuran ${displaystyle b_{1}=f/a_{0}}$, ${displaystyle c_{1}=f'/a_{0}}$ y ${displaystyle d_{1}=c_{1}-b_{1}'}$, se obtiene que

y

Iterando este proceso hasta que ${displaystyle b_{k+1}=1}$ se encuentran todos los ${displaystyle a_{i}.}$

Esto se formaliza en un algoritmo de la siguiente manera:

repetir
${displaystyle a_{i}:={ ext{MCD}}(b_{i},d_{i});quad b_{i+1}:=b_{i}/a_{i};quad c_{i+1}:=d_{i}/a_{i};quad i:=i+1;quad d_{i}:=c_{i}-b_{i}';}$
until ${displaystyle b=1;}$

El grado de ${displaystyle c_{i}}$ y ${displaystyle d_{i}}$ es menor en una unidad que el grado de ${displaystyle b_{i}.}$ Como ${displaystyle f}$ es el producto de ${displaystyle b_{i},}$ la suma de los grados de ${displaystyle b_{i}}$ es el grado de ${displaystyle f.}$ A medida que la complejidad de los cálculos y divisiones del MCD aumenta más que linealmente con el grado , se deduce que el tiempo de ejecución total del ciclo de "repetición" es menor que el tiempo de ejecución de la primera línea del algoritmo, y que el tiempo de ejecución total del algoritmo de Yun está limitado por el doble del tiempo necesario para calcular el MCD de ${displaystyle f}$ y de ${displaystyle f'}$ y el cociente de ${displaystyle f}$ y ${displaystyle f'}$ por su MCD.

En general, un polinomio no tiene raíz cuadrada. Más precisamente, la mayoría de los polinomios no se pueden escribir como el cuadrado de otro polinomio.

Un polinomio tiene una raíz cuadrada si y solo si todos los exponentes de la descomposición libre de cuadrados son pares. En este caso, la raíz cuadrada se obtiene dividiendo por 2 estos exponentes.

Por lo tanto, el problema de decidir si un polinomio tiene raíz cuadrada y de calcularla si existe, es un caso especial de factorización libre de cuadrados.

---