>>454

あなたの書いた

> (3)のx,yが無理数の場合は、x=sw、y=twとおく。
> (sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。(s,tは有理数、wは無理数)
> 両辺をw^nで割ると、s^n+t^n=(s+n^{1/(n-1)}/w^n)^n…(A)となるので、
> s+n^{1/(n-1)}/w^n=u…(B)となるかを検討する。(uは有理数)
> (A)より、w^n=n^{1/(n-1)}/(s^n+t^n)^(1/n)-sとなるので、(B)に代入すると、
> (s^n+t^n)^(1/n)=u、s^n+t^n=u^n…(C)となる。
> (C)は、(4)のx,y,zが有理数の場合と、同じとなる

これの最初と最後ですよ
(3)のx、yが無理数x=sw,y=twの場合、を式変形すると、(4)のx,y,zが有理数の場合、と同じとなる
これは、AグループとAＡグループは同じ比である。と同じことです