Factorización por MCD
Factorizar por MCD significa extraer el máximo común divisor de todos los términos de un polinomio como primer paso de la factorización.
Definition
Factorizar por MCD significa hallar el máximo común divisor, el mayor factor que divide a cada término (usando el MCD de los coeficientes y la menor potencia compartida de cada variable), y extraerlo al frente, dejando un polinomio restante sin más factores comunes. Este paso siempre debe hacerse primero, antes de intentar cualquier otro método de factorización, ya que simplifica todo lo que sigue. En términos de teoría de anillos, esto es extraer el MCD de todos los generadores del ideal formado por los términos del polinomio; en $\mathbb{Z}[x]$, el MCD incluye tanto el MCD entero de los coeficientes (el contenido) como el MCD polinómico de los términos, y el Lema de Gauss establece que el producto de polinomios primitivos (contenido $= 1$) es en sí mismo primitivo, así que el contenido es multiplicativo.
Example
$6x^2 + 9x$: el MCD de $6$ y $9$ es $3$, y ambos términos tienen al menos $x^1$, así que el MCD $= 3x$, dando $3x(2x + 3)$. $12x^4 - 8x^3 + 4x^2$: el MCD es $4x^2$, dando $4x^2(3x^2 - 2x + 1)$. $15x^3y + 10x^2y^2 - 5xy^3$: el MCD es $5xy$, dando $5xy(3x^2 + 2xy - y^2)$, y el trinomio restante se factoriza aún más como $(3x - y)(x + y)$.
Key Insight
No extraer primero el MCD significa trabajar con números más grandes y pasar por alto formas más simples, muchos problemas se vuelven triviales una vez que se elimina. La factorización contenido-primitivo $c(f) \cdot f_{\text{prim}}$ es la descomposición canónica de un polinomio en $\mathbb{Z}[x]$, y los algoritmos de factorización dependen de este mismo proceso de dos pasos: extraer el contenido, y luego factorizar la parte primitiva.