Factorización por grupos y por sustitución

El flujo de decisión del competidor

Cuando un problema de olimpiada pide factorizar o simplificar una expresión algebraica, el competidor entrenado no actúa al azar. Sigue un flujo de decisión que en pocos segundos descarta caminos muertos y encuentra el correcto.

El flujo funciona así. Paso 1: ¿hay factor común en todos los términos? Si sí, sácalo. Paso 2: ¿la expresión tiene exactamente dos términos? Entonces prueba diferencia de cuadrados, diferencia de cubos, suma de cubos. Paso 3: ¿tiene tres términos? Prueba trinomio cuadrático (sea directo o con sustitución). Paso 4: ¿tiene cuatro o más términos? Prueba agrupamiento. Paso 5: ¿el exponente es cuatro y el coeficiente del segundo término es "mágico"? Prueba Sophie Germain.

Este flujo no es una receta infalible; es un mapa de exploración. La experiencia —que se construye resolviendo problemas— te enseña qué señales buscar y en qué orden. Las siguientes secciones entrenan cada "rama" del mapa.

Añadir y restar el mismo término: el poder de la nada

Una de las técnicas más elegantes del álgebra olímpica es sumar y restar el mismo término para completar una identidad. Como estás sumando cero neto, la expresión no cambia; solo cambia su forma.

Ejemplo clásico: factoriza $x^4+4$. La expresión tiene dos términos y no es diferencia de cuadrados (es suma). Pero si sumamos y restamos $4x^2$: $x^4+4 = x^4+4x^2+4-4x^2 = (x^2+2)^2-(2x)^2 = (x^2+2+2x)(x^2+2-2x)$. Esta es precisamente la identidad de Sophie Germain con $a=x$, $b=1$: $x^4+4\cdot 1^4$.

Ejemplo más difícil (tipo ONEM): demuestra que $a^4+a^2+1$ es divisible por $a^2+a+1$ para todo entero $a$. Factorizamos: $a^4+a^2+1 = (a^4+2a^2+1)-a^2 = (a^2+1)^2-a^2 = (a^2+a+1)(a^2-a+1)$. ¡El factor $a^2+a+1$ aparece explícitamente! La división da $a^2-a+1$.

Generalización: si una expresión de cuarto grado se parece a $P^2 + Q$ pero $Q$ no es cuadrado perfecto, pregunta: ¿puedo escribir $Q = C^2 - D^2$ de modo que $P^2 - D^2$ sea diferencia de cuadrados? Esto transforma $P^2+Q = P^2+C^2-D^2$. Si además $P^2-D^2 = (P+D)(P-D)$, tenemos una vía. El arte está en elegir $C$ y $D$ con sabiduría.

Sophie Germain disfrazada: reconocer el patrón bajo cualquier forma

La identidad de Sophie Germain $a^4+4b^4$ puede aparecer con exponentes, fracciones o sustituciones que la ocultan a primera vista. La señal de alarma que debe dispararse en tu mente: "veo una cuarta potencia más algo que es cuatro veces otra cuarta potencia".

Caso 1: $16x^4 + y^4$. Reescribe: $16x^4 = (2x)^4 \cdot \frac{1}{1}$... mejor aún: $16x^4 = 2^4 x^4 = (2x)^4 / ...$. Más directo: $16x^4+y^4 = (2x)^4+y^4$. Ahora está en la forma $a^4+b^4$, que no es directamente Sophie Germain ($4b^4$ necesitaría el coeficiente 4). ¿Cambiamos perspectiva? $16x^4+y^4 = y^4+4\cdot(2x^4)$... no encaja. Intentemos completar el cuadrado: $16x^4+y^4 = 16x^4+8x^2y^2+y^4-8x^2y^2 = (4x^2+y^2)^2-(2\sqrt{2}\,xy)^2$. Si pedimos factorización entera, no hay raíz cuadrada de 8 entera, así que $16x^4+y^4$ es irreducible sobre $\mathbb{Z}$.

Caso 2: Factoriza $n^4+64$. Aquí $64 = 4 \cdot 16 = 4 \cdot 2^4$, entonces $n^4+64 = n^4+4 \cdot 2^4$. Sophie Germain con $a=n$, $b=2$: $= (n^2+4n+8)(n^2-4n+8)$.

Caso 3 (problema de olympiada regional): Sea $f(n) = n^4+4^n$. Prueba que para todo $n \ge 2$ entero, $f(n)$ no es primo. Si $n$ es par, $4 \mid f(n)$, así que $f(n)$ es compuesto. Si $n$ es impar, sea $n = 2k+1$; entonces $4^n = 4^{2k+1} = 4 \cdot 16^k = 4 \cdot (2^k)^4$. Por Sophie Germain: $n^4 + 4(2^k)^4 = (n^2+2n \cdot 2^k + 2 \cdot 4^k)(n^2 - 2n \cdot 2^k + 2 \cdot 4^k)$. Para $n \ge 2$ ambos factores son $\ge 3$, así que $f(n)$ es compuesto.

Factorización por agrupamiento avanzado

El agrupamiento avanzado combina todas las técnicas previas. A veces hay que agrupar en bloques de 3 y 1, o de 2 y 2 pero en un orden no obvio, o completar con un término añadido.

Ejemplo 1 (agrupamiento 3+1): factoriza $a^2+b^2+c^2+2ab-2bc-2ac$. Agrupamos: $(a^2+2ab+b^2) + (c^2-2bc-2ac) = (a+b)^2 + c(-2b-2a+c) = (a+b)^2-2c(a+b)+c^2 = (a+b-c)^2$. La expresión completa es un cuadrado perfecto.

Ejemplo 2 (problema ONEM tipo divisibilidad): prueba que $n^3 + 2n$ es divisible por 3 para todo entero $n$. Factorizamos: $n^3+2n = n(n^2+2)$. Módulo 3: si $n \equiv 0$, listo. Si $n \equiv 1$: $n^2+2 \equiv 1+2=3 \equiv 0$. Si $n \equiv 2$: $n^2+2 \equiv 4+2=6 \equiv 0$. En todos los casos, $3 \mid n^3+2n$.

Ejemplo 3 (agrupamiento con sustitución): factoriza $(x^2+3x)^2-2(x^2+3x)-8$. Sea $u = x^2+3x$. La expresión es $u^2-2u-8 = (u-4)(u+2) = (x^2+3x-4)(x^2+3x+2)$. Ahora factorizamos cada factor: $x^2+3x-4 = (x+4)(x-1)$ y $x^2+3x+2 = (x+1)(x+2)$. Resultado final: $(x+4)(x-1)(x+1)(x+2)$.

Señal de alerta: cuando el agrupamiento por bloques de 2 no funciona de ninguna manera, a veces la clave es añadir y restar un término para que un bloque se complete en cuadrado perfecto. Esto combina el truco de "sumar cero" con el agrupamiento.

Integrando todo: problemas de cierre del capítulo

Problema 1 (integrador, ONEM estilo): Si $a+b+c = 0$, prueba que $a^3+b^3+c^3 = 3abc$. Comenzamos con la identidad conocida $a^3+b^3+c^3-3abc = (a+b+c)(a^2+b^2+c^2-ab-bc-ca)$. Como $a+b+c=0$, el lado derecho es cero, así que $a^3+b^3+c^3 = 3abc$. La factorización de $a^3+b^3+c^3-3abc$ es un resultado clásico que vale la pena memorizar.

Problema 2 (cierre del capítulo): Factoriza completamente $x^6 - y^6$ de dos maneras distintas y verifica que son iguales. Camino A: diferencia de cuadrados entonces cubos. $x^6-y^6 = (x^3+y^3)(x^3-y^3) = (x+y)(x^2-xy+y^2)(x-y)(x^2+xy+y^2)$. Camino B: diferencia de cubos entonces cuadrados. $x^6-y^6 = (x^2-y^2)(x^4+x^2y^2+y^4) = (x+y)(x-y)[(x^2+y^2)^2-x^2y^2]$. Para $(x^2+y^2)^2-x^2y^2 = (x^2+xy+y^2)(x^2-xy+y^2)$. Ambos caminos dan la misma factorización completa.

Problema 3 (dificultad 3): Encuentra todos los enteros positivos $n$ tales que $n^2+11n+19$ es un cuadrado perfecto. Supongamos $n^2+11n+19 = k^2$. Completando el cuadrado en $n$: $\left(n+\frac{11}{2}\right)^2 - \frac{121}{4} + 19 = k^2$, es decir $(2n+11)^2+76-121 = (2k)^2$, o sea $(2k)^2-(2n+11)^2 = -45$. Factorizando: $(2k-2n-11)(2k+2n+11) = -45$. Analizando los divisores de 45 con la paridad correcta, se llega a $n = 1$ como única solución positiva.

Reflexión final: todo el capítulo gira en torno a una idea: toda expresión algebraica tiene una forma que revela su estructura. Las identidades son el diccionario que traduce formas opacas a formas transparentes. Añadir y restar, agrupar, sustituir — todo sirve para encontrar esa forma. En los capítulos siguientes aplicaremos esta intuición a ecuaciones, desigualdades y polinomios.