Productos Notables: Fórmulas, Explicación y Ejercicios Resueltos

Los productos notables son identidades algebraicas que permiten desarrollar ciertos productos entre polinomios de forma rápida, sin necesidad de realizar cada vez todos los pasos de la multiplicación término a término. Su importancia, sin embargo, va más allá de la mera comodidad operativa: son herramientas fundamentales para simplificar expresiones, factorizar polinomios y reconocer estructuras recurrentes en álgebra. Estudiarlos con atención es aprender a ver la forma que se esconde detrás de los símbolos.

Índice

• Qué Son los Productos Notables
• Cuadrado de un Binomio
• Cuadrado de un Trinomio
• Producto de la Suma por la Diferencia
• Cubo de un Binomio
• Suma y Diferencia de Cubos
• El Camino Inverso: Factorizar con los Productos Notables
• Errores Comunes
• Estrategia General de Resolución
• Observaciones
• Ejercicios Resueltos

Una identidad algebraica es una igualdad que se cumple para cualquier valor de las variables involucradas. No es una ecuación que resolver, ni una fórmula válida solo en casos particulares: es una ley universal, una propiedad estructural del álgebra.

Los productos notables son identidades de esta naturaleza, referidas a productos entre polinomios que aparecen con especial frecuencia en álgebra. Su importancia es doble: permiten desarrollar ciertas expresiones con rapidez, pero — lo que resulta aún más valioso — permiten reconocer estructuras ocultas y factorizar polinomios que a primera vista parecen irreducibles.

Una sola advertencia antes de continuar: cada fórmula que sigue no debe memorizarse mecánicamente, sino comprenderse. Una fórmula comprendida no se olvida. Una fórmula simplemente memorizada falla precisamente cuando más se necesita.

Sean \(a\) y \(b\) dos expresiones algebraicas cualesquiera. Entonces:

\[ (a+b)^2 = a^2 + 2ab + b^2. \]

Demostración. Por definición de potencia, \((a+b)^2 = (a+b)(a+b)\). Aplicando la propiedad distributiva del producto respecto de la suma, primero con respecto al factor izquierdo y luego al derecho:

\[ (a+b)(a+b) = a(a+b) + b(a+b) = a^2 + ab + ba + b^2. \]

Como la multiplicación de expresiones algebraicas es conmutativa, se tiene \(ab = ba\), de modo que \(ab + ba = 2ab\). Por tanto:

\[ (a+b)^2 = a^2 + 2ab + b^2. \quad \square \]

Interpretación geométrica. Cuando \(a\) y \(b\) son longitudes positivas, la fórmula tiene un significado visual inmediato. Un cuadrado de lado \(a+b\) puede dividirse en cuatro regiones: un cuadrado de lado \(a\), un cuadrado de lado \(b\), y dos rectángulos de dimensiones \(a \times b\). El área total es, por tanto, \(a^2 + 2ab + b^2\). Esta lectura geométrica explica por qué el doble producto \(2ab\) no puede omitirse: representa exactamente esos dos rectángulos intermedios.

Para el cuadrado de una diferencia, basta sustituir \(b\) por \(-b\) en la identidad recién demostrada:

\[ (a-b)^2 = \bigl(a+(-b)\bigr)^2 = a^2 + 2a(-b) + (-b)^2 = a^2 - 2ab + b^2. \]

La estructura es idéntica; solo cambia el signo del doble producto. En ambos casos, el resultado es un trinomio cuadrado perfecto: la suma de los cuadrados de los dos términos, más o menos el doble de su producto.

Observación. Del cuadrado de una diferencia se desprende de inmediato una desigualdad importante: como \((a-b)^2 \geq 0\) para todo \(a, b \in \mathbb{R}\), se tiene siempre \[ a^2 + b^2 \geq 2ab, \] con igualdad si y solo si \(a = b\). Esta es una de las demostraciones más elegantes de la desigualdad entre la media aritmética y la media geométrica para dos términos.

El cuadrado de un trinomio extiende de manera natural el caso anterior. Sean \(a\), \(b\), \(c\) tres expresiones algebraicas. Entonces:

\[ (a+b+c)^2 = a^2 + b^2 + c^2 + 2ab + 2ac + 2bc. \]

Demostración. Se define \(s = a + b\), de modo que \((a+b+c)^2 = (s+c)^2\). Aplicando el cuadrado de un binomio, ya demostrado:

\[ (s+c)^2 = s^2 + 2sc + c^2. \]

Se desarrolla ahora \(s^2 = (a+b)^2 = a^2 + 2ab + b^2\) y \(2sc = 2(a+b)c = 2ac + 2bc\). Sustituyendo:

\[ (a+b+c)^2 = a^2 + 2ab + b^2 + 2ac + 2bc + c^2 = a^2 + b^2 + c^2 + 2ab + 2ac + 2bc. \quad \square \]

Estructura de la fórmula. El resultado es la suma de los cuadrados de cada término, más el doble del producto de cada par distinto de términos. Esta ley se generaliza: el cuadrado de una suma de \(n\) términos contiene los \(n\) cuadrados y todos los \(\binom{n}{2}\) dobles productos cruzados.

Entre todos los productos notables, este es quizás el más sorprendente la primera vez que se encuentra:

\[ (a+b)(a-b) = a^2 - b^2. \]

Demostración. Aplicando la propiedad distributiva al factor izquierdo:

\[ (a+b)(a-b) = a(a-b) + b(a-b) = a^2 - ab + ba - b^2. \]

Por la propiedad conmutativa del producto, \(ba = ab\), de modo que \(-ab + ba = 0\). Queda:

\[ (a+b)(a-b) = a^2 - b^2. \quad \square \]

La cancelación de los términos medios no es una coincidencia afortunada: es consecuencia directa del hecho de que los dos factores difieren únicamente en el signo del segundo término. La estructura es perfectamente simétrica, y es precisamente esa simetría la que provoca la cancelación.

Interpretación geométrica. Supongamos \(a > b > 0\). La diferencia \(a^2 - b^2\) representa el área de un cuadrado de lado \(a\) al que se le sustrae un cuadrado de lado \(b\), es decir, una especie de marco cuadrado. Esta figura puede recortarse y recomponerse para formar un rectángulo de dimensiones \((a+b) \times (a-b)\), tal como afirma la identidad.

Observación. Esta fórmula es muy útil en el cálculo numérico. Por ejemplo: \[ 999 \times 1001 = (1000 - 1)(1000 + 1) = 1000^2 - 1 = 999\,999. \] También es la herramienta clave para racionalizar denominadores irracionales: para eliminar una raíz del denominador, se multiplica numerador y denominador por el conjugado del denominador: \[ \frac{1}{\sqrt{2}+1} = \frac{\sqrt{2}-1}{(\sqrt{2}+1)(\sqrt{2}-1)} = \frac{\sqrt{2}-1}{2-1} = \sqrt{2}-1. \]

Al elevar un binomio a la tercera potencia se obtiene:

\[ (a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3. \]

Demostración. Por definición de potencia, \((a+b)^3 = (a+b)^2 \cdot (a+b)\). Sustituyendo el cuadrado ya demostrado:

\[ (a+b)^3 = (a^2 + 2ab + b^2)(a+b). \]

Aplicando la propiedad distributiva:

\[ = a^2(a+b) + 2ab(a+b) + b^2(a+b) = a^3 + a^2b + 2a^2b + 2ab^2 + ab^2 + b^3. \]

Reuniendo los términos semejantes:

\[ (a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3. \quad \square \]

Para el cubo de una diferencia, se sustituye \(b\) por \(-b\):

\[ (a-b)^3 = a^3 + 3a^2(-b) + 3a(-b)^2 + (-b)^3 = a^3 - 3a^2b + 3ab^2 - b^3. \]

Los signos alternan según el esquema \(+, -, +, -\), ya que las potencias impares de \(-b\) son negativas y las pares son positivas.

Observación. Los coeficientes \(1, 3, 3, 1\) no son arbitrarios: son los coeficientes binomiales \(\binom{3}{0}, \binom{3}{1}, \binom{3}{2}, \binom{3}{3}\), es decir, los números de la cuarta fila del triángulo de Pascal. Esta conexión no es un detalle ornamental: es la expresión de una ley general conocida como el teorema del binomio, que describe el desarrollo de \((a+b)^n\) para cualquier exponente entero no negativo \(n\).

Las siguientes identidades permiten factorizar expresiones que no son cuadrados ni cubos de binomios, pero poseen una estructura propia:

\[ a^3 + b^3 = (a+b)(a^2 - ab + b^2), \] \[ a^3 - b^3 = (a-b)(a^2 + ab + b^2). \]

Demostración de la diferencia de cubos. Se verifica que los dos miembros son iguales. Aplicando la propiedad distributiva al segundo miembro:

\[ (a-b)(a^2+ab+b^2) = a(a^2+ab+b^2) - b(a^2+ab+b^2) \] \[ = a^3 + a^2b + ab^2 - a^2b - ab^2 - b^3. \]

Los términos \(a^2b\) y \(-a^2b\) se cancelan, al igual que \(ab^2\) y \(-ab^2\). Queda:

\[ (a-b)(a^2+ab+b^2) = a^3 - b^3. \quad \square \]

La suma de cubos se demuestra de manera enteramente análoga, o bien sustituyendo \(b\) por \(-b\) en la identidad recién obtenida.

Advertencia fundamental. Estas identidades no deben confundirse con el cubo de un binomio:

\[ (a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3 \neq a^3 + b^3. \]

La suma \(a^3 + b^3\) es efectivamente factorizable, pero el segundo factor \(a^2 - ab + b^2\) es irreducible sobre \(\mathbb{R}\): su discriminante en \(a\) es \(b^2 - 4b^2 = -3b^2 < 0\) para todo \(b \neq 0\), lo que garantiza que no admite raíces reales.

Los productos notables son herramientas de doble sentido. Leídos de izquierda a derecha, se desarrollan; leídos de derecha a izquierda, se factorizan. Esta segunda lectura es con frecuencia la más importante.

Para utilizarlos en sentido inverso hay que entrenar el ojo para reconocer estructuras. Las señales que hay que buscar son:

• Trinomio cuadrado perfecto: tres términos, dos de los cuales son cuadrados perfectos con coeficiente positivo, y el tercero es el doble producto de sus respectivas raíces. Por ejemplo \(9x^2 - 12x + 4 = (3x-2)^2\).
• Diferencia de cuadrados: dos términos, ambos cuadrados perfectos, con signos opuestos. Por ejemplo \(25x^2 - 49 = (5x+7)(5x-7)\).
• Suma o diferencia de cubos: dos términos que son cubos perfectos, con el signo correspondiente. Por ejemplo \(8x^3 + 27 = (2x)^3 + 3^3 = (2x+3)(4x^2 - 6x + 9)\).

Ejemplo. Factorizar \(x^4 - 16\).

Se reconoce una diferencia de cuadrados con \(a = x^2\) y \(b = 4\): \[ x^4 - 16 = (x^2+4)(x^2-4). \] Pero \(x^2 - 4\) es a su vez una diferencia de cuadrados: \[ x^2 - 4 = (x+2)(x-2). \] El factor \(x^2 + 4\) no se puede factorizar más sobre \(\mathbb{R}\). La factorización completa es: \[ x^4 - 16 = (x^2+4)(x+2)(x-2). \]

Este ejemplo ilustra un principio general: la factorización debe aplicarse de forma iterativa, hasta que cada factor sea irreducible.

El error más frecuente — y más grave — consiste en omitir el doble producto.

\[ (a+b)^2 \neq a^2 + b^2. \]

Esta igualdad solo se cumple cuando \(ab = 0\), es decir, cuando al menos uno de los dos términos es cero. En todos los demás casos es falsa, y el error es sorprendentemente persistente incluso entre estudiantes que ya conocen bien el álgebra.

De manera análoga:

\[ (a-b)^2 \neq a^2 - b^2 \qquad \text{(esto es en cambio } (a+b)(a-b)\text{)}, \] \[ (a+b)^3 \neq a^3 + b^3 \qquad \text{(esto es en cambio la suma de cubos)}. \]

Un segundo error concierne a los signos en el cubo de una diferencia. Los coeficientes correctos de \((a-b)^3\) son \(+1, -3, +3, -1\), no \(+1, -3, -3, -1\). La alternancia regular de signos es consecuencia directa de la sustitución \(b \mapsto -b\) y no debe pasarse por alto.

Al enfrentarse a un ejercicio sobre productos notables, conviene proceder con método:

1. Identificar la estructura. ¿La expresión se parece al cuadrado de un binomio? ¿A una diferencia de cuadrados? ¿A un cubo? ¿A una suma o diferencia de cubos? Con frecuencia es necesario reescribir los términos como potencias explícitas para hacer visible la estructura (por ejemplo, \(4x^2 = (2x)^2\), o bien \(27y^3 = (3y)^3\)).
2. Determinar \(a\) y \(b\). Una vez reconocido el tipo de producto notable, establecer explícitamente qué expresiones desempeñan el papel de \(a\) y de \(b\) (y de \(c\), en el caso del trinomio).
3. Aplicar la fórmula. Sustituir \(a\) y \(b\) en la identidad elegida, respetando cuidadosamente los signos y los exponentes.
4. Simplificar. Calcular las potencias y los productos numéricos, y reunir los términos semejantes.
5. Verificar. Comprobar que el resultado tiene la estructura esperada: en el cuadrado debe aparecer el doble producto; en el cubo, los coeficientes \(1, 3, 3, 1\); en la diferencia de cuadrados, no debe haber ningún término medio.

El triángulo de Pascal. Los coeficientes de las potencias de un binomio no son arbitrarios. Para cada exponente \(n\), los coeficientes de \((a+b)^n\) son los números de la \((n+1)\)-ésima fila del triángulo de Pascal:

\[ \begin{array}{c} n=0: \quad 1 \\ n=1: \quad 1 \quad 1 \\ n=2: \quad 1 \quad 2 \quad 1 \\ n=3: \quad 1 \quad 3 \quad 3 \quad 1 \\ n=4: \quad 1 \quad 4 \quad 6 \quad 4 \quad 1 \end{array} \]

Cada número es la suma de los dos números situados inmediatamente encima de él. Esta estructura está en la base del teorema del binomio, una de las identidades más poderosas del álgebra combinatoria.

La diferencia de cuadrados en la racionalización. Una de las aplicaciones más elegantes del producto de la suma por la diferencia se encuentra en la simplificación de expresiones irracionales. Para eliminar una raíz del denominador, se multiplica numerador y denominador por el conjugado del denominador, aprovechando la identidad \((a+b)(a-b) = a^2 - b^2\). Esto convierte la raíz en un número racional y simplifica notablemente el cálculo.

Ejercicio 1. Desarrollar \((x+5)^2\).

Solución. Con \(a = x\) y \(b = 5\): \[ (x+5)^2 = x^2 + 2 \cdot x \cdot 5 + 5^2 = x^2 + 10x + 25. \]

Ejercicio 2. Desarrollar \((3x-2)^2\).

Solución. Con \(a = 3x\) y \(b = 2\): \[ (3x-2)^2 = (3x)^2 - 2 \cdot 3x \cdot 2 + 2^2 = 9x^2 - 12x + 4. \]

Ejercicio 3. Desarrollar \((2x+7)(2x-7)\).

Solución. Se reconoce el producto de la suma por la diferencia con \(a = 2x\) y \(b = 7\): \[ (2x+7)(2x-7) = (2x)^2 - 7^2 = 4x^2 - 49. \]

Ejercicio 4. Desarrollar \((2x^2 - 3y)^3\).

Solución. Se reconoce el cubo de una diferencia con \(a = 2x^2\) y \(b = 3y\). Se calculan los cuatro términos por separado: \[ a^3 = (2x^2)^3 = 8x^6, \] \[ 3a^2b = 3 \cdot (2x^2)^2 \cdot 3y = 3 \cdot 4x^4 \cdot 3y = 36x^4y, \] \[ 3ab^2 = 3 \cdot 2x^2 \cdot (3y)^2 = 3 \cdot 2x^2 \cdot 9y^2 = 54x^2y^2, \] \[ b^3 = (3y)^3 = 27y^3. \] Aplicando la fórmula \((a-b)^3 = a^3 - 3a^2b + 3ab^2 - b^3\): \[ (2x^2-3y)^3 = 8x^6 - 36x^4y + 54x^2y^2 - 27y^3. \]

Ejercicio 5. Factorizar completamente \(x^4 - 81\).

Solución. Se escribe \(x^4 = (x^2)^2\) y \(81 = 9^2\), reconociendo una diferencia de cuadrados con \(a = x^2\) y \(b = 9\): \[ x^4 - 81 = (x^2+9)(x^2-9). \] El factor \(x^2 - 9 = x^2 - 3^2\) es a su vez una diferencia de cuadrados: \[ x^2 - 9 = (x+3)(x-3). \] El factor \(x^2 + 9\) no se puede factorizar más sobre \(\mathbb{R}\), ya que no tiene raíces reales. La factorización completa es: \[ x^4 - 81 = (x^2+9)(x+3)(x-3). \]

Ejercicio 6. Factorizar \(8x^3 - 125\).

Solución. Se escriben los dos términos como cubos perfectos: \(8x^3 = (2x)^3\) y \(125 = 5^3\). Se reconoce una diferencia de cubos con \(a = 2x\) y \(b = 5\): \[ 8x^3 - 125 = (2x-5)\bigl((2x)^2 + (2x)(5) + 5^2\bigr) = (2x-5)(4x^2+10x+25). \] El trinomio \(4x^2 + 10x + 25\) es irreducible sobre \(\mathbb{R}\): su discriminante es \(\Delta = 100 - 4 \cdot 4 \cdot 25 = 100 - 400 = -300 < 0\).

Ejercicio 7. Simplificar la expresión: \[ \frac{(x+h)^2 - x^2}{h}, \qquad h \neq 0. \]

Solución. Se desarrolla el cuadrado en el numerador usando \((x+h)^2 = x^2 + 2xh + h^2\): \[ (x+h)^2 - x^2 = x^2 + 2xh + h^2 - x^2 = 2xh + h^2. \] Se extrae \(h\) como factor en el numerador: \[ 2xh + h^2 = h(2x+h). \] Como \(h \neq 0\), se puede simplificar: \[ \frac{h(2x+h)}{h} = 2x + h. \] Este ejercicio no es solo un problema de álgebra: la expresión de partida es el cociente incremental de la función \(f(x) = x^2\), cuyo límite cuando \(h \to 0\) proporciona la derivada \(f'(x) = 2x\). Los productos notables aparecen, pues, en los primeros pasos del cálculo diferencial.

Ejercicio 8. Demostrar que para todo entero \(n\), la diferencia \((n+1)^2 - (n-1)^2\) es siempre múltiplo de \(4\), y determinar de qué múltiplo se trata.

Solución. Se desarrollan los dos cuadrados aplicando las fórmulas conocidas: \[ (n+1)^2 = n^2 + 2n + 1, \] \[ (n-1)^2 = n^2 - 2n + 1. \] Restando: \[ (n+1)^2 - (n-1)^2 = (n^2 + 2n + 1) - (n^2 - 2n + 1) = 4n. \] El resultado es \(4n\), que es múltiplo de \(4\) para todo \(n \in \mathbb{Z}\). Alternativamente, se puede reconocer directamente una diferencia de cuadrados: \[ (n+1)^2 - (n-1)^2 = \bigl((n+1)+(n-1)\bigr)\bigl((n+1)-(n-1)\bigr) = 2n \cdot 2 = 4n. \] Ambos caminos llevan al mismo resultado, pero el segundo es más rápido y muestra cuánto se gana cuando se aprende a reconocer las estructuras.