En esta prueba, se escribe $3|a^2+b^2 \implies 3|a$, $3|b$. He intentado utilizar la misma prueba se utiliza para probar $3|a^2 \implies 3|a$ donde $3$ siendo el primer y escribir $a^2 = a\cdot a$ sugiere que $a$ es divisible por $3$. No estoy seguro de cómo probar la $3|a^2+b^2$ de los casos, sin embargo.
E9. No hay ninguna cuádruple de enteros positivos $(x, y, z, u)$ satisfacción $$x^2 + y^2 = 3(z^2 + u^2).$$
Solución. Supongamos que hay un cuádruple. Elegimos la solución con el menor $x^2 + y^2$. Deje $(a, b, c, d)$ ser la solución elegida. A continuación, $$a^2 + b^2 = 3(c^2 + d^2) \implies 3|a^2 + b^2 \implies 3|a, 3|b \implies a = 3a_1, b = 3b_1,\\a^2 + b^2 = 9(a^2_1 + b^2_1) = 3(c^2 + d^2) \implies c^2 + d^2 = 3(a^2_1 + b^2_1).$$
Hemos encontrado una nueva solución de $(c, d, a_1, b_1)$$c^2 + d^2 \lt a^2 + b^2$. Contradicción.
Hemos utilizado el hecho de que $3|a^2 + b^2 \implies 3|a, 3|b$. Mostrar esto a ti mismo. Vamos a volver a ejemplos similares al tratar infinito descenso.