Infinite descent This Wikipedia article of Infinite Descent says:

We have
  $ 3 \mid a_1^2+b_1^2 \,$.
  This is only true if both $a_1$ and $b_1$ are divisible by $3$.

But how can this be proved?

Well, we have two possibilities, first if neither $a_1$ nor $b_1$ is divisible by $3$ then that means that they have the form $a_1 = 3k \pm 1$ and $b_1 = 3t \pm 1$. Then $$a_1^2 + b_1^2 = (3k \pm 1)^2 + (3t \pm 1)^2 = 9k^2 \pm 6k + 1 + 9t^2 \pm 6t + 1 = 3A + 2$$
where $A = 3k^2 \pm 2k + 3t^2 \pm 2t$ and thus since $a_1^2 + b_1^2 = 3A + 2$ we can conclude that $3 \nmid a_1^2 + b_1^2$.
The other possibility is that exactly one of $a_1$ or $b_1$ is divisible by $3$. Let's assume that $a_1$ is divisible by $3$ but $b_1$ isn't. Then they have the form $a_1 = 3k$ and $b_1 = 3t \pm 1$. Thus
$$
a_1^2 + b_1^2 = (3k)^2 + (3t \pm 1)^2 = 9k^2 + 9t^2 \pm 6t + 1 = 3B + 1
$$
where $B = 3k^2 + 3t^2 \pm 2t$ so again since $a_1^2 + b_1^2 = 3B + 1$ then $3 \nmid a_1^2 + b_1^2$.
