proof: primitive pythagorean triple, a or b has to be divisible by 3

Any square is congruent to 0 or 1 modulo 3

So having, $a^2 + b^2 = c^2$

Let's suppose neither a nor b is divisible by 3, then, the squares must be 1 modulo 3.

So, the expression can be re-written as:

$(3k + 1) + (3k' + 1) = c^2$

and then

$3 (k + k') + 2 = c^2$

That is, $c^2$ is a square congruent 2 module 3, which is absurd.

Edit: maybe I should add that for definition of Pythagorean triple, only one can be divisible by 3, not both.


\begin{array}{|c|c|} \hline n \pmod 3 & n^2 \pmod 3 \\ \hline 0 & 0 \\ 1 & 1 \\ 2 & 1 \\ \hline \end{array}

If neither $a$ nor $b$ is a multiple of $3$, then $a^2 + b^2 \equiv c^2 \pmod 3$ becomes $1 + 1 \equiv c^2 \pmod 3$, which simplifies to $c^2 \equiv 2 \pmod 3$; which has no solution.