Impares, números primos: primero Nos encargamos de el caso $x^2+1$, $y^2+1$ ambos impares, números primos. Si $x^2+1$ $y^2+1$ son impares, entonces $x$, $y$, y $z$ son incluso.
Factor en los enteros de Gauss. Tenemos
$$(x-i)(x+i)(y-i)(y+i)=(z-i)(z+i).$$
Tenga en cuenta que $x\pm i$ $y\pm i$ son primos de Gauss. Y desde $z$ es incluso, los enteros de Gauss $z-i$ $z+i$ son relativamente primos.
El Gaussiano prime $x-i$ se divide una de $z-i$ o $z+i$. La misma observación se aplica a todos los otros primos de Gauss a la izquierda. Y no podemos tener, por ejemplo, tanto en $x-i$ $x+i$ dividiendo $z-i$, otra cosa $x^2+1$, pero no es así. Del mismo modo, $y-i$ $y+i$ no puede dividir a $z-i$. Comentarios similares se pueden hacer sobre $z+i$.
De ello se desprende que $z-i$ es una unidad de veces uno de los productos de $(x-i)(y-i)$ o $(x-i)(y+i)$ o $(x+i)(y-i)$ o $(x+i)(y+i)$.
Los argumentos de los cuatro casos que son ahora esencialmente el mismo. Consideremos el primer caso, $(x-i)(y-i)$, equivalente a una unidad veces $z-i$. Tenemos $(x-i)(y-i)=xy+1-i(x+y)$. Supongamos que esto es igual a una unidad de $\epsilon$ veces $z-i$. Entonces
$$xy+1-i(x+y)=\epsilon(z-i).$$
Si $\epsilon=\pm 1$, estamos en problemas porque $xy+1$ es impar y $\epsilon z$ es incluso. Si $\epsilon=\pm i$,$xy+1=\pm 1$, lo cual es imposible.
Un primer aun: Este es el caso de la $x=1$. Obtenemos la factorización de Gauss $(1-i)(1+i)(y-i)(y+i)=(z-i)(z+i)$. El mismo argumento como el de arriba muestra que el $z-i$ es una unidad veces $(1-i)(y\pm i)$. Multiplicarse $(1-i)(y\pm i)$, podemos llegar a la conclusión de que $y=\pm 2$. Por ejemplo, si $z-i$ es una unidad veces $(1-i)(y+i)$, es una unidad veces $1+y+i(1-y)$. Si la unidad es $\pm 1$, obtenemos $1-y=\mp 1$. Y si la unidad es$\pm i$,$1+y=\mp 1$.
.