Divisibility proof for numbers coprime to $6$ Can someone check on this? If it is wrong please refrain from telling me the answer.
Suppose $(6,a) = (6,b) = 1$. We wish to prove $24 \mid (a^2-b^2)$.
We can see that $(4,a) = (4,b) = 1$ since $2 \mid 4$ and $2 \mid 6$, so, $(24, a) = (24, b) = 1$. By Bezouts identity, any integer can be represented by a linear combination of two integers that are relatively prime, so let $a^2 - bx_2 = ax_1 + 24y_1$ and $b^2 - ax_1 = bx_2 + 24y_2$ for some $x_1,y_1,x_2,y_2 \in \mathbb{Z}$. Then $a^2 - b^2 = bx_2 - bx_2 + ax_1 - ax_2 + 24y_1 - 24y_2$. So $a^2 - b^2 = 24(y_1 - y_2)$. So $24 \mid (a^2 - b^2)$. $\square$

Hints.


*

*The numbers are all of the form $6n \pm 1$

*If $n$ is odd, then $3n \pm 1$ is even.

*$(6n \pm 1)^2 - 1$ is a multiple of 24.

*$(6a \pm 1)^2 - (6b \pm 1)^2 = [(6a \pm 1)^2 - 1] - [(6b \pm 1)^2 - 1]$.
