>254
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
この後半部分「yが有理数のときに整数比となる」は，「(4)には有理数解があることになる」なら正しいですよ。
でも，>251で指摘したように，このときyをw(<>1)で割っていることになるので，このy/wは(3)の解ではありません。
ですから，ここで矛盾は導けません。
なので，(4)の有理数解の存在可能性は否定できていません。

この部分が、理解できません。