済みませんおっしゃる通り条件が抜けてます済みません。aとbは違う自然数です。

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