Productos Notables e Identidades Algebraicas

Trinomio Cuadrado Perfecto

El área de un cuadrado de lado $(a+b)$ es

$$A=(a+b)^2$$

Geométricamente, el cuadrado puede dividirse en cuatro regiones con áreas:

$$a^2,\quad ab,\quad ab,\quad b^2$$

Por lo tanto,

$$(a+b)^2=a^2+ab+ab+b^2$$

y finalmente

$$\boxed{(a+b)^2=a^2+2ab+b^2}$$

Diferencia de Cuadrados

La diferencia de dos cuadrados puede factorizarse como

$$\boxed{a^2-b^2=(a+b)(a-b)}$$

Esta identidad se obtiene aplicando la propiedad distributiva:

$$(a+b)(a-b)=a^2-ab+ab-b^2=a^2-b^2$$

Desarrollo de un Trinomio al Cuadrado

El área del cuadrado de lado $(a+b+c)$ puede obtenerse sumando las áreas de sus nueve regiones.

$$A_T=A_1+A_2+A_3+A_4+A_5+A_6+A_7+A_8+A_9$$

Sustituyendo las áreas correspondientes:

$$(a+b+c)^2= a^2+ab+ac+ab+b^2+bc+ac+bc+c^2$$

Agrupando términos semejantes:

$$\boxed{(a+b+c)^2=a^2+b^2+c^2+2ab+2ac+2bc}$$

Principales Identidades

Trinomio Cuadrado Perfecto

$$\boxed{(a + b)^2 = a^2 + 2ab + b^2}$$

$$\boxed{(a - b)^2 = a^2 - 2ab + b^2}$$

Ejemplos

• $(x + 3)^2 = x^2 + 2(x)(3) + 3^2 = x^2 + 6x + 9$
• $(2a - 5)^2 = (2a)^2 - 2(2a)(5) + 5^2 = 4a^2 - 20a + 25$
• $(y + 1)^2 = y^2 + 2(y)(1) + 1^2 = y^2 + 2y + 1$
• $(3x - 2y)^2 = (3x)^2 - 2(3x)(2y) + (2y)^2 = 9x^2 - 12xy + 4y^2$
• $(a + \frac{1}{2})^2 = a^2 + 2(a)(\frac{1}{2}) + (\frac{1}{2})^2 = a^2 + a + \frac{1}{4}$
• $(5 - b)^2 = 5^2 - 2(5)(b) + b^2 = 25 - 10b + b^2$

Diferencia de Cuadrados

$$\boxed{a^2 - b^2 = (a + b)(a - b)}$$

Ejemplos

• $x^2 - 9 = x^2 - 3^2 = (x + 3)(x - 3)$
• $4a^2 - 25 = (2a)^2 - 5^2 = (2a + 5)(2a - 5)$
• $16y^2 - 1 = (4y)^2 - 1^2 = (4y + 1)(4y - 1)$
• $49 - z^2 = 7^2 - z^2 = (7 + z)(7 - z)$
• $\frac{x^2}{4} - \frac{y^2}{9} = (\frac{x}{2})^2 - (\frac{y}{3})^2 = (\frac{x}{2} + \frac{y}{3})(\frac{x}{2} - \frac{y}{3})$
• $(x + 2)^2 - 16 = (x + 2)^2 - 4^2 = (x + 2 + 4)(x + 2 - 4) = (x + 6)(x - 2)$

Cuadrado de un Trinomio

$$\boxed{(a + b + c)^2 = a^2 + b^2 + c^2 + 2ab + 2ac + 2bc}$$

$$\boxed{(a + b + c)^2 = a^2 + b^2 + c^2 + 2(ab + ac + bc)}$$

Ejemplos

• $(x + y + 2)^2 = x^2 + y^2 + 4 + 2xy + 4x + 4y$
• $(a + 3 + b)^2 = a^2 + 9 + b^2 + 6a + 2ab + 6b$
• $(1 + m + n)^2 = 1 + m^2 + n^2 + 2m + 2n + 2mn$
• $(2a + 3b + 1)^2 = 4a^2 + 9b^2 + 1 + 12ab + 4a + 6b$
• $(x - 1 + y)^2 = x^2 + 1 + y^2 - 2x + 2xy - 2y$
• $(p + q + r)^2 = p^2 + q^2 + r^2 + 2pq + 2pr + 2qr$

Cubo de un Binomio

$$\boxed{(a + b)^3 = a^3 + 3a^2b + 3ab^2 + b^3}$$

$$\boxed{(a - b)^3 = a^3 - 3a^2b + 3ab^2 - b^3}$$

Ejemplos

• $(x + 2)^3 = x^3 + 3x^2(2) + 3x(4) + 8 = x^3 + 6x^2 + 12x + 8$
• $(a - 1)^3 = a^3 - 3a^2(1) + 3a(1) - 1 = a^3 - 3a^2 + 3a - 1$
• $(2x + y)^3 = (2x)^3 + 3(4x^2)(y) + 3(2x)(y^2) + y^3 = 8x^3 + 12x^2y + 6xy^2 + y^3$
• $(a - 3b)^3 = a^3 - 3a^2(3b) + 3a(9b^2) - 27b^3 = a^3 - 9a^2b + 27ab^2 - 27b^3$
• $(1 + x)^3 = 1 + 3x + 3x^2 + x^3$
• $(x - y)^3 = x^3 - 3x^2y + 3xy^2 - y^3$

Producto de Binomios con un Término Común (Identidad de Stevin)

$$\boxed{(x + a)(x + b) = x^2 + (a + b)x + ab}$$

Ejemplos

• $(x + 3)(x + 5) = x^2 + (3 + 5)x + 3 \cdot 5 = x^2 + 8x + 15$
• $(x + 2)(x - 7) = x^2 + (2 - 7)x + 2 \cdot (-7) = x^2 - 5x - 14$
• $(x - 4)(x - 6) = x^2 + (-4 - 6)x + (-4) \cdot (-6) = x^2 - 10x + 24$
• $(x + 1)(x + 9) = x^2 + (1 + 9)x + 1 \cdot 9 = x^2 + 10x + 9$
• $(x - 3)(x + 8) = x^2 + (-3 + 8)x + (-3) \cdot 8 = x^2 + 5x - 24$
• $(x + a)(x + b) = x^2 + (a + b)x + ab$

Caso general ($n$ parámetros)

Cubo de un Trinomio

$$\boxed{(a + b + c)^3 = a^3 + b^3 + c^3 + 3(a + b)(b + c)(c + a)}$$

Ejemplos

• $(x + 1 + 2)^3 = x^3 + 1^3 + 2^3 + 3(x + 1)(1 + 2)(2 + x) = x^3 + 9 + 9(x + 1)(x + 2)$
• $(1 + 2 + 3)^3 = 1^3 + 2^3 + 3^3 + 3(1 + 2)(2 + 3)(3 + 1) = 36 + 180 = 216$
• $(a + 0 + b)^3 = a^3 + b^3 + 3ab(a + b) = a^3 + 3a^2b + 3ab^2 + b^3$
• $(x + y + 0)^3 = x^3 + y^3 + 3xy(x + y)$
• $(1 + x + 1)^3 = (x + 2)^3 = x^3 + 8 + 6(x + 1)^2$
• $(a + b + c)^3 = a^3 + b^3 + c^3 + 3(a + b)(b + c)(c + a)$

Suma y Diferencia de Cubos

$$\boxed{a^3 + b^3 = (a + b)(a^2 - ab + b^2)}$$

$$\boxed{a^3 - b^3 = (a - b)(a^2 + ab + b^2)}$$

Ejemplos

• $8 + 27 = 2^3 + 3^3 = (2 + 3)(4 - 6 + 9) = 5 \cdot 7 = 35$
• $x^3 - 8 = x^3 - 2^3 = (x - 2)(x^2 + 2x + 4)$
• $64 + 125 = 4^3 + 5^3 = (4 + 5)(16 - 20 + 25) = 9 \cdot 21 = 189$
• $27a^3 - 64b^3 = (3a)^3 - (4b)^3 = (3a - 4b)(9a^2 + 12ab + 16b^2)$
• $1 + x^3 = (1 + x)(1 - x + x^2)$
• $y^3 + 1000 = y^3 + 10^3 = (y + 10)(y^2 - 10y + 100)$

Identidades de Cauchy

$$(a + b)^3 = a^3 + b^3 + 3ab(a + b)$$

$$(a - b)^3 = a^3 - b^3 - 3ab(a - b)$$

$$(a + b)^3 + (a - b)^3 = 2a(a^2 + 3b^2)$$

$$(a + b)^3 - (a - b)^3 = 2b(3a^2 + b^2)$$

Identidades de Legendre

$$(a+b)^2+(a-b)^2=2(a^2+b^2)$$

$$(a+b)^2-(a-b)^2=4ab$$

$$(a+b)^3+(a-b)^3=2(a^3+3ab^2)$$

$$(a+b)^3-(a-b)^3=2(3a^2b+b^3)$$

$$(a+b)^4+(a-b)^4=2(a^4+6a^2b^2+b^4)$$

$$(a+b)^4-(a-b)^4=8ab(a^2+b^2)$$

Identidades de Argand

$$\boxed{(a^2 + a + 1)(a^2 - a + 1) = a^4 + a^2 + 1}$$

$$\boxed{(a^2 + ab + b^2)(a^2 - ab + b^2) = a^4 + a^2b^2 + b^4}$$

En General:

$$(a^{2m} + a^m b^n + b^{2n})(a^{2m} - a^m b^n + b^{2n}) = a^{4m} + a^{2m}b^{2n} + b^{4n}$$

Identidad de Sophie Germain

$$\boxed{a^4 + 4b^4 = (a^2 - 2ab + 2b^2)(a^2 + 2ab + 2b^2)}$$

Se obtiene aplicando la identidad de diferencia de cuadrados:

$$a^4 + 4b^4 = (a^2 + 2b^2)^2 - (2ab)^2$$

Identidad de Gauss

$$a^3 + b^3 + c^3 - 3abc = (a + b + c)(a^2 + b^2 + c^2 - ab - ac - bc)$$

$$(a + b)(b + c)(a + c) + abc = (a + b + c)(ab + ac + bc)$$

$$a^2 + b^2 + c^2 - ab - ac - bc = \frac{1}{2}[(a - b)^2 + (a - c)^2 + (b - c)^2]$$

$$a^3+b^3+c^3-3abc= \frac{a+b+c}{2}\big[(a-b)^2+(b-c)^2+(c-a)^2\big].$$

Identidades de Lagrange

$$(ax + by)^2 + (ay - bx)^2 = (a^2 + b^2)(x^2 + y^2)$$

Formas Explícitas de $a^n + b^n$

Formas Explícitas de $a^n - b^n$

Identidades Simétricas

Son identidades que permanecen invariantes al permutar las variables $a,b,c$.

$$(a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)$$

$$a^2+b^2+c^2=(a+b+c)^2-2(ab+bc+ca)$$

$$(a+b+c)^3=a^3+b^3+c^3+3(a+b)(b+c)(c+a)$$

$$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca)$$

$$(a+b)(b+c)(c+a)=(a+b+c)(ab+bc+ca)-abc$$

Identidades Condicionales

Si $a + b + c = 0$, entonces:

$$a^2 + b^2 + c^2 = -2(ab + ac + bc)$$

$$a^3 + b^3 + c^3 = 3abc$$

$$(ab + ac + bc)^2 = a^2b^2 + a^2c^2 + b^2c^2$$

$$(a^2 + b^2 + c^2)^2 = 2(a^4 + b^4 + c^4)$$

$$a^4 + b^4 + c^4 = 2(a^2b^2 + a^2c^2 + b^2c^2) = \frac{1}{2}(a^2 + b^2 + c^2)^2$$

$$a^5 + b^5 + c^5 = -5abc(ab + bc + ac)$$

$$a^6 + b^6 + c^6 = 3(abc)^2 - 2(ab + bc + ac)^3$$

$$a^7 + b^7 + c^7 = 7abc(ab + bc + ac)^2$$

$$\frac{a^5 + b^5 + c^5}{5} = (\frac{a^2 + b^2 + c^2}{2})(\frac{a^3 + b^3 + c^3}{3})$$

$$a^6 + b^6 + c^6 = 3(\frac{a^3 + b^3 + c^3}{3})^2 + 2(\frac{a^2 + b^2 + c^2}{2})$$

$$\frac{a^7 + b^7 + c^7}{7} = (\frac{a^2 + b^2 + c^2}{2})(\frac{a^5 + b^5 + c^5}{5})$$

Fórmula Recursiva para $a^n+b^n+c^n$

Si

$$a+b+c=0$$

definimos

$$S_n=a^n+b^n+c^n$$

Entonces $S_n$ satisface la relación de recurrencia

$$S_n=-(ab+bc+ca)S_{n-2}+abc\,S_{n-3}$$

Valores iniciales

$$S_0=3$$

$$S_1=0$$

$$S_2=-2(ab+bc+ca)$$

Primeros valores

$$S_3=3abc$$

$$S_4=2(ab+bc+ca)^2$$

$$S_5=-5abc(ab+bc+ca)$$

$$S_6=3(abc)^2-2(ab+bc+ca)^3$$

$$S_7=7abc(ab+bc+ca)^2$$

$$S_8=2(ab+bc+ca)^4-8(abc)^2(ab+bc+ca)$$

Implicaciones Notables

• Si $\dfrac{a}{b} + \dfrac{b}{a} = 2$, entonces:

$$a = b$$

• Si $a^2 + b^2 + c^2 = ab + ac + bc$, entonces:

$$a = b = c$$

• Si $a^3 + b^3 + c^3 = 3abc$ y $a + b + c = 0$, entonces:

$$a = b = c = 0$$

• Si $a^2 + b^2 + c^2 + \dots + z^2 = 0$, entonces:

$$a = b = c = \dots = z = 0$$

• Si $\sqrt[n]{a} + \sqrt[n]{b} + \dots + \sqrt[n]{z} = 0$, entonces:

$$a = b = \dots = z = 0$$

Identidades con $x+\dfrac{1}{x}$

• Si $x + x^{-1} = a$, entonces:

$$x^2 + x^{-2} = a^2 - 2$$

$$x^3 + x^{-3} = a^3 - 3a$$

$$x^4 + x^{-4} = (a^2 - 2)^2 - 2$$

$$x^5+x^{-5}=a^5-5a^3+5a$$

Identidades con $x-\dfrac{1}{x}$

Si

$$x-x^{-1}=a$$

entonces

$$x^2+x^{-2}=a^2+2$$

$$x^3-x^{-3}=a^3+3a$$

$$x^4+x^{-4}=(a^2+2)^2-2$$

$$x^5-x^{-5}=a^5+5a^3+5a$$

Identidades Auxiliares

$$a^3 + b^3 + c^3 = \frac{1}{2}(a + b + c)[(a - b)^2 + (a - c)^2 + (b - c)^2]$$

$$(a + b + c)^3 - a^3 - b^3 - c^3 = 3(a + b)(b + c)(c + a)$$

$$(a - b)^2 + (b - c)^2 + (a - c)^2 = (a^2 + b^2 + c^2) - 2(ab + ac + bc)$$

Otras Identidades

Factorizaciones generales

$$a^n-b^n=(a-b)\left(a^{n-1}+a^{n-2}b+\cdots+b^{\,n-1}\right)$$

$$a^n+b^n=(a+b)\left(a^{n-1}-a^{n-2}b+\cdots+b^{\,n-1}\right), \qquad (n \text{ impar})$$

$$a^{2n}-b^{2n}=(a^n-b^n)(a^n+b^n)$$

Casos particulares

$$a^4-b^4=(a-b)(a+b)(a^2+b^2)$$

$$a^4+b^4=(a^2+\sqrt{2}\,ab+b^2)(a^2-\sqrt{2}\,ab+b^2)$$

Footnotes

ver Ecuaciones ↩︎

Practice Problems

Level I

Level II

Level III