| 3-2_p_001 の 最後から2行目 「 X,Yが共に有理数とならないので、x,yも共に無理数とならない。 」 が、間違いですが どうしてもそういいたいのであれば なぜ x=9√3/3 y=10√3/3 z=12√3/3 とならないのか証明しなければなりません 論理が飛躍しています X,Y,Zが有理数とならないのは Z-Xを無理数となるようにして X,Y,Zを有理数とならないように適当な数で割っているからであって X^p+Y^p=Z^pとなるような有理数X,Y,Zが無いといっているわけではないのです それから p=2の時は Z-X=2 を有理数2となるように適当な数で割っているから x,y,zが有理数、無理数どちらでも,x:y:zが有理数比の場合は 必ずX,Y,Zは有理数となるため X^2+Y^2=Z^2となるような有理数X,Y,Zが無いといえないのですが p=2の時も X=(x√2)/(z-x) Y=(y√2)/(z-x) Z=(z√2)/(z-x) とすれば Z-X=√2 となって x,y,zが有理数の場合は 必ず X,Y,Zが無理数となり、 X,Y,Zが有理数とならない とできるけれども 3^2+4^2=5^2 という反例があるのでそれが偽証である事がすぐわかるのです
|