0505日高垢版 | 大砲2020/08/08(土) 19:23:30.22ID:Qb1Hf8CQ >501 (s^p+t^p)^(1/p)が有理数の時、 (4)はrが自然数のとき、(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、有理数解を持つ。 有理数解をもつ場合が見つかったのだから、証明は失敗です。 有理数解をもつかどうかは、不明です。