We have 8a2+1=b2, so b2−8a2=1.
Consider the equation modulo 3:
8a2+1≡b2(mod3)
Since 8≡2(mod3), we have:
2a2+1≡b2(mod3)
Now, a2 modulo 3 can be 0 or 1:
- If a≡0(mod3), then a2≡0.
- If a≡1(mod3) or a≡2(mod3), then a2≡1.
Case 1: a≡0(mod3)
Then 2a2+1≡0+1=1(mod3), so b2≡1(mod3).
Possible values for b modulo 3 are 1 or 2 (since 12≡1, 22≡1).
Thus, ab≡0(mod3).
Case 2: a≡1(mod3) or a≡2(mod3)
Then a2≡1, so 2a2+1≡2⋅1+1=3≡0(mod3), so b2≡0(mod3).
Thus, b≡0(mod3), so ab≡0(mod3).
In all cases, ab is divisible by 3.