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

257 ：日高：2023/02/16(木) 15:02:14.77 ID:1yy35UKJ.net

＞あなたが明らかにすべきなのは、
AB=CD が成立しているときに、
A=C と B=D が成立することです。

(3)式の場合。
xが有理数、yが無理数ならば、A=C と B=D が成立します。(B-D=0)
x,yが有理数ならば、B-Dは、0以外の有理数となります。