La factorización de una diferencia de cuadrado es el producto de dos binomios conjugados:
a² - b² = (a + b).(a - b)
Nótese que el termino que cambia de signo en los binomios conjugados es el correspondiente al término que se resta en la diferencia de cuadrado. Así, para factorizar debe obtenerse primero la raíz cuadrada de cada termino de la diferencia y, posteriormente, construir con ellas el par de binomios conjugados necesarios para tal fin.
Una prueba visual para demostrar geométricamente esta proposición: