- フェルマーの最終定理の簡単な証明その４
435 ：１３２人目の素数さん[sage]：2020/09/06(日) 22:02:40.31 ID:fWW8HOIu - >>419氏
ほとんど引用し、一部、言い換えます。日高氏が理解していないようだから。
> >>417
>
> { x^p+y^p=z^p …(0)
> { z=x+p^{1/(p-1)} …(3')
> の連立方程式(03')に対して、
>
> s,t,u は有理数、w は無理数とする。
> x=sw、y=tw、z=uw とおく。
> 式を整理すると、 連立方程式(03')は、
> { s^p+t^p=u^p …(0-2)
> { u=s+(p^{1/(p-1)})/w★ …(3'-2)
>
> となる。なので、
>
> u=s+p^{1/(p-1)} …(3'-3)
とは両立しません。p^{1/(p-1)}≠0,w≠1だから。
> よって、s,u は(3')を満たさないから、s,t,u は連立方程式(03')を満たしません。
|