Una pequeña manipulación de cambios el problema en una forma más familiar. Estamos interesados en la ecuación de Diophantine $a^2+b^2+2ac=y^2$. Completar el cuadrado. Así que nuestra ecuación es equivalente a $(a+c)^2+b^2-c^2=y^2$. Escribir $x$$a+c$. Nuestra ecuación se convierte en
$$x^2+b^2=y^2+c^2.\tag{$1$}$$
Con el fin de deshacerse de trivial soluciones, supongamos que estamos buscando soluciones de la ecuación original en los positivos enteros. A continuación,$x=a+c\gt c$. La condición de $b\ne c$ significa que somos, en esencia, tratando de expresar los números enteros como una suma de dos cuadrados de dos maneras diferentes.
El menor entero positivo que es una suma de dos distintas positivo cuadrados en dos formas diferentes es$65$, $8^2+1^2$ también $7^2+4^2$. Así que podemos tomar $x=a+c=8$, $b=1$, y $c=7$, dando la solución $a=1$, $b=1$, $c=7$. O de lo contrario nos puede llevar a $c=4$, dando la solución $a=3$, $b=1$, $c=4$. O de lo contrario nos puede llevar a $x=a+c=7$.
El siguiente valor entero que es la suma de dos distintas positivo cuadrados en dos formas diferentes es $85$. Podemos utilizar las descomposiciones $85=9^2+2^2=7^2+6^2$ para producir soluciones de nuestra ecuación original.
Teoría General: Supongamos que podemos expresar $m$ $n$ como una suma de dos cuadrados, decir $m=s^2+t^2$$n=u^2+v^2$. Entonces
$$mn=(su\pm tv)^2+(sv\mp tu)^2.\tag{$2$}$$
Identidad $(2)$ es muy importante, a veces llamado el Brahmagupta Identidad. Está conectado, entre otras cosas, con la multiplicación de números complejos, y la suma de las identidades para el seno y coseno.
Identidad $(2)$ puede ser utilizado para producir infinitamente muchas soluciones no triviales de la Ecuación ( $(1)$ , y por lo tanto infinitamente muchas soluciones de nuestra ecuación original. Por ejemplo, cualquier primos de la forma $4k+1$ puede ser representada como una suma de dos cuadrados. A partir de dos números primos $m$ $n$ de esta forma, se puede utilizar la Identidad de $(2)$ para obtener dos esencialmente diferentes representaciones de $mn$ como una suma de dos cuadrados, y por lo tanto las soluciones de nuestra ecuación original.