>>83
> 整数比とならない場合でもrが無理数でyが無理数である解は存在する
> よくわかりません。
> 命題は、解x,y,zは整数比とならない。です。

rが無理数であることから言えることは次の3通り

[1] rが無理数,yが有理数のとき解x,y,zは整数比とならない
[2] rが無理数,yが無理数で解x,y,zは整数比とならない
[3] rが無理数,yが無理数で解x,y,zは整数比となる

[1]を満たす解はp=2とpが奇素数のどちらでも必ず存在する
[2]を満たす解はp=2とpが奇素数のどちらでも必ず存在する
[3]を満たす解が存在するかどうかが本来証明すべきこと

> 整数比とならない場合でもrが無理数でyが無理数である解は存在する
は
[2]を満たす解はp=2とpが奇素数のどちらでも必ず存在する

>>60
> (3)はrが無理数なので、yが有理数のとき
ここでは[1]のみが扱われている

[2],[3]を扱わないことはrが無理数,yが無理数である解を
全て取り除くことと同じであり
特に[3]を満たす解が扱われていない場合は
整数比となる解を全て取り除いた場合と言える

よって>>75が言える