✨ ベストアンサー ✨
mod 4で解くと、絞り込みきれないからです。
1^2≡3^2≡1 (mod 4) より、bが奇数のとき
3b^2≡3 (mod 4)
ですが、ここから分かるのは
a^2≡0 かつ c^2≡1
までです。これだけではaが4の倍数である可能性が残ります。
そこで、より厳しい条件としてmod 8を設定して解いています。
なお、奇数の平方を8で割った余りが1であることは頻出です。
(2k+1)^2
= 4k^2 + 4k + 1
= 4k(k+1) + 1
= (8の倍数) + 1 (∵k(k+1)は連続2整数の積)
分かりました!ありがとうございます!!