Ver el código de «Máximo común divisor polinómico»

En álgebra, el '''MÁXIMO común divisor''' (frecuentemente abreviado como MCD) de dos [[polinomio]]s es otro polinomio del grado más alto posible, que es un [[Factorización|factor]] de los dos polinomios originales. Este concepto es análogo al de [[máximo común divisor]] de dos enteros.

En el caso importante de polinomios de una sola variable sobre un [[Cuerpo (matemáticas)|cuerpo]], el polinomio MCD puede ser calculado, como el MCD de dos enteros, mediante el [[algoritmo de Euclides]] usando la [[división polinomial|división polinómica]]. El polinomio MCD ([[salvo (matemáticas)|salvo]] si se exceptúa la multiplicación por una constante invertible), es único.

La similitud entre el entero MCD y el polinomio MCD permite extender a polinomios de una variable todas las propiedades que se pueden deducir del algoritmo euclidiano y de la [[división euclídea]]. Además, el polinomio MCD tiene propiedades específicas que lo convierten en una noción fundamental en diversas áreas del álgebra. Normalmente, las [[Raíz de una función|raíces]] del MCD de dos polinomios son las raíces comunes de los dos polinomios, y esto proporciona información sobre las raíces sin necesidad de calcularlas. Por ejemplo, las [[multiplicidad (matemáticas)|raíces múltiples]] de un polinomio son las raíces del MCD del propio polinomio y de su derivada, y los cálculos adicionales del MCD permiten calcular el [[polinomio libre de cuadrados]] del polinomio de partida, lo que proporciona polinomios cuyas raíces son las raíces de un [[Multiplicidad (matemáticas)|múltiples]] del polinomio original.

El máximo común divisor puede definirse y existe, de manera más general, para [[polinomio]]s sobre un cuerpo numérico o sobre el anillo de los números enteros, y también sobre un [[dominio de factorización única]]. Existen algoritmos para calcularlos si se dispone de un algoritmo para calcular el MCD en el anillo de coeficientes. Estos algoritmos proceden mediante una [[recursión]] sobre el número de variables para reducir el problema a una variante del algoritmo euclidiano. Son una herramienta fundamental en [[cálculo simbólico]], porque los [[sistema algebraico computacional|sistemas algebraicos computacionales]] los usan sistemáticamente para simplificar fracciones. Por el contrario, la mayor parte de la teoría moderna del MCD polinómico se ha desarrollado para satisfacer la necesidad de eficiencia de los sistemas de álgebra por computadora.

== Definición general ==
Sean {{math|''p''}} y {{math|''q''}} dos polinomios con [[coeficiente (matemática)|coeficientes]] en un [[dominio de integridad]] {{mvar|''F''}}, normalmente un [[Cuerpo (matemáticas)|cuerpo]] o el anillo de los números enteros.

Un '''máximo común divisor''' de {{math|''p''}} y {{math|''q''}} es un polinomio {{math|''d''}} que divide a {{math|''p''}} y que divide a {{math|''q''}}, y tal que cada divisor común de {{math|''p''}} y de {{math|''q''}} también divide a {{math|''d''}}. Cada par de polinomios (ambos no nulos) tiene un MCD si y solo si {{math|''F''}} es un [[dominio de factorización única]].

Si {{math|''F''}} es un cuerpo y {{math|''p''}} y {{math|''q''}} no son ambos cero, un polinomio {{math|''d''}} es un máximo común divisor si y solo si divide tanto a {{math|''p''}} como a {{math|''q''}}, y tiene el mayor grado entre los polinomios que tienen esta propiedad. Si {{math|1=''p'' = ''q'' = 0}}, el MCD es 0. Sin embargo, algunos autores consideran que en este caso el MCD no está definido.

El máximo común divisor de {{math|''p''}} y {{math|''q''}} generalmente se denota como ''{{math|mcd(''p'', ''q'')}}''.

El máximo común divisor no es único: si {{math|''d''}} es un MCD de {{math|''p''}} y {{math|''q''}}, entonces el polinomio {{math|''f''}} es otro MCD si y solo si hay un elemento invertible {{math|''u''}} de {{math|''F''}} tal que
: <math>f=u d</math>
y
: <math>d=u^{-1} f</math>.
En otras palabras, el MCD es único excepto si se considera la multiplicación por una constante invertible.

En el caso de los enteros, esta indeterminación se ha resuelto eligiendo como MCD el único que es positivo (hay otro, que es su contrario). Con esta convención, el MCD de dos enteros también es el divisor común más grande (para el orden habitual). Sin embargo, dado que no existe [[orden total]] natural entre los polinomios sobre un dominio integral, no se puede proceder de la misma manera aquí. Para polinomios de una sola variable sobre un cuerpo, se puede requerir adicionalmente que el MCD sea un [[polinomio mónico]] (es decir, que tenga 1 como su coeficiente del grado más alto), pero en casos más generales no existe una convención general. Por lo tanto, las igualdades como {{math|1=''d'' = mcd(''p'', ''q'')}} o {{math|1=mcd(''p'', ''q'') = mcd(''r'', ''s'')}} son abusos comunes de notación que deben leerse como ''{{math|''d''}} es un MCD de {{math|''p''}} y de {{math|''q''}}''; y como que {{math|''p''}}'' y {{math|''q''}} tienen el mismo conjunto de MCD que {{math|''r''}} y que {{math|''s''}}''. En particular, {{math|1=mcd(''p'', ''q'') = 1}} significa que las constantes invertibles son los únicos divisores comunes. En este caso, por analogía con el caso entero, se dice que {{math|''p''}} y {{math|''q''}} son '''polinomios coprimos'''.

== Propiedades ==

* Como se indicó anteriormente, el MCD de dos polinomios existe si los coeficientes pertenecen a un cuerpo, el anillo de los números enteros o, de manera más general, a un [[dominio de factorización única]].
* Si {{math|''c''}} es un divisor común de {{math|''p''}} y {{math|''q''}}, {{math|''c''}} divide al MCD de {{math|''p''}} y de {{math|''q''}}.
* <math>\text {mcd }(p,q)= \text {mcd }(q,p).</math>
* <math>\text {mcd }(p, q)= \text {mcd }(q,p+rq)</math> para cualquier polinomio {{math|''r''}}. Esta propiedad está en la base de la prueba del algoritmo de euclides.
* Para cualquier elemento invertible {{math|''k''}} del anillo de los coeficientes, <math>\text {mcd }(p,q)=\text {mcd }(p,kq)</math>.
* Por lo tanto, <math>\text {mcd }(p,q)=\text {mcd }(a_1p+b_1q,a_2p+b_2q)</math> para cualquier escalar <math>a_1, b_1, a_2, b_2</math> tal que <math>a_1 b_2 - a_2 b_1</math> sea invertible.
* Si <math>\text {mcd }(p, r)=1</math>, entonces <math>\text {mcd }(p, q)=\text {mcd }(p, qr)</math>.
* Si <math>\text {mcd }(q, r)=1</math>, entonces <math>\text {mcd }(p, qr)=\text {mcd }(p, q)\,\text {mcd }(p, r)</math>.
* Para dos polinomios de una variable {{math|''p''}} y {{math|''q''}} sobre un cuerpo, existen polinomios {{math|''a''}} y {{math|''b''}}, de modo que <math>\text {mcd }(p,q)=ap+bq</math> y <math>\text {mcd }(p,q)</math> dividen cada [[combinación lineal]] de {{math|''p''}} y de {{math|''q''}} ([[identidad de Bézout]]).
* El máximo común divisor de tres o más polinomios se puede definir de manera similar al de dos polinomios. Puede calcularse de forma recursiva a partir de los MCD de dos polinomios mediante las identidades:
:: <math>\text {mcd }(p, q, r) = \text {mcd }(p, \text {mcd }(q, r)),</math>
: y
:: <math>\text {mcd }(p_1, p_2, \dots , p_n) = \text {mcd }( p_1, \text {mcd }(p_2, \dots , p_n)).</math>

== MCD mediante cálculo manual ==
Hay varias formas de encontrar el máximo común divisor de dos polinomios. Dos de ellas son:

# ''[[Factorización de polinomios]]'', mediante la que se determinan los factores de cada expresión, luego se selecciona el conjunto de factores comunes incluidos dentro de ambos conjuntos de factores. Este método puede ser útil solo en casos simples, ya que la factorización suele ser más difícil que calcular el máximo común divisor.
# El ''[[algoritmo de Euclides]]'', que se puede usar para encontrar el MCD de dos polinomios de la misma manera que para dos números enteros.

=== Factorización ===
Para encontrar el MCD de dos polinomios usando su factorización, basta con factorizar los dos polinomios por completo. A continuación, se selecciona el producto de todos los factores comunes. En esta etapa, no necesariamente se obtiene un [[polinomio mónico]], por lo que finalmente se debe multiplicar por una constante para convertirlo en un polinomio mónico. Este será el MCD de los dos polinomios, ya que incluye todos los divisores comunes, y es mónico.

Ejemplo uno: Encontrar el MCD de {{math|''x''<sup>2</sup> + 7''x'' + 6}} y de {{math|''x''<sup>2</sup> − 5''x'' − 6}}.

: {{math|1=''x''<sup>2</sup> + 7''x'' + 6 = (''x'' + 1)(''x'' + 6)}}
: {{math|1=''x''<sup>2</sup> − 5''x'' − 6 = (''x'' + 1)(''x'' - 6)}}

Por lo tanto, su MCD es {{math|''x'' + 1}}.

=== Algoritmo de Euclides ===
Factorizar polinomios puede ser difícil, especialmente si los polinomios tienen un grado grande. El [[algoritmo de Euclides]] es un método que funciona para cualquier par de polinomios. Hace un uso repetido de la [[división euclídea]]. Cuando se usa este algoritmo con dos números enteros, el tamaño de los números disminuye en cada etapa. Con polinomios, el grado de los polinomios disminuye en cada etapa. El último resto distinto de cero, transformado en [[polinomio mónico|mónico]] si es necesario, es el MCD de los dos polinomios.

Más específicamente, para encontrar el mcd de dos polinomios {{math|''a''(''x'')}} y {{math|''b''(''x'')}}, se puede suponer que {{math|''b'' ≠ 0}} (de lo contrario, el MCD es {{math|''a''(''x'')}}), y
: <math>\deg(b(x)) \le \deg(a(x)) \,.</math>

La división euclídea proporciona dos polinomios {{math|''q''(''x'')}}, el ''cociente''; y {{math|''r''(''x'')}}, el ''resto''; tales que
: <math>a(x) = q_0(x)b(x) + r_0(x)\qquad\text{y}\qquad \deg(r_0(x)) < \deg(b(x))</math>

Un polinomio {{math|''g''(''x'')}} divide a {{math|''a''(''x'')}} y a {{math|''b''(''x'')}} si y solo si divide a {{math|''b''(''x'')}} y {{math|''r''<sub>0</sub>(''x'')}}. Por lo tanto
: <math>\gcd(a(x), b(x)) = \gcd(b(x), r_0(x)).</math>
La configuración
: <math>a_1(x) = b(x), b_1(x) = r_0(x),</math>
permite repetir la división euclidiana para obtener nuevos polinomios {{math|''q''<sub>1</sub>(''x''), ''r''<sub>1</sub>(''x''), ''a''<sub>2</sub>(''x''), ''b''<sub>2</sub>(''x'')}} y así sucesivamente. En cada etapa se tiene que
: <math>\deg(a_{k+1})+\deg(b_{k+1}) < \deg(a_{k})+\deg(b_{k}),</math>
por lo que la secuencia finalmente llegará a un punto en el que
: <math>b_N(x) = 0</math>
y se obtiene el MCD:
: <math>\gcd(a,b)=\gcd(a_1,b_1)=\cdots=\gcd(a_N, 0)=a_N .</math>

'''Ejemplo:''' encontrar el MCD de {{math|1=<span style="color:#0000ff">''x''<sup>2</sup> + 7''x'' + 6</span>}} y {{math|1=<span style="color:#990000">''x''<sup>2</sup> − 5''x'' − 6</span>}}:

: {{math|1=<span style="color:#0000ff">''x''<sup>2</sup> + 7''x'' + 6</span> = 1 ⋅ <span style="color:#990000">(''x''<sup>2</sup> − 5''x'' − 6)</span> + <span style="color:#009900">(12 ''x'' + 12)</span>}}

: {{math|1=<span style="color:#990000">''x''<sup>2</sup> − 5''x'' − 6</span> = <span style="color:#009900">(12 ''x'' + 12)</span> ({{sfrac|1|12}} ''x'' − {{sfrac|1|2}}) + 0}}

Dado que {{math|1=<span style="color:#009900">12 ''x'' + 12</span>}} es el último resto distinto de cero, es un MCD de los polinomios originales y el [[polinomio mónico]] MCD es {{math|1=''x'' + 1}}.

En este ejemplo, no es difícil evitar la introducción de denominadores factorizando 12 antes del segundo paso. Esto siempre se puede hacer usando [[ #Secuencias de pseudo-resto|secuencias de pseudo-resto]], pero si no se tiene cuidado con las operaciones, se pueden generar números enteros muy grandes durante el cálculo. Por lo tanto, para los cálculos con computadora, se utilizan otros algoritmos, que se describen a continuación.

Este método funciona solo si se puede probar la igualdad a cero de los coeficientes que aparecen durante el cálculo. Entonces, en la práctica, los coeficientes deben ser [[números enteros]], [[números racionales]], elementos de un [[cuerpo finito]], o deben pertenecer a alguna [[extensión de cuerpos]] de uno de los cuerpos anteriores. Si los coeficientes son valores con [[coma flotante]] que representan [[números reales]] que se conocen solo aproximadamente, entonces se debe conocer el grado del MCD para obtener un resultado de cálculo bien definido (es decir, un resultado provisto de [[estabilidad numérica]]; en estos casos se pueden utilizar otras técnicas, generalmente basadas en [[descomposición en valores singulares]].

== Polinomios de una variable con coeficientes en un cuerpo ==

El caso de polinomios de una variable sobre un cuerpo es especialmente importante por varias razones. En primer lugar, es el caso más elemental y, por tanto, aparece en la mayoría de los primeros cursos de álgebra. En segundo lugar, es muy similar al caso de los números enteros, y esta analogía es la fuente de la noción de [[dominio euclídeo]]. Una tercera razón es que la teoría y los algoritmos para el caso de varias variables y para los coeficientes en un [[dominio de factorización única]] están fuertemente basados en este caso particular. Por último, pero no menos importante, los algoritmos de MCD polinómicos y los algoritmos derivados permiten obtener información útil sobre las raíces de un polinomio, sin calcularlas.

=== División euclídea ===
La división euclídea de polinomios, que se usa en el [[#Algoritmo de Euclides|Algoritmo de Euclides]] para calcular el MCD, es muy similar a la [[división euclídea]] de números enteros. Su existencia se basa en el siguiente teorema: Dados dos polinomios de una variable ''a'' y ''b'' ≠ 0 definidos sobre un cuerpo, existen dos polinomios ''q'' (el ''cociente'') y ''r'' (el ''resto'') que satisfacen
: <math>a=bq+r</math>
y
: <math>\deg(r)<\deg(b),</math>
donde ''deg (...)'' denota el grado; y el grado del polinomio cero se define como negativo. Además, ''q'' y ''r'' se definen de forma única por estas relaciones.

La diferencia con la división euclidiana de números enteros es que, para los números enteros, el grado se reemplaza por el valor absoluto, y que para tener unicidad se tiene que suponer que ''r'' no es negativo. Los anillos para los que existe tal teorema se denominan [[dominio euclídeo|dominios euclídeos]].

Al igual que para los números enteros, la división euclídea de los polinomios puede calcularse mediante el algoritmo de [[división polinomial|división polinómica]]. Este algoritmo generalmente se presenta para el cálculo con lápiz y papel, pero funciona bien en computadoras cuando se formaliza de la siguiente manera (téngase en cuenta que los nombres de las variables corresponden exactamente a las regiones de la hoja de papel en un cálculo con lápiz y papel de división de polinomios). En el siguiente cálculo, ''deg'' representa el grado de su argumento (con la convención {{nowrap|deg(0) &lt; 0}}), y ''lc'' representa el coeficiente principal, el coeficiente del grado más alto de la variable.

{{pre|1=
'''División euclídea'''

'''''Input:''''' ''a'' y ''b'' ≠ 0 dos polinomios en la variable ''x'';
'''''Output:''''' ''q'', el cociente, y ''r'', el resto;

'''''Begin'''''
    ''q'' := 0
    ''r'' := ''a''
    ''d'' := deg(''b'')
    ''c'' := lc(''b'')
    '''''while''''' deg(''r'') ≥ ''d'' '''''do'''''
        ''s'' := {{sfrac|lc(''r'')|''c''}} ''x''<sup>deg(''r'')−''d''</sup>
        ''q'' := ''q'' + ''s''
        ''r'' := ''r'' − ''sb''
    '''''end do'''''
    '''''return''''' (''q'', ''r'')
'''''end'''''
}}

La prueba de la validez de este algoritmo se basa en el hecho de que durante todo el ciclo "while", se tiene que {{math|1=''a'' = ''bq'' + ''r''}} y {{math|deg(''r'')}} es un número entero no negativo que disminuye en cada iteración. Así, la prueba de la validez de este algoritmo también prueba la validez de la división euclídea.

=== Algoritmo de Euclides ===
En cuanto a los números enteros, la división euclídea permite definir el [[algoritmo de Euclides]] para calcular los MCD.

Partiendo de dos polinomios ''a'' y ''b'', el algoritmo de Euclides consiste en reemplazar recursivamente el par {{math|(''a'', ''b'')}} por {{math|(''b'', rem(''a'', ''b''))}} (donde "{{math|rem(''a'', ''b'')}}" denota el resto de la división euclídea, calculada por el algoritmo de la sección anterior), hasta obtener ''b'' = 0. El MCD es el último resto distinto de cero.

El algoritmo de Euclides se puede formalizar en el estilo de programación recursiva como:
{{cita|
<math>\text {mcd }(a,b): \text{si } b=0 \text{ entonces =} a \text{; o en caso contrario, } \text {mcd }(b, \operatorname{rem}(a,b)).</math>
}}
En estilo de programación, dando un nombre a cada resto intermedio, el mismo algoritmo se convierte en:
{{pre|
{{nowrap|<math>\begin{align} r_0:=a\\ r_1:=b \end{align}</math>}}

{{nowrap|'''''for''''' (<math>i:=1</math>; <math>r_i \neq 0</math>; <math>i:=i+1</math>) '''''do'''''}}
    {{nowrap|<math>\begin{align} r_{i+1}&:=\operatorname{rem}(r_{i-1},r_i) \end{align}</math>}}
'''''end do'''''

{{nowrap|'''''return''''' <math>(r_{i-1}).</math>}}
}}

La secuencia de grados de {{math|''r<sub>i</sub>''}} es estrictamente decreciente. Por lo tanto, después de como máximo {{math|deg(''b'')}} pasos, se obtiene un resto nulo, denominado {{math|''r<sub>k</sub>''}}. Como {{math|(''a'', ''b'')}} y {{math|(''b'', rem(''a'',''b''))}} tienen los mismos divisores, el algoritmo de Euclides no cambia el conjunto de los divisores comunes y, por lo tanto, todos los pares {{math|(''r<sub>i</sub>'', ''r''<sub>''i''+1</sub>)}} tienen el mismo conjunto de divisores comunes. Los divisores comunes de {{mvar|a}} y {{mvar|b}} son, por tanto, los divisores comunes de {{math|''r''<sub>''k''−1</sub>}} y 0. Por tanto, {{math|''r''<sub>''k''−1</sub>}} es un MCD de {{mvar|a}} y {{mvar|b}}.
Esto no solo prueba que el algoritmo de Euclides calcula los MCD, sino que también prueba que existen los MCD.

=== Identidad de Bézout y algoritmo MCD extendido ===

La [[identidad de Bézout]] es un teorema relacionado con el MCD, inicialmente probado para los enteros, que es válido en cualquier [[dominio de ideales principales]]. En el caso de los polinomios de una variable sobre un cuerpo, se puede enunciar de la siguiente manera:

{{cita|
Si {{mvar|g}} es el máximo común divisor de dos polinomios {{mvar|a}} y {{mvar|b}} (no ambos cero), entonces hay dos polinomios {{mvar|u}} y {{mvar|v}} tales que
:<math>au+bv=g\quad</math> (Bézout's identity)
y también {{math|1=''u'' = 1, ''v'' = 0}}, o {{math|1=''u'' = 0, ''v'' = 1}}, o 
:<math>\deg(u)<\deg(b)-\deg(g), \quad \deg(v)<\deg(a)-\deg(g).</math>
}}

El interés de este resultado en el caso de los polinomios es que existe un algoritmo eficiente para calcular los polinomios {{mvar|u}} y {{mvar|v}}. Este algoritmo se diferencia del algoritmo de Euclides por algunos cálculos más realizados en cada iteración del ciclo. Por lo tanto, se denomina '''algoritmo MCD extendido'''. Otra diferencia con el algoritmo de Euclides es que también usa el cociente, denotado ''quo'', de la división euclídea en lugar de solo el resto. Este algoritmo funciona de la siguiente manera:

{{pre|1=
Algoritmo '''MCD extendido'''

'''''Input:''''' {{mvar|a}}, {{mvar|b}}, polinomios de una variable

'''''Output:'''''
    {{mvar|g}}, el MCD de {{mvar|a}} y {{mvar|b}}
    {{mvar|u}}, {{mvar|v}}, como en la línea anterior
    {{math|''a''<sub>1</sub>}}, {{math|''b''<sub>1</sub>}}, tales que
        {{nowrap|<math>\begin{align}
        a=ga_1\\
        b=gb_1
        \end{align}</math>}}
'''''Begin'''''
    {{nowrap|<math>\begin{array}{ll}
    r_0  =a & r_1  =b\\
    s_0  =1 & s_1  =0\\
    t_0  =0 & t_1  =1
    \end{array}</math>}}
  
    '''''for''''' ({{math|1=''i'' = 1}}; {{math|''r<sub>i</sub>'' ≠ 0}}; {{math|1=''i'' = ''i''+1}}) '''''do'''''
        {{nowrap|<math>q  =\operatorname{quo}(r_{i-1},r_{i})</math>}}
        {{nowrap|<math>\begin{align}
        r_{i+1} & =r_{i-1}-qr_{i}\\
        s_{i+1} & =s_{i-1}-qs_{i}\\
        t_{i+1} & =t_{i-1}-qt_{i}
        \end{align}</math>}}
    '''''end do'''''
    {{nowrap|<math>\begin{align}
    g & =r_{i-1}\\
    u & =s_{i-1}\\
    v & =t_{i-1}
    \end{align}</math>}}
    {{nowrap|<math>\begin{align}
    a_1 & =(-1)^{i-1}t_i\\
    b_1 & =(-1)^i s_i
    \end{align}</math>}}
'''''end'''''
}}

La prueba de que el algoritmo satisface las condiciones de partida se basa en el hecho de que, para cada {{mvar|i}} se tiene que
: <math>r_i=as_i+bt_i</math>
: <math>s_it_{i+1}-t_is_{i+1}=s_it_{i-1}-t_is_{i-1},</math>
la última igualdad implicando
: <math>s_it_{i+1}-t_is_{i+1}=(-1)^i.</math>
La afirmación sobre los grados se deriva del hecho de que, en cada iteración, los grados de {{math|''s<sub>i</sub>''}} y de {{math|''t<sub>i</sub>''}} aumentan como máximo a medida que disminuye el grado de {{math|''r<sub>i</sub>''}}.

Una característica interesante de este algoritmo es que, cuando se necesitan los coeficientes de la identidad de Bezout, se obtiene sin cálculos adicionales el cociente de los polinomios de entrada por su MCD.

==== Aritmética de extensiones algebraicas ====

Una aplicación importante del algoritmo MCD extendido es que permite calcular la división en [[Extensión algebraica|extensiones algebraicas]] de cuerpos.

Sea {{mvar|L}} una extensión algebraica de un cuerpo {{mvar|K}}, generado por un elemento cuyo polinomio mínimo {{mvar|f}} tiene grado {{mvar|n}}. Los elementos de {{mvar|L}} suelen estar representados por polinomios de una variable sobre {{mvar|K}} de grado menor que {{mvar|n}}.

La adición en {{mvar|L}} es simplemente la adición de polinomios:
: <math>a+_Lb=a+_{K[X]}b.</math>

La multiplicación en {{mvar|L}} es la multiplicación de polinomios seguida de la división por {{mvar|f}}:
: <math>a\cdot_Lb=\operatorname{rem}(a._{K[X]}b,f).</math>

El inverso de un elemento distinto de cero {{mvar|a}} de {{mvar|L}} es el coeficiente {{mvar|u}} en la identidad de Bézout {{math|1=''au'' + ''fv'' = 1}}, que puede calcularse mediante el algoritmo MCD extendido (el MCD es 1 porque el polinomio mínimo {{mvar|f}} es irreducible). La desigualdad de grados en la especificación del algoritmo MCD extendido muestra que no se necesita una división adicional por {{mvar|f}} para obtener que deg ({{mvar|u}}) < deg({{mvar|f}}).

=== Subresultantes ===

En el caso de los polinomios de una variable, existe una fuerte relación entre los máximos divisores comunes y la [[resultante]]. Más precisamente, la resultante de dos polinomios ''P'', ''Q'' es una función polinómica de los coeficientes de ''P'' y ''Q'' que tiene el valor cero si y solo si el MCD de ''P'' y ''Q'' no son constantes.

La teoría de los subresultantes es una generalización de esta propiedad que permite caracterizar genéricamente el MCD de dos polinomios, y el resultante es el polinomio subresultante 0-ésimo.<ref name=BPR>{{harvnb|Basu|Pollack|Roy|2006}}
</ref>

El ''i''-ésimo ''polinomio subsultante'' ''S<sub>i</sub>''(''P'', ''Q'') de dos polinomios ''P'' y ''Q'' es un polinomio de grado como máximo ''i'' cuyos coeficientes son funciones polinómicas de los coeficientes de ''P'' y de ''Q'', y el ''i''-ésimo ''coeficiente principal subresultante'' ''s<sub>i</sub>''(''P'', ''Q'') es el coeficiente de grado ''i'' de ''S<sub>i</sub>''(''P'', ''Q''). Tienen la propiedad de que el MCD de ''P'' y ''Q'' tiene un grado ''d'' si y solo si
: <math>s_0(P,Q)=\cdots=s_{d-1}(P,Q) =0 \ , s_d(P,Q)\neq 0</math>.

En este caso, ''S<sub>d</sub>''(''P'', ''Q'') es un MCD de ''P'' y ''Q'' y

: <math>S_0(P,Q)=\cdots=S_{d-1}(P,Q) =0.</math>

Cada coeficiente de los polinomios subresultantes se define como el determinante de una submatriz de la [[matriz de Sylvester]] de ''P'' y ''Q''. Esto implica que los subresultantes se ''especializan'' bien. Más precisamente, los subresultantes se definen para polinomios sobre cualquier anillo conmutativo ''R'', y tienen la siguiente propiedad.

Sea ''φ'' un homomorfismo sobre un anillo de ''R'' en otro anillo conmutativo ''S''. Se extiende a otro homomorfismo, también denominado ''φ'' entre los anillos de polinomios sobre ''R'' y ''S''. Entonces, si ''P'' y ''Q'' son polinomios de una variable con coeficientes en ''R'' tales que
: <math>\deg(P)=\deg(\varphi(P))</math>
y
: <math>\deg(Q)=\deg(\varphi(Q)),</math>
entonces los polinomios subresultantes y los coeficientes principales subresultantes de ''φ''(''P'') y ''φ''(''Q'') son la imagen mediante ''φ'' de los de ''P'' y ''Q''.

Los subresultantes tienen dos propiedades importantes que los hacen fundamentales para el cálculo en computadoras del MCD de dos polinomios con coeficientes enteros.

En primer lugar, su definición mediante determinantes permite acotar, mediante la [[desigualdad de Hadamard]], el tamaño de los coeficientes del MCD.
En segundo lugar, esta cota y la propiedad de una buena especialización permiten calcular el MCD de dos polinomios con coeficientes enteros a través de la [[Aritmética modular|computación modular]] y del [[teorema chino del resto]] (véase [[#Algoritmo modular del MCD|algoritmo modular del MCD]] más adelante).

==== Definición técnica ====
Sean
: <math>P=p_0+p_1 X+\cdots +p_m X^m,\quad Q=q_0+q_1 X+\cdots +q_n X^n.</math>
dos polinomios de una variable con coeficientes en un cuerpo ''K''. Se denotan por <math>\mathcal{P}_i</math> el espacio vectorial ''K'' de dimensión ''i'' los polinomios de grado menor que ''i''. Para un entero no negativo ''i'' tal que ''i'' ≤ ''m'' e ''i'' ≤ ''n'', sea
: <math>\varphi_i:\mathcal{P}_{n-i} \times \mathcal{P}_{m-i} \rightarrow \mathcal{P}_{m+n-i}</math>
la aplicación lineal tal que
: <math>\varphi_i(A,B)=AP+BQ.</math>

El [[resultante]] de ''P'' y ''Q'' es el determinante de la [[matriz de Sylvester]], que es la matriz (cuadrada) de <math>\varphi_0</math> sobre la base de las potencias de ''X''. De manera similar, el polinomio ''i''-subresultante se define en términos de determinantes de submatrices de la matriz de <math>\varphi_i.</math>

Se describen ahora estas matrices con mayor precisión;

Sea ''p''<sub>''i''</sub> = 0 para ''i'' < 0 o ''i'' > ''m'', y ''q''<sub>''i''</sub> = 0 para ''i'' < 0 o ''i'' > ''n''. La [[matriz de Sylvester]] es la matriz de dimensión (''m'' + ''n'') × (''m'' + ''n''), tal que el coeficiente de la ''i''-ésima fila y de la ''j''-ésima columna es ''p''<sub>''m''+''j''−''i''</sub> para ''j'' ≤ ''n'' y ''q''<sub>''j''−''i''</sub> para ''j'' > ''n'':<ref>Muchos autores definen la matriz de Sylvester como la transposición de ''S''. Esto rompe la convención habitual para escribir la matriz de una aplicación lineal.</ref>

: <math>S=\begin{pmatrix} 
p_m     & 0       & \cdots & 0       & q_n     & 0       & \cdots & 0       \\
p_{m-1} & p_m     & \cdots & 0       & q_{n-1} & q_n     & \cdots & 0  \\
p_{m-2} & p_{m-1} & \ddots & 0       & q_{n-2} & q_{n-1} & \ddots & 0 \\
\vdots  &\vdots   & \ddots & p_m     & \vdots  &\vdots   & \ddots & q_n  \\
\vdots  &\vdots   & \cdots & p_{m-1} & \vdots  &\vdots   & \cdots & q_{n-1}\\
p_0     & p_1     & \cdots & \vdots  & q_0     & q_1     & \cdots & \vdots\\
0       & p_0     & \ddots &  \vdots & 0       & q_0     & \ddots &  \vdots & \\
\vdots  & \vdots  & \ddots & p_1     & \vdots  & \vdots  & \ddots & q_1   \\
0       & 0       & \cdots & p_0     & 0       & 0       & \cdots & q_0   
\end{pmatrix}.</math>

La matriz ''T<sub>i</sub>'' de <math>\varphi_i</math> es la (''m'' + ''n'' - ''i'') × (''m'' + ''n'' - 2''i'' ) -submatriz de ''S'' que se obtiene eliminando las últimas ''i'' filas de ceros en la submatriz de las columnas 1 a (''n'' - ''i'') y (''n'' + 1) a (''m'' + ''n'' - ''i'') de ''S'' (es decir, eliminar las columnas ''i'' en cada bloque y las últimas filas de ceros de la ''i''). El ''coeficiente subresultante principal'' ''s<sub>i</sub>'' es el determinante de las (''m'' + ''n'' - 2''i'') primeras filas de ''T<sub>i</sub>''.

Sea ''V<sub>i</sub>'' la matriz (''m'' + ''n'' - 2''i'') × (''m'' + ''n'' - ''i'') definida como sigue. Primero se agregan (''i'' + 1) columnas de ceros a la derecha de la [[matriz identidad]] de dimensión (''m'' + ''n'' - 2''i'' - 1) × (''m'' + ''n'' - 2''i'' - 1). Luego, se orla la parte inferior de la matriz resultante con una fila que consta de (''m'' + ''n'' - ''i'' - 1) ceros seguidos de ''X<sup>i</sup>'', ''X''<sup>''i''−1</sup>, ..., ''X'', 1:
: <math>V_i=\begin{pmatrix} 
1       & 0       & \cdots & 0       & 0       & 0      & \cdots & 0 \\
0       & 1       & \cdots & 0       & 0       & 0      & \cdots & 0 \\
\vdots  &\vdots   & \ddots & \vdots  & \vdots  &\ddots  & \vdots & 0 \\
0       & 0       & \cdots & 1       & 0       & 0      & \cdots & 0 \\
0       & 0       & \cdots & 0       & X^i     & X^{i-1}& \cdots & 1 
\end{pmatrix}.</math>

Con esta notación, el ''i''-ésimo ''polinomio subresultante'' es el determinante del producto matricial ''V<sub>i</sub>T<sub>i</sub>''. Su coeficiente de grado ''j'' es el determinante de la submatriz cuadrada de ''T<sub>i</sub>'' que consiste en sus (''m'' + ''n'' - 2''i'' - 1) primeras filas y la (''m'' + ''n'' - ''i'' - ''j'') fila.

==== Bosquejo de la demostración ====
No es obvio que, tal como se definen, los subresultantes tengan las propiedades deseadas. Sin embargo, la demostración es bastante simple si se combinan las propiedades del álgebra lineal y las de los polinomios.

Tal como se define, las columnas de la matriz ''T<sub>i</sub>'' son los vectores de los coeficientes de algunos polinomios pertenecientes a la imagen de <math>\varphi_i</math>. La definición del ''i''-ésimo polinomio subsultante ''S<sub>i</sub>'' muestra que el vector de sus coeficientes es una combinación lineal de estos vectores columna, y por lo tanto que ''S<sub>i</sub>'' pertenece a la imagen de <math>\varphi_i.</math>

Si el grado de la MCD es mayor que ''i'', entonces la [[identidad de Bézout]] muestra que cada polinomio distinto de cero en la imagen de <math>\varphi_i</math> tiene un grado mayor que ''i''. Esto implica que ''S<sub>i</sub>'' = 0.

Si, por el contrario, el grado del MCD es ''i'', entonces la identidad de Bézout permite nuevamente probar que los múltiplos del MCD que tienen un grado menor que (''m'' + ''n'' - ''i'') están en la imagen de <math>\varphi_i</math>. El [[espacio vectorial]] de estos múltiplos tiene la dimensión (''m'' + ''n'' - 2''i'') y tiene una base de polinomios de grados diferentes por pares, no menor que ''i''. Esto implica que la submatriz de las primeras (''m'' + ''n'' - 2''i'') filas de la forma escalonada de columna de ''T<sub>i</sub>'' es la matriz de identidad y, por lo tanto, que ''s<sub>i</sub>'' no es 0. En consecuencia, ''S<sub>i</sub>'' es un polinomio en la imagen de <math>\varphi_i</math>, que es un múltiplo del MCD y tiene el mismo grado. Por tanto, es un máximo común divisor.

=== MCD y búsqueda de raíces ===

==== Factorización libre de cuadrados ====
{{AP|Polinomio libre de cuadrados}}

La mayoría de los procedimientos de [[resolución numérica de ecuaciones no lineales]] se comportan mal con polinomios que tienen [[multiplicidad (matemáticas)|raíces repetidas]]. Por lo tanto, es útil detectarlas y eliminarlas antes de utilizar un algoritmo de búsqueda de raíces. Un cálculo de MCD permite la detección de la existencia de raíces múltiples, ya que las raíces múltiples de un polinomio son las raíces del MCD del polinomio y de su [[Derivada formal|derivada]].

Después de calcular el MCD del polinomio y su derivada, los cálculos adicionales del MCD proporcionan una ''factorización libre de cuadrados'' completa del polinomio, con la forma
: <math>f=\prod_{i=1}^{\deg(f)} f_i^i</math>
donde, para cada ''i'', el polinomio ''f''<sub>''i''</sub> es 1 si ''f'' no tiene ninguna raíz de multiplicidad ''i'' o es un polinomio libre de cuadrados (es decir, un polinomio sin raíces múltiples) cuyas raíces son exactamente las raíces de multiplicidad ''i'' de ''f'' (véase [[polinomio libre de cuadrados|algoritmo de Yun]]).

Por lo tanto, la factorización libre de cuadrados reduce la búsqueda de raíces de un polinomio con raíces múltiples a la búsqueda de raíces de varios polinomios libres de cuadrados de menor grado. La factorización libre de cuadrados también es el primer paso en la mayoría de los algoritmos de [[factorización de polinomios]].

==== Secuencia de Sturm ====
{{AP|Teorema de Sturm}}
La ''secuencia de Sturm'' de un polinomio con coeficientes reales es la secuencia de los residuos proporcionada por una variante del algoritmo de Euclides aplicada al polinomio y su derivada. Para obtener la secuencia de Sturm, simplemente se reemplaza la instrucción
: <math>r_{i+1}:=\operatorname{rem}(r_{i-1},r_{i})</math>
del algoritmo de Euclides por
: <math>r_{i+1}:=-\operatorname{rem}(r_{i-1},r_{i}).</math>

Sea ''V''(''a'') el número de cambios de signo en la secuencia, cuando se evalúa en un punto ''a''. El teorema de Sturm afirma que ''V''(''a'') - ''V''(''b'') es el número de raíces reales del polinomio en el intervalo [''a'', ''B'']. Por tanto, la secuencia de Sturm permite calcular el número de raíces reales en un intervalo dado. Al subdividir el intervalo hasta que cada subintervalo contiene como máximo una raíz, se obtiene un algoritmo que ubica las raíces reales en intervalos de pequeña longitud arbitraria.

== MCD sobre un anillo y su cuerpo de fracciones ==

En esta sección, se consideran polinomios sobre un [[dominio de factorización única]] ''R'', típicamente el anillo de los enteros, y sobre su [[cuerpo de fracciones]] ''F'', típicamente el cuerpo de los números racionales. Además, se denotan como ''R''[''X''] y ''F''[''X''] los anillos de polinomios en un conjunto de variables sobre estos anillos.

=== Factorización de contenido parcial primitivo ===
{{VT|Lema de Gauss}}

El ''contenido'' de un polinomio ''p'' ∈ ''R''[''X''], denotado como ''cont(''p'')'', es el MCD de sus coeficientes. Se puede escribir un polinomio ''q'' ∈ ''F''[''X'']:

: <math>q = \frac{p}{c}</math>

donde ''p'' ∈ ''R''[''X''] y ''c'' ∈ ''R'': es suficiente tomar para ''c'' un múltiplo de todos los denominadores de los coeficientes de ''q'' (por ejemplo, su producto) y ''p'' = ''cq''. El ''contenido'' de ''q'' se define como:
: <math>\operatorname{cont} (q) =\frac{\operatorname{cont} (p)}{c}.</math>
En ambos casos, el contenido se define (salvo multiplicación) por la [[Unidad (álgebra)|unidad]] de ''R''.

La ''parte primitiva'' de un polinomio en ''R''[''X''] o ''F''[''X''] se define por
: <math>\operatorname{primpart} (p) =\frac{p}{\operatorname{cont} (p)}.</math>

En ambos casos, es un polinomio en ''R''[''X''] que es ''primitivo'', lo que significa que 1 es un MCD de sus coeficientes.

Por lo tanto, cada polinomio en ''R''[''X''] o ''F''[''X''] se puede factorizar como
: <math>p =\operatorname{cont} (p)\,\operatorname{primpart} (p),</math>
y esta factorización es única (salvo multiplicación del contenido) por una unidad de ''R'' y de la parte primitiva por la inversa de esta unidad.

El [[lema de Gauss]] implica que el producto de dos polinomios primitivos es primitivo. Resulta que
: <math>\operatorname{primpart} (pq)=\operatorname{primpart} (p) \operatorname{primpart}(q)</math>
y
: <math>\operatorname{cont} (pq)=\operatorname{cont} (p) \operatorname{cont}(q).</math>

=== Relación entre el MCD sobre ''R'' y sobre ''F'' ===

Las relaciones de la sección anterior implican una fuerte relación entre los MCD en ''R''[''X''] y en ''F''[''X'']. Para evitar ambigüedades, la notación "''mcd''" será indexada, a continuación, por el anillo en el que se calcula el MCD.

Si ''q''<sub>1</sub> y ''q''<sub>2</sub> pertenecen a ''F''[''X''], entonces
: <math>\operatorname{primpart}(\gcd_{F[X]}(q_1,q_2))=\gcd_{R[X]}(\operatorname{primpart}(q_1),\operatorname{primpart}(q_2)).</math>

Si ''p''<sub>1</sub> y ''p''<sub>2</sub> pertenecen a ''R''[''X''], entonces
: <math>\gcd_{R[X]}(p_1,p_2)=\gcd_R(\operatorname{cont}(p_1),\operatorname{cont}(p_2)) \gcd_{R[X]}(\operatorname{primpart}(p_1),\operatorname{primpart}(p_2)),</math>
y
: <math>\gcd_{R[X]}(\operatorname{primpart}(p_1),\operatorname{primpart}(p_2))=\operatorname{primpart}(\gcd_{F[X]}(p_1,p_2)).</math>

Por lo tanto, el cálculo de los MCD polinómicos es esencialmente el mismo problema sobre ''F''[''X''] y sobre ''R''[''X''].

Para polinomios de una variable sobre los números racionales, se puede pensar que el algoritmo de Euclides es un método conveniente para calcular el MCD. Sin embargo, implica simplificar una gran cantidad de fracciones de números enteros y el algoritmo resultante no es eficiente. Por esta razón, se han diseñado métodos para modificar el algoritmo de Euclides para trabajar solo con polinomios sobre los números enteros. Consisten en reemplazar la división euclídea, que introduce fracciones, por una llamada ''pseudodivisión'', y reemplazar la secuencia restante del algoritmo de Euclides por la llamada ''secuencia de pseudorestos'' (véase [[#secuencia de pseudorestos|secuencia de pseudorestos]]).

=== Demostración de que existe MCD para polinomios de varias variables ===

En la sección anterior se ha visto que el MCD de polinomios en ''R''[''X''] se puede deducir de los MCD en ''R'' y en ''F''[''X'']. Una mirada más cercana a la demostración evidencia que esto permite probar la existencia de MCD en ''R''[''X''], si existen en ''R'' y en ''F''['' X'']. En particular, si los MCD existen en ''R'', y si ''X'' se reduce a una variable, esto prueba que los MCD existen en ''R''[''X''] (el algoritmo de Euclides prueba la existencia de MCD en ''F''[''X'']).

Un polinomio con ''n'' variables se puede considerar como un polinomio de una variable sobre el anillo de polinomios con (''n'' - 1) variables. Por lo tanto, la recursividad sobre el número de variables muestra que si existen MCD y pueden calcularse en ''R'', entonces existen y pueden calcularse en cada anillo polinomios de varias variables sobre ''R''. En particular, si ''R'' es el anillo de los números enteros o un cuerpo, entonces los MCD existen en ''R''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>''], y lo que precede proporciona un algoritmo para calcularlos.

La prueba de que un anillo de polinomios sobre un dominio de factorización único es también un dominio de factorización único es similar, pero no proporciona un algoritmo, porque no existe un algoritmo general para factorizar polinomios de una variable en un cuerpo (hay ejemplos de cuerpos para los que no existe ningún algoritmo de factorización para los polinomios de una variable).

== Secuencia de pseudo-restos ==

En esta sección, consideramos un [[dominio de integridad]] '' Z '' (típicamente el anillo '''Z''' de los enteros) y su cuerpo de fracciones ''Q'' (típicamente el cuerpo '''Q''' de los números racionales). Dados dos polinomios ''A'' y ''B'' en el anillo de los polinomios de una variante ''Z''[''X''], la división euclídea (sobre ''Q'') de ''A'' por ''B'' proporciona un cociente y un resto que pueden no pertenecer a ''Z''[''X''].

Porque, si se aplica el algoritmo de Euclides a los siguientes polinomios<ref>{{harvnb|Knuth|1969}}</ref>
: <math>X^8+X^6-3 X^4-3 X^3+8 X^2+2 X-5</math>
y
: <math>3 X^6+5 X^4-4 X^2-9 X+21,</math>
los restos sucesivos del algoritmo de Euclides son
: <math>\begin{align}&-\tfrac{5}{9}X^4+\tfrac{1}{9}X^2-\tfrac{1}{3},\\
&-\tfrac{117}{25}X^2-9X+\tfrac{441}{25},\\
&\tfrac{233150}{19773}X-\tfrac{102500}{6591},\\
&-\tfrac{1288744821}{543589225}.\end{align}</math>
Se ve que, a pesar del pequeño grado y el pequeño tamaño de los coeficientes de los polinomios de entrada, se tiene que manipular y simplificar fracciones enteras de tamaño bastante grande.

La ''pseudo-división'' se ha introducido con el fin de obtener una variante del algoritmo de Euclides para la que todos los restos pertenecen a ''Z''[''X''].

Si <math>\deg(A)=a</math> y <math>\deg(B)=b</math> y ''a'' ≥ ''b'', el '''pseudo-resto''' de la pseudo-división de ''A'' por ''B'', denotado por prem(''A', ''B'') es
: <math>\operatorname{prem}(A,B)=\operatorname{rem}(\operatorname{lc}(B)^{a-b+1}A,B),</math>
donde {{math|lc(''B'')}} es el coeficiente principal de ''B'' (el coeficiente de ''X''<sup>''b''</sup>).

El pseudo-resto de la pseudo-división de dos polinomios en ''Z''[''X''] pertenece siempre a ''Z''[''X''].

Una '''secuencia de pseudo-restos''' es la secuencia de los (pseudo) restos ''r''<sub>''i''</sub> obtenida reemplazando la instrucción
: <math>r_{i+1}:=\operatorname{rem}(r_{i-1},r_{i})</math>
del algoritmo de Euclides por
: <math>r_{i+1}:=\frac{\operatorname{prem}(r_{i-1},r_{i})}{\alpha},</math>
donde ''α'' es un elemento de ''Z'' que divide exactamente cada coeficiente del numerador. Las diferentes opciones de ''α'' dan diferentes secuencias de pseudo-restos, que se describen en las siguientes subsecciones.

Como los divisores comunes de dos polinomios no se modifican si los polinomios se multiplican por constantes invertibles (en ''Q''), el último término distinto de cero en una secuencia de pseudo-restos es un MCD (en ''Q''[''X'']) de los polinomios de partida. Por lo tanto, la secuencia de pseudo-restos permiten calcular el MCD en ''Q''[''X''] sin introducir fracciones en ''Q''.

En algunos contextos, es esencial controlar el signo del coeficiente principal del pseudo-resto. Este suele ser el caso al calcular [[resultante]]s y [[subresultantes]], o al utilizar el [[teorema de Sturm]]. Este control se puede hacer reemplazando {{math|lc(''B'')}} por su valor absoluto en la definición del pseudo-resto, o controlando el signo de {{mvar|α}} (si {{mvar|α}} divide a todos los coeficientes de un resto, lo mismo es cierto para {{math|–''α''}}).<ref name=BPR />

=== Secuencia trivial de pseudo-restos ===

La secuencia de restos más simple (de definir) consiste en tomar siempre {{math|1=''α'' = 1}}. En la práctica, no es interesante, ya que el tamaño de los coeficientes crece exponencialmente con el grado de los polinomios de entrada. Esto aparece claramente en el ejemplo de la sección anterior, para el que los sucesivos pseudo-restos son
: <math>-15\, X^4+3\, X^2-9,</math>
: <math>15795\, X^2+30375\, X-59535,</math>
: <math>1254542875143750\, X-1654608338437500,</math>
: <math>12593338795500743100931141992187500.</math>
El número de dígitos de los coeficientes de los restos sucesivos se duplica con creces en cada iteración del algoritmo. Este es el comportamiento típico de la secuencia trivial de pseudo-restos.

=== Secuencia primitiva de pseudo-restos ===

La "secuencia primitiva de pseudo-restos" consiste en tomar por ''α'' el contenido del numerador. Por tanto, todos los ''r''<sub>''i''</sub> son polinomios primitivos.

La secuencia primitiva de pseudo-restos genera los coeficientes más pequeños. Sin embargo, requiere calcular un número de MCD en ''Z'', y por lo tanto, no es lo suficientemente eficiente como para usarse en la práctica, especialmente cuando ''Z'' es en sí mismo un anillo de polinomios.

Con la misma entrada que en las secciones anteriores, los sucesivos restos, después de la división por su contenido, son
: <math>-5\,X^4+X^2-3,</math>
: <math>13\,X^2+25\,X-49,</math>
: <math>4663\,X-6150,</math>
: <math>1.</math>
El pequeño tamaño de los coeficientes oculta el hecho de que se han calculado varios números enteros del MCD y divisiones por el MCD.

=== Secuencia subresultante de pseudo-restos ===

Una secuencia subsultante también se puede calcular con pseudo-restos. El proceso consiste en elegir ''α'' de tal manera que cada ''r''<sub>''i''</sub> sea un polinomio subresultante. Sorprendentemente, el cálculo de ''α'' es muy fácil (véase más abajo). Por otro lado, la prueba de corrección del algoritmo es difícil, porque deben tenerse en cuenta todas las posibilidades de diferencia de grados de dos residuos consecutivos.

Los coeficientes de la secuencia subsultante rara vez son mucho mayores que los de la secuencia de pseudo-restos primitiva. Como los cálculos del MCD en ''Z'' no son necesarios, la secuencia subresultante con pseudo-residuos proporciona el cálculo más eficiente.

Con la misma entrada que en las secciones anteriores, los sucesivos restos son
: <math>15\,X^4-3\,X^2+9,</math>
: <math>65\,X^2+125\,X-245,</math>
: <math>9326\,X-12300,</math>
: <math>260708.</math>

Los coeficientes tienen un tamaño razonable. Se obtienen sin ningún cálculo del MCD, solo divisiones exactas. Esto hace que este algoritmo sea más eficiente que el de la secuencia primitiva de pseudo-restos.

El algoritmo que calcula la secuencia subresultante con pseudo-residuos se da a continuación. En este algoritmo, la entrada {{math|(''a'', ''b'')}} es un par de polinomios en ''Z''[X]. {{math|''r''<sub>''i''</sub>}} son los sucesivos pseudo-residuos en ''Z''[X], las variables ''i'' y {{math|''d''<sub>''i''</sub>}} son enteros no negativos, y las letras griegas denotan elementos en ''Z''. Las funciones <code>deg()</code> y <code>rem()</code> denotan el grado de un polinomio y el resto de la división euclidiana. En el algoritmo, este resto siempre está en ''Z''[X]. Finalmente, las divisiones indicadas con / son siempre exactas y tienen su resultado en ''Z''[X] o en ''Z''.

{{pre|
{{nowrap|<math>\begin{align}r_0:=a\\ r_1:=b \end{align}</math>}}
{{nowrap|'''''for''''' (<math>i:=1</math>; <math>r_i \neq 0</math>; <math>i:=i+1;</math>) '''''do'''''}}
    {{nowrap|<math>\begin{align} d_{i}&:=\deg(r_{i-1})-\deg(r_{i})\\ \gamma_{i}&:=\operatorname{lc}(r_{i})
    \end{align}</math>}}
    {{nowrap|'''if''' <math>i=1</math> '''then'''}}
        {{nowrap|<math>\begin{align} \beta_1&:=(-1)^{d_1+1}\\ \psi_1&:=-1 \end{align}</math>}}
    '''else'''
        {{nowrap|<math>\begin{align} \beta_i&:=-\gamma_{i-1}\psi_i^{d_i}\\ \psi_{i}&:=\frac{(-\gamma_{i-1})^{d_{i-1}}}{\psi_{i-1}^{d_{i-1}-1}} \end{align}</math>}}
    '''end if'''
    {{nowrap|<math>r_{i+1}:=\frac{\operatorname{rem}(\gamma_i^{d_i +1}r_{i-1},r_{i})}{\beta_i}</math>}}
'''''end do.'''''
}}
Nota: "lc" representa el coeficiente principal, el coeficiente del grado más alto de la variable.

Este algoritmo calcula no solo el máximo común divisor (el último {{math|''r''<sub>''i''</sub>}} distinto de cero), sino también todos los polinomios subresultantes: el resto {{math|''r''<sub>''i''</sub>}} es el polinomio subresultante {{math|(deg(''r''<sub>''i''−1</sub>) − 1)}}-ésimo. Si {{math|deg(''r''<sub>''i''</sub>) < deg(''r''<sub>''i''−1</sub>) − 1}}, el polinomio subresultante {{math|deg(''r''<sub>''i''</sub>)}}-ésimo es {{math|lc(''r''<sub>''i''</sub>)<sup>deg(''r''<sub>''i''−1</sub>) - deg (''r''<sub>''i''</sub>) -1</sup>''r''<sub>''i''</sub>}}. Todos los demás polinomios subsultantes son cero.

=== Secuencia de Sturm con pseudo-restos ===

Se pueden usar pseudo-restos para construir secuencias que tengan las mismas propiedades que la [[Teorema de Sturm|secuencia de Sturm]]. Esto requiere controlar los signos de los sucesivos pseudo-restos, para tener los mismos signos que en la secuencia de Sturm. Esto se puede hacer definiendo un pseudo-resto modificado como sigue.

Si <math>\deg(A)=a</math> y <math>\deg(B)=b</math> y ''a'' ≥ ''b'', el pseudo-resto modificado prem2 (''A'', ''B'') de la pseudo-división de ''A'' por ''B'' es
: <math>\operatorname{prem2}(A,B)=-\operatorname{rem}(|\operatorname{lc}(B)|^{a-b+1}A,B),</math>
donde |lc (''B'')| es el valor absoluto del coeficiente principal de ''B'' (el coeficiente de ''X''<sup>''b''</sup>).

Para polinomios de entrada con coeficientes enteros, esto permite la recuperación de secuencias de Sturm que consisten en polinomios con coeficientes enteros. La secuencia de pseudo-restos subresultante puede modificarse de manera similar, en cuyo caso los signos de los restos '''coinciden''' con los calculados sobre los números racionales.

Téngase en cuenta que el algoritmo para calcular la secuencia de pseudo-restos subresultantes dada anteriormente calculará polinomios subresultantes incorrectos si se usa <math>-\mathrm{prem2}(A,B)</math> en lugar de <math>\operatorname{prem}(A,B)</math>.

== Algoritmo modular del MCD ==
Si ''f'' y ''g'' son polinomios en ''F''[''x''] para algún cuerpo finitamente generado ''F'', el algoritmo euclídeo es la forma más natural de calcular su MCD. Sin embargo, los sistemas modernos de [[cálculo simbólico]] solo lo usan si ''F'' es finito debido a un fenómeno llamado [[Cálculo simbólico|hinchamiento de la expresión intermedia]]. Aunque los grados siguen disminuyendo durante el proceso del algoritmo euclídeo, si ''F'' no es [[Cuerpo finito|finito]], entonces el tamaño en bits de los polinomios puede aumentar (a veces drásticamente) durante los cálculos porque las operaciones aritméticas repetidas en ''F'' tienden a conducir a expresiones más grandes. Por ejemplo, la suma de dos números racionales cuyos denominadores están limitados por ''b'' conduce a un número racional cuyo denominador está limitado por ''b''<sup>2</sup>, por lo que en el peor de los casos, el tamaño en bits podría casi duplicarse con solo una operación.

Para acelerar el cálculo, se debe tomar un anillo ''D'' para el que ''f'' y ''g'' están en ''D''[''x''], y tomar un ideal ''I'' tal que ''D''/''I'' es un anillo finito. Luego se calcula el MCD sobre este anillo finito con el algoritmo de euclides. Utilizando técnicas de reconstrucción (como el [[teorema chino del resto]] o la [[reconstrucción racional (matemáticas)|reconstrucción racional]]) se puede recuperar el MCD de ''f'' y ''g'' de su imagen modular en una serie de ideales ''I''. Se puede probar<ref>{{harvnb|van Hoeij|Monagan|2004}}</ref> que esto funciona siempre que se descarten imágenes modulares con grados no mínimos y se eviten los ideales de módulo ''I'' en los que un coeficiente principal desaparece.

Supóngase que <math>F = \mathbb{Q}(\sqrt{3})</math>, <math>D = \mathbb{Z}[\sqrt{3}]</math>, <math>f = \sqrt{3}x^3 - 5 x^2 + 4x + 9</math> y <math>g = x^4 + 4 x^2 + 3\sqrt{3}x - 6</math>. Si se toma <math>I=(2)</math>, <math>D/I</math> un [[anillo finito]] (que no es un cuerpo, ya que <math>I</math> no es máximo en <math>D</math>). El algoritmo euclídeo aplicado a las imágenes de <math>f,g</math> en <math>(D/I)[x]</math> tiene éxito y devuelve 1. Esto implica que el MCD de <math>f,g</math> en <math>F[x]</math> también debe ser 1. Téngase en cuenta que este ejemplo podría manejarse fácilmente con cualquier método porque los grados eran demasiado pequeños para que se produzca un hinchamiento de la expresión, pero ilustra que si dos polinomios tienen MCD 1, es probable que el algoritmo modular termine después de un solo ideal <math>I</math>.

== Referencias ==
{{reflist|1}}

== Bibliografía ==
*{{cite book
 | first1 = Saugata|last1= Basu |first2=Richard|last2= Pollack |first3=Marie-Françoise|last3= Roy
 | year = 2006
 | title = Algorithms in real algebraic geometry, chapter 4.2
 | publisher = [[Springer Science+Business Media|Springer-Verlag]]
 | url = http://perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted1.html
 }}
*{{cite book|first1=James H.|last1=Davenport|author1-link=James H. Davenport|first2=Yvon|last2=Siret|first3= Évelyne|last3=Tournier|title=Computer algebra: systems and algorithms for algebraic computation|url=https://archive.org/details/computeralgebras0000dave|others=Translated from the French by A. Davenport and J.H. Davenport|year=1988|publisher=Academic Press|isbn=978-0-12-204230-0}}
*{{citation|first1=M.|last1=van Hoeij|first2= M.B.| last2=Monagan|title=Algorithms for polynomial GCD computation over algebraic function fields| conference=ISSAC 2004|year=2004|pages= 297–304}}
* {{citation|first1=S.M.M.| last1=Javadi|first2= M.B.|last2= Monagan|title=A sparse modular GCD algorithm for polynomials over algebraic function fields|conference= ISSAC 2007|year=2007|pages= 187–194}}
*{{cite book|last=Knuth|first=Donald E.|author-link=Donald E. Knuth|title=The Art of Computer Programming II|publisher=Addison-Wesley|year=1969|pages= 370–371}}
*{{cite book
|last=Knuth|first=Donald E.|author-link=Donald E. Knuth
|title=Seminumerical Algorithms
|series=The Art of Computer Programming
|volume=2
|edition=Third
|location=Reading, Massachusetts
|publisher=Addison-Wesley
|year=1997
|pages=439–461, 678–691
|isbn=0-201-89684-2}}
* {{citation|first1=Rudiger|last1=Loos|chapter=Generalized polynomial remainder sequences|title=Computer Algebra|publisher=Springer Verlag|year=1982|editor1 =B. Buchberger|editor2=R. Loos|editor3=G. Collins}}

== Enlaces externos ==
{{Portal|Matemáticas}}

{{Control de autoridades}}
[[Categoría:Polinomios]]