a,b,cは最大公約数が1である自然数で、a^2=b^2+c^2-bcをも満たすとき
aを3で割ったときの余りは1になるらしいのですが

どう示せばいいでしょうか。