初等数学によるフェルマーの最終定理の証明６

>>364
(2)は等式です。それが有理数になるとは、どういう意味ですか？

引用すると、>>357では

> (2^2)k=[{(t+1)^2}k+u]-{(t^2)k+u}…(2)k=(y/2)^2,uは有理数。
なので、

左辺が有理数ならば、右辺も有理数です。