Diferencia de dos cuadrados

En matemáticas , la diferencia de dos cuadrados es un número elevado al cuadrado (multiplicado por sí mismo) restado de otro número elevado al cuadrado. Toda diferencia de cuadrados puede factorizarse según la identidad

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

en álgebra elemental .

La demostración de la identidad de factorización es sencilla. Empezando por el lado derecho , se aplica la ley distributiva para obtener

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

Por la ley conmutativa , los dos términos del medio se cancelan:

${\displaystyle ba-ab=0}$

partida

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

La identidad resultante es una de las más utilizadas en matemáticas. Entre sus múltiples usos, ofrece una demostración sencilla de la desigualdad AM-GM en dos variables.

La prueba es válida en cualquier anillo conmutativo .

Por el contrario, si esta identidad se cumple en un anillo R para todos los pares de elementos a y b , entonces R es conmutativo. Para comprobarlo, aplique la ley distributiva al lado derecho de la ecuación y obtenga

${\displaystyle a^{2}+ba-ab-b^{2}}$.

Para que esto sea igual a , debemos tener$Estilo de visualización a^{2}-b^{2}}$

${\displaystyle ba-ab=0}$

para todos los pares a , b , entonces R es conmutativo.

La diferencia de dos cuadrados también se puede ilustrar geométricamente como la diferencia de dos áreas cuadradas en un plano . En el diagrama, la parte sombreada representa la diferencia entre las áreas de los dos cuadrados, es decir . El área de la parte sombreada se puede encontrar sumando las áreas de los dos rectángulos; , que se puede factorizar a . Por lo tanto, .$Estilo de visualización a^{2}-b^{2}}$${\displaystyle a(ab)+b(ab)}$${\estilo de visualización (a+b)(ab)}$${\displaystyle a^{2}-b^{2}=(a+b)(ab)}$

Otra prueba geométrica procede de la siguiente manera: comenzamos con la figura que se muestra en el primer diagrama a continuación, un cuadrado grande al que se le quitó un cuadrado más pequeño. El lado de todo el cuadrado es a, y el lado del cuadrado pequeño eliminado es b. El área de la región sombreada es . Se hace un corte, dividiendo la región en dos piezas rectangulares, como se muestra en el segundo diagrama. La pieza más grande, en la parte superior, tiene ancho a y altura ab. La pieza más pequeña, en la parte inferior, tiene ancho ab y altura b. Ahora la pieza más pequeña se puede separar, rotar y colocar a la derecha de la pieza más grande. En esta nueva disposición, que se muestra en el último diagrama a continuación, las dos piezas juntas forman un rectángulo, cuyo ancho es y cuya altura es . El área de este rectángulo es . Dado que este rectángulo surgió de la reorganización de la figura original, debe tener la misma área que la figura original. Por lo tanto, .$Estilo de visualización a^{2}-b^{2}}$${\estilo de visualización a+b}$${\estilo de visualización ab}$${\estilo de visualización (a+b)(ab)}$${\displaystyle a^{2}-b^{2}=(a+b)(ab)}$

La fórmula de la diferencia de dos cuadrados se puede utilizar para factorizar polinomios que contienen el cuadrado de una primera cantidad menos el cuadrado de una segunda cantidad. Por ejemplo, el polinomio se puede factorizar de la siguiente manera:$Estilo de visualización x^{4}-1$

${\displaystyle x^{4}-1=(x^{2}+1)(x^{2}-1)=(x^{2}+1)(x+1)(x-1)}$

Como segundo ejemplo, los dos primeros términos de se pueden factorizar como , por lo que tenemos:$Estilo de visualización x^{2}-y^{2}+xy}$${\displaystyle (x+y)(xy)}$

${\displaystyle x^{2}-y^{2}+xy=(x+y)(xy)+xy=(xy)(x+y+1)}$

Además, esta fórmula también se puede utilizar para simplificar expresiones:

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

La diferencia de dos cuadrados se utiliza para encontrar los factores lineales de la suma de dos cuadrados, utilizando coeficientes de números complejos .

Por ejemplo, las raíces complejas de se pueden encontrar utilizando la diferencia de dos cuadrados:$estilo de visualización z^{2}+4$

$estilo de visualización z^{2}+4$

${\displaystyle =z^{2}-4i^{2}}$ (desde )${\displaystyle i^{2}=-1}$

${\displaystyle =z^{2}-(2i)^{2}}$

${\displaystyle =(z+2i)(z-2i)}$

Por lo tanto, los factores lineales son y .${\estilo de visualización (z+2i)}$${\estilo de visualización (z-2i)}$

Dado que los dos factores que se encuentran con este método son conjugados complejos , podemos utilizarlo a la inversa como método para multiplicar un número complejo y obtener un número real. Esto se utiliza para obtener denominadores reales en fracciones complejas. ^[1]

La diferencia de dos cuadrados también se puede utilizar en la racionalización de denominadores irracionales . ^[2] Este es un método para eliminar los radicales irracionales de las expresiones (o al menos moverlos), que se aplica a la división por algunas combinaciones que involucran raíces cuadradas .

Por ejemplo: El denominador de se puede racionalizar de la siguiente manera:${\displaystyle {\dfrac {5}{{\sqrt {3}}+4}}}$

${\displaystyle {\dfrac {5}{{\sqrt {3}}+4}}}$

${\displaystyle ={\frac {5}{{\sqrt {3}}+4}}\times {\frac {{\sqrt {3}}-4}{{\sqrt {3}}-4}}}$

${\displaystyle ={\frac {5({\sqrt {3}}-4)}{({\sqrt {3}}+4)({\sqrt {3}}-4)}}}$

${\displaystyle ={\dfrac {5({\sqrt {3}}-4)}{{\sqrt {3}}^{2}-4^{2}}}}$

${\displaystyle ={\dfrac {5({\sqrt {3}}-4)}{3-16}}}$

${\displaystyle =-{\dfrac {5({\sqrt {3}}-4)}{13}}.}$

Aquí, el denominador irracional se ha racionalizado a .${\displaystyle {\sqrt {3}}+4}$${\estilo de visualización 13}$

La diferencia de dos cuadrados también se puede utilizar como un atajo aritmético. Si se multiplican dos números (cuyo promedio es un número que se puede elevar al cuadrado fácilmente), la diferencia de dos cuadrados se puede utilizar para obtener el producto de los dos números originales.

Por ejemplo:

${\displaystyle 27\times 33=(30-3)(30+3)}$

Usando la diferencia de dos cuadrados, se puede reformular como${\displaystyle 27\times 33}$

$Estilo de visualización a^{2}-b^{2}}$cual es .${\displaystyle 30^{2}-3^{2}=891}$

La diferencia de dos cuadrados perfectos consecutivos es la suma de las dos bases n y n +1. Esto se puede ver de la siguiente manera:

${\displaystyle {\begin{array}{lcl}(n+1)^{2}-n^{2}&=&((n+1)+n)((n+1)-n)\\&=&2n+1\end{array}}}$

Por lo tanto, la diferencia de dos cuadrados perfectos consecutivos es un número impar. De manera similar, la diferencia de dos cuadrados perfectos arbitrarios se calcula de la siguiente manera:

${\displaystyle {\begin{array}{lcl}(n+k)^{2}-n^{2}&=&((n+k)+n)((n+k)-n)\\&=&k(2n+k)\end{array}}}$

Por lo tanto, la diferencia de dos cuadrados perfectos pares es múltiplo de 4 y la diferencia de dos cuadrados perfectos impares es múltiplo de 8.

La ley de los números impares de Galileo , una ramificación de la diferencia de cuadrados consecutivos, establece que la distancia recorrida por un objeto que cae sin resistencia en gravedad uniforme en intervalos de tiempo sucesivos iguales es linealmente proporcional a los números impares. Es decir, si un cuerpo que cae desde el reposo recorre una cierta distancia durante un intervalo de tiempo arbitrario, recorrerá 3, 5, 7, etc. veces esa distancia en los intervalos de tiempo subsiguientes de la misma duración.

De la ecuación de aceleración lineal uniforme, la distancia recorrida para una aceleración constante a velocidad inicial (aceleración debida a la gravedad sin resistencia del aire) y el tiempo transcurrido se deduce que la distancia es proporcional a (en símbolos, ), por lo tanto, la distancia desde el punto de partida son cuadrados consecutivos para valores enteros del tiempo transcurrido. ^[3]$${\displaystyle s=ut+{\tfrac {1}{2}}at^{2}}$$${\displaystyle u=0,}$${\estilo de visualización a}$${\estilo de visualización t,}$${\estilo de visualización s}$${\estilo de visualización t^{2}}$${\displaystyle s\propto t^{2}}$

Varios algoritmos en teoría de números y criptografía utilizan diferencias de cuadrados para encontrar factores de números enteros y detectar números compuestos. Un ejemplo sencillo es el método de factorización de Fermat , que considera la secuencia de números , para . Si uno de los es igual a un cuadrado perfecto , entonces es una factorización (potencialmente no trivial) de .${\displaystyle x_{i}:=a_{i}^{2}-N}$${\displaystyle a_{i}:=\left\lceil {\sqrt {N}}\right\rceil +i}$$Estilo de visualización x_{i}}$$Estilo de visualización b^{2}}$${\displaystyle N=a_{i}^{2}-b^{2}=(a_{i}+b)(a_{i}-b)}$${\estilo de visualización N}$

Este truco se puede generalizar de la siguiente manera. Si mod y mod , entonces es compuesto con factores no triviales y . Esto forma la base de varios algoritmos de factorización (como la criba cuadrática ) y se puede combinar con la prueba de primalidad de Fermat para dar la prueba de primalidad de Miller-Rabin más fuerte .${\displaystyle a^{2}\equiv b^{2}}$${\estilo de visualización N}$${\displaystyle a\no \equiv \pm b}$${\estilo de visualización N}$${\estilo de visualización N}$${\displaystyle \mcd(ab,N)}$${\displaystyle \mcd(a+b,N)}$

La identidad también se cumple en espacios de productos internos sobre el cuerpo de números reales , como por ejemplo para el producto escalar de vectores euclidianos :

${\displaystyle {\mathbf {a} }\cdot {\mathbf {a} }-{\mathbf {b} }\cdot {\mathbf {b} }=({\mathbf {a} }+{\mathbf { b} })\cdot ({\mathbf {a} }-{\mathbf {b} })}$

La prueba es idéntica. Para el caso especial de que a y b tengan normas iguales (lo que significa que sus cuadrados de puntos son iguales), esto demuestra analíticamente el hecho de que dos diagonales de un rombo son perpendiculares . Esto se deduce de que el lado izquierdo de la ecuación es igual a cero, lo que requiere que el lado derecho también sea igual a cero, y por lo tanto la suma vectorial de a + b (la diagonal larga del rombo) punteada con la diferencia vectorial a - b (la diagonal corta del rombo) debe ser igual a cero, lo que indica que las diagonales son perpendiculares.

Si a y b son dos elementos de un anillo conmutativo R , entonces

$${\displaystyle a^{n}-b^{n}=(ab){\biggl (}\sum _{k=0}^{n-1}a^{n-1-k}b^{k}{\biggr )}.}$$

Históricamente, los babilonios utilizaban la diferencia de dos cuadrados para calcular multiplicaciones. ^[4]

Por ejemplo:

93 × 87 = 90² − 3² = 8091

64 × 56 = 60² − 4² = 3584

• Suma de dos cubos
• Número binomial
• La identidad de Sophie Germain
• Factorización aurifeuilleana
• Congruum , la diferencia compartida de tres cuadrados en progresión aritmética
• Conjugado (álgebra)
• Factorización

• Stanton, James Stuart (2005). Enciclopedia de matemáticas. Infobase Publishing. pág. 131. ISBN 0-8160-5124-0.
• Tussy, Alan S.; Gustafson, Roy David (2011). Álgebra elemental (quinta edición). Cengage Learning. págs. 467–469. ISBN 978-1-111-56766-8.

• Diferencia de dos cuadrados en mathpages.com