OpenBetaMatemática

← Temas

Productos notables

Hay productos que aparecen tantas veces que conviene reconocerlos de un vistazo, sin multiplicar término a término. No son reglas nuevas: son la misma propiedad distributiva, memorizada como patrones. Y casi todos tienen una lectura geométrica —como áreas y volúmenes— que los vuelve evidentes.

De dónde sale todo: distributividad y conmutatividad

Nada acá se memoriza a ciegas: todo sale de dos reglas de los números. La distributividad a(b+c)=ab+aca(b+c) = ab + ac —el único axioma que conecta la suma con el producto, la "bisagra" entre ++ y ×\times— y la conmutatividad ab=baab = ba. Esa segunda, que parece inofensiva, es la que conviene tener fichada desde ya:

La advertencia que vuelve en álgebra lineal. El 2ab2ab del cuadrado existe solo porque ab=baab = ba: al expandir (a+b)2=a2+ab+ba+b2(a+b)^2 = a^2 + ab + ba + b^2, los dos términos cruzados se funden en 2ab2ab gracias a la conmutatividad. Pero las matrices no conmutan (ABBAAB \neq BA en general), así que ahí (A+B)2=A2+AB+BA+B2,(A+B)^2 = A^2 + AB + BA + B^2, y no A2+2AB+B2A^2 + 2AB + B^2. El "22" es un privilegio del caso escalar. Es el error más común al saltar de escalares a matrices —tenelo presente para la Parte de álgebra lineal.

El cuadrado de un binomio

(a+b)2=a2+2ab+b2,(ab)2=a22ab+b2.(a + b)^2 = a^2 + 2ab + b^2, \qquad (a - b)^2 = a^2 - 2ab + b^2.

El término que casi todos olvidan es el 2ab2ab. Geométricamente es imposible olvidarlo: el cuadrado de lado a+ba+b se descompone en un a2a^2, un b2b^2 y dos rectángulos abab.

El producto notable es un área — interactivo
ababab
(3 + 1.6)² = 9 + 2·4.8 + 2.56 = 21.16

El cuadrado de lado a+b se parte en cuatro piezas: , y dos rectángulos ab. De ahí el término 2ab —el que casi todos olvidan.

El error clásico. (a+b)2a2+b2(a+b)^2 \neq a^2 + b^2. Esa igualdad solo valdría si 2ab=02ab = 0. Elevar al cuadrado no se reparte sobre una suma.

El cubo de un binomio

Subiendo una dimensión, el cubo de lado a+ba+b se parte en ocho piezas que se agrupan en cuatro tipos:

(a+b)3=a3+3a2b+3ab2+b3,(ab)3=a33a2b+3ab2b3.(a + b)^3 = a^3 + 3a^2 b + 3a b^2 + b^3, \qquad (a - b)^3 = a^3 - 3a^2 b + 3a b^2 - b^3.

Los coeficientes 1,3,3,11, 3, 3, 1 no son casualidad: son una fila del triángulo de Pascal, y los exponentes de aa bajan mientras los de bb suben. Esa estructura se generaliza al teorema del binomio (lo vemos a fondo en series):

(a+b)n=k=0n(nk)ankbk,1111211331(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{\,n-k} b^{\,k}, \qquad \begin{array}{ccccccc} & & & 1 & & & \\ & & 1 & & 1 & & \\ & 1 & & 2 & & 1 & \\ 1 & & 3 & & 3 & & 1 \end{array}

Diferencia de cuadrados

a2b2=(a+b)(ab).a^2 - b^2 = (a + b)(a - b).

La más útil de todas, porque factoriza algo que no parecía factorizable. Geométrica: a un cuadrado a2a^2 le quitás b2b^2; la región en forma de L que queda se reacomoda en un rectángulo de lados (a+b)(a+b) y (ab)(a-b) (probalo en el interactivo de arriba). Sirve para racionalizar, simplificar fracciones y resolver límites del tipo 00\tfrac{0}{0}.

Un bonus numérico. Calcular a2b2a^2 - b^2 cuando aba \approx b resta dos números casi iguales —cancelación catastrófica, se pierden cifras significativas—. Reescribirlo como (a+b)(ab)(a+b)(a-b) es numéricamente más estable: equivalencia algebraica no es equivalencia computacional. (Y esa estructura "cuadrado menos cuadrado" es también la de Var(X)=E[X2]E[X]2\operatorname{Var}(X) = \mathbb{E}[X^2] - \mathbb{E}[X]^2.)

Suma y diferencia de cubos

A diferencia de los cuadrados, ambas se factorizan:

a3+b3=(a+b)(a2ab+b2),a3b3=(ab)(a2ab+b2).a^3 + b^3 = (a + b)(a^2 - ab + b^2), \qquad a^3 - b^3 = (a - b)(a^2 \mp ab + b^2).

Regla mnemotécnica: el binomio lleva el mismo signo que el original; el trinomio lleva el signo opuesto en el término del medio y es siempre +b2+b^2. (El trinomio a2ab+b2a^2 \mp ab + b^2 no es un cuadrado perfecto —le falta el factor 22—, y por eso no se factoriza más sobre los reales.)

Trinomio cuadrado perfecto

Es el camino inverso del primer producto: reconocer cuándo un trinomio es un cuadrado.

a2+2ab+b2=(a+b)2,a22ab+b2=(ab)2.a^2 + 2ab + b^2 = (a + b)^2, \qquad a^2 - 2ab + b^2 = (a - b)^2.

El test: los extremos deben ser cuadrados (a2a^2 y b2b^2) y el término del medio debe ser exactamente ±2ab=±2a2b2\pm 2ab = \pm 2\sqrt{a^2}\sqrt{b^2}. Por ejemplo, x2+6x+9=(x+3)2x^2 + 6x + 9 = (x+3)^2 porque 6=236 = 2 \cdot 3; pero x2+5x+9x^2 + 5x + 9 no lo es. Detectar esto es el corazón de completar el cuadrado, la técnica que abre la Parte II.

Recall activo

Resolvé sin mirar las tablas de arriba:

  1. Expandí (2x3)2(2x - 3)^2.
  2. Factorizá x249x^2 - 49.
  3. Factorizá 8x3+278x^3 + 27.
  4. ¿Es x2+10x+25x^2 + 10x + 25 un cuadrado perfecto? ¿De qué?

Soluciones: (1) 4x212x+94x^2 - 12x + 9; (2) (x+7)(x7)(x+7)(x-7); (3) (2x+3)(4x26x+9)(2x+3)(4x^2 - 6x + 9); (4) sí, (x+5)2(x+5)^2.

Lo que sigue

Estos cinco patrones son las herramientas de lectura. Darlos vuelta —pasar de la forma expandida a la forma de producto— es factorizar, la próxima lección.