>>11
(3m±1)^2 = 9m^2 ±6m +1

より3の倍数ではない整数を二乗したとき
3で割った余りは1

a,b,cが全て3の倍数ではないとすると
a^2 +b^2 を3で割った余りは 2になるが
c^2 を3で割った余りは1になり矛盾