フェルマーの最終定理の簡単な証明６

>682
x=(5/2)√3はr=z-x=√3を満たすから
x^2+y^2=(x+√3)^2を満たす「無理数x」だろ

x^2+y^2=(x+√3)^2を満たす「無理数x」のことです。