Discrete mathematics - Find all integer solutions of the equation $a^2+ b^2 + c^2=a^2 b^2$. [duplicate]
Solution 1:
Here are some hints.
Case $1$: $a$ or $b$ is even.
Then RHS $\equiv 0 \pmod 4$. Then we get that the LHS is also $0 \pmod 4$. The LHS will be a sum of one square or two squares modulo $4$ in this case. This forces all of $a,b,c$ to be even since the quadratic residues modulo $4$ are either $0$ or $1$. Thus, unless all $a,b,c$ are $0$, we can divide out the powers of $2$ to get to case $2$.
Case $2$: Both $a,b$ are odd.
Then RHS is $1 \pmod 4$ and LHS is $2+c^2 \pmod 4$. This equation is impossible.
Thus the only solution is $(0,0,0)$.
Solution 2:
The equation is equivalent to $$ c^2+1=(a^2-1)(b^2-1) $$ Since the left side is either $1$ or $2$ mod $4$, and the right side is either $0$ or $1$ mod $4$, they must both be $1$ mod $4$, which means that $a,b,c$ must be even.
Since any prime which is $3$ mod $4$ is a Gaussian prime, no prime which is $3$ mod $4$ can divide $c^2+1=(c+i)(c-i)$. Thus, the only primes which can divide $c^2+1$ must be $1$ mod $4$.
Since $a^2-1$ and $b^2-1$ are both $3$ mod $4$, they must have a prime factor which is $3$ mod $4$ and hence cannot divide the left hand side (except if they are both $-1$). Thus, the only solution is when $a,b,c=0$.