La primera asume que el $p>2$ (debido al $p=2$ la ecuación de $u^2+v^2=8$ es fácil de resolver).
Ahora utilice el siguiente truco para formar $2p-u-v$ :
$$4p^2=2\cdot 2p^2=2(u^2+v^2)=(u+v)^2+(u-v)^2$$
y el uso de la diferencia de cuadrados :
$$(2p-u-v)(2p+u+v)=(u-v)^2 $$
Deje $q$ ser un primer factor de $2p-u-v$ $2p+u+v$ así :
$$q \mid (2p-u-v)+(2p+u+v)=4p$$
$$q \mid (2p+u+v)-(2p-u-v)=2(u+v)$$
Ahora vamos a considerar dos casos :
- Si $q$ es impar, a continuación,$q \mid p$, pero debido a $p$ es primo de ello se sigue que $q=p$ y, a continuación,$p \mid u+v$ .
Pero entonces :
$$p \mid (u+v)^2-(u^2+v^2)=2uv$$
$$p \mid uv$$
Si, por ejemplo, $p \mid u$ también $p \mid v$ porque $p \mid u+v$ .Así, tanto la $u$ $v$ son divisibles con $p$ y así :
$$2p^2=u^2+v^2 \geq p^2+p^2=2p^2$$
Por lo tanto debemos tener $u=v=p$ $2p-u-v=0$ es un cuadrado perfecto .
- Si ninguno de los factores primos comunes a $q$ es impar entonces su dpc debe ser una potencia de dos , algunos $2^k$
El uso de la identidad :
$$(2p-u-v)(2p+u+v)=(u-v)^2 $$
de ello se desprende que $2p-u-v=2^kx^2$ $2p+u+v=2^ky^2$ algunos $x$$y$ .
Por lo tanto si $k$ es incluso, a continuación, $2p-u-v$ es un cuadrado perfecto, y si es impar es el doble de un cuadrado perfecto, lo que demuestra la demanda .