a,b,cが自然数で、a^2 + b^2 - ab = c^2 が成り立つとき
cを3で割ると1余ることを示せ。


これはどうのように考えればいいでしょう。