>687
・前段「(3)のyが無理数のとき、「x,y,zが整数比となるならば、」」は以下の式であらわされます。
(sw)^n + (tw)^n = ((sw) + n^{1/(n-1)})^n  ...式(イ)
(s, t は有理数、w は無理数)
・後段「(3)でyが有理数のときに整数比となる。」は以下の式であらわされます。(まだ式(ロ)は成り立っていない事に注意)
b^n + c^n = (b + n^{1/(n-1)})^n  ...式(ロ)
(b, c, (b + n^{1/(n-1)})もかな? は有理数で整数比)

式(ロ)と「有理数で整数比」が成り立つように、
b, c を s, t, w, (【証明】で使った記号など) であらわしてください。
それができればあなたの主張(a)は通ります。

「x,y,zが整数比となるならば、」としています。
実際には、x,y,zは、n>2のときは整数比となりません。n=2ならば、なります。