フェルマーの最終定理の簡単な証明7

>748
p=が奇素数、aが共通の無理数の時
(xα)^p+(yα)^p=((xα)+(p^{1/(p-1)})α)^pの、両辺をa^pで、割った
x^p+y^p=(x+p^{1/(p-1)})^pの、x,yが有理数のとき、成り立つならば、
この式は、有理数解を持つ。