Sophie Germain y sus variantes

Sophie Germain: la identidad que esconde su truco

La identidad de Sophie Germain es $a^4 + 4b^4 = (a^2+2ab+2b^2)(a^2-2ab+2b^2)$. Ya la vimos en la lección 1.1. Ahora la trabajaremos a fondo, porque en olimpiadas aparece disfrazada de muchas formas.

El truco algebraico que la produce es añadir y restar $4a^2b^2$: $a^4 + 4b^4 = a^4 + 4a^2b^2 + 4b^4 - 4a^2b^2 = (a^2+2b^2)^2 - (2ab)^2$. Desde aquí, diferencia de cuadrados con $A = a^2+2b^2$ y $B = 2ab$ da el resultado.

Observa la estructura de los dos factores: $a^2+2ab+2b^2 = (a+b)^2+b^2$ y $a^2-2ab+2b^2 = (a-b)^2+b^2$. Esta forma alternativa es útil en problemas de divisibilidad y en demostraciones de que cierta expresión es siempre positiva.

Sophie Germain con sustitución: variantes frecuentes

Muchos problemas de olimpiada presentan $a^4+4b^4$ disfrazado. La habilidad clave es reconocer el patrón y hacer la sustitución correcta.

Variante 1: Factoriza $x^4 + 64$. Nota que $64 = 4 \cdot 16 = 4 \cdot 2^4$. Entonces $x^4+64 = x^4 + 4 \cdot 2^4$. Aplicando Sophie Germain con $a = x$ y $b = 2$: $x^4+64 = (x^2+4x+8)(x^2-4x+8)$.

Variante 2: Factoriza $4a^4 + b^4$. Aquí conviene reescribir: $4a^4+b^4 = (2a^2)^2+(b^2)^2$... pero eso no ayuda directamente. Mejor: $4a^4+b^4 = b^4+4a^4$, que es Sophie Germain con los papeles de $a$ y $b$ intercambiados. Con $\tilde{a} = b$ y $\tilde{b} = a$: $= (b^2+2ba+2a^2)(b^2-2ba+2a^2)$.

Variante 3 (problema tipo ONEM): Prueba que $n^4+4^n$ es compuesto para todo entero $n > 1$. Si $n$ es par, $n^4+4^n$ es par y mayor que 2, luego compuesto. Si $n$ es impar, escribe $n = 2k-1$ (impar), entonces $4^n = 4^{2k-1} = \frac{4^{2k}}{4} = \frac{(2^{2k})^2}{4}$... en realidad es más elegante: $4^n = (2^2)^n = 2^{2n}$, y si $n$ es impar podemos escribir $n^4+4^n = n^4 + 4 \cdot (4^{(n-1)/2} \cdot 2)^2$... El camino directo es fijar $n = 2m+1$ impar: $n^4+4^n = n^4 + 4 \cdot 4^{2m} = n^4 + 4(2^m)^4$, Sophie Germain con $a = n$, $b = 2^m$: $= (n^2+2n\cdot2^m+2\cdot4^m)(n^2-2n\cdot2^m+2\cdot4^m)$. Ambos factores son mayores que 1 para $n > 1$.

Factorización por agrupamiento (grouping)

La factorización por agrupamiento sirve cuando una expresión tiene cuatro o más términos y no se puede factorizar directamente. La idea: agrupar los términos en bloques de 2 (o 3), sacar factor común en cada bloque, y luego ver si el factor común resultante es el mismo en todos los bloques.

Ejemplo 1: factoriza $ax + ay + bx + by$. Agrupamos: $(ax+ay) + (bx+by) = a(x+y) + b(x+y) = (a+b)(x+y)$. La clave es que tras sacar factor en cada bloque, el factor que queda dentro del paréntesis es el mismo: $(x+y)$ en ambos casos.

Ejemplo 2 (más difícil): factoriza $x^3 - x^2 - x + 1$. Agrupamos los dos primeros y los dos últimos: $(x^3-x^2) + (-x+1) = x^2(x-1) - 1(x-1) = (x^2-1)(x-1) = (x+1)(x-1)(x-1) = (x+1)(x-1)^2$. Nota cómo el agrupamiento creó un factor $(x-1)$ en ambos bloques, y luego aplicamos diferencia de cuadrados en $x^2-1$.

El arte del agrupamiento está en elegir bien cómo agrupar. Si el primer intento no produce un factor común, prueba otra agrupación. Por ejemplo, $a^2-b^2+2bc-c^2$: aquí agrupa los últimos tres: $a^2 - (b^2-2bc+c^2) = a^2-(b-c)^2 = (a+b-c)(a-b+c)$. ¡La agrupación correcta puede transformar la expresión en algo que reconoces!

Factorización por sustitución

Cuando una expresión contiene una subexpresión que se repite, conviene sustituirla por una nueva variable para simplificar el panorama, factorizar en la nueva variable, y al final devolver la sustitución.

Ejemplo 1: factoriza $(x+y)^2 - 3(x+y) - 10$. Sea $u = x+y$. Entonces la expresión es $u^2 - 3u - 10$. Buscamos dos números que sumen $-3$ y multipliquen $-10$: son $-5$ y $2$. Así, $u^2-3u-10 = (u-5)(u+2) = (x+y-5)(x+y+2)$.

Ejemplo 2 (nivel ONEM): factoriza $x^4 - 5x^2 + 4$. Sea $u = x^2$. La expresión es $u^2 - 5u + 4 = (u-1)(u-4) = (x^2-1)(x^2-4) = (x+1)(x-1)(x+2)(x-2)$.

Ejemplo 3 (más elaborado): factoriza $2(x+1)^2 + 5(x+1)(x-1) + 3(x-1)^2$. Sea $p = x+1$ y $q = x-1$. La expresión es $2p^2+5pq+3q^2$. Factorizando como trinomio: buscamos $(2p + aq)(p + bq)$ donde $ab = 3$ y $a+2b = 5$. Prueba $a = 3, b = 1$: $(2p+3q)(p+q)$. Verificación: $2p^2+2pq+3pq+3q^2 = 2p^2+5pq+3q^2$. ✓ Devolviendo: $(2(x+1)+3(x-1))((x+1)+(x-1)) = (2x+2+3x-3)(2x) = (5x-1)(2x)$.

La sustitución no siempre produce algo bonito a la primera; si el resultado es complicado, intenta una sustitución diferente o combínala con agrupamiento.

Problemas de práctica: combinando las técnicas

Problema 1: Factoriza $a^2 + 2ab + b^2 - c^2$. Solución: agrupa los primeros tres términos: $(a+b)^2 - c^2 = (a+b+c)(a+b-c)$. Es diferencia de cuadrados con $A = a+b$ y $B = c$.

Problema 2 (tipo ONEM): Factoriza $x^4 + x^2 + 1$. Primera observación: $x^4+x^2+1 = (x^4+2x^2+1)-x^2 = (x^2+1)^2-x^2 = (x^2+1+x)(x^2+1-x) = (x^2+x+1)(x^2-x+1)$. Esta factorización es famosa en olimpiadas.

Problema 3: Factoriza $x^4+2x^3+3x^2+2x+1$. Nota que el coeficiente central es 3 y los demás son simétricos: $1,2,3,2,1$. Divida por $x^2$ (asumiendo $x \ne 0$): $x^2+2x+3+\frac{2}{x}+\frac{1}{x^2} = \left(x^2+\frac{1}{x^2}\right)+2\left(x+\frac{1}{x}\right)+3$. Sea $v = x+\frac{1}{x}$; entonces $v^2 = x^2+2+\frac{1}{x^2}$, así $x^2+\frac{1}{x^2} = v^2-2$. Expresión: $v^2-2+2v+3 = v^2+2v+1 = (v+1)^2 = \left(x+\frac{1}{x}+1\right)^2$. Multiplicando por $x^2$: $\left(x^2+x+1\right)^2$.

Problema 4 (Sophie Germain + agrupamiento): Demuestra que $n^4+4^n$ no es primo para ningún entero $n \ge 2$. Para $n$ par: $n^4+4^n$ es par y mayor que 2. Para $n$ impar: como se detalló antes, aplica Sophie Germain para producir dos factores mayores que 1. Este problema aparece frecuentemente en selectivas peruanas y la solución depende al 100% de reconocer la identidad correcta.