0230日高垢版 | 大砲2020/05/23(土) 08:42:08.05ID:Wgq9oPbS >229 s^p+t^p=u^pは成り立ちますが、s^p+t^p=u^pは(3)式ではありません。 「x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数で整数比の解x=αs,y=αt,z=αuがあるとき、」 と仮定したので、(3)式となります。