04/02/07 23:46
>>235
a>cと仮定する。
b^2=a^2+c^2-acとなるがb^2=(a-c)a+c^2>c^2よりb>c
(b-c)(b+c)=a(a-c)より
b-cまたはb+cがaで割れる。（aが素数であるから）
・b-c=akとなる場合(k>0)
ak(ak+2c)=a(a-c)
(k^2-1)a+(2k+1)c=0となるが左辺>0となるので矛盾。
・b+c=akとなる場合(k>0)
ak(ak-2c)=a(a-c)
(k^2-1)a=(2k-1)cでa>cよりk^2-1<2k-1となるが
このようなkはk=1しかない。この時c=0となるので矛盾。
よってa=cとなる。
もっと簡単に出来る方法はある？