前>>470非自明な有理点の意味がわからない。
>>514
y(1-y^2)=2x(1-x)/(1+x)
=2x(1-x^2)/(1+x)^2
x=yのとき2/(1+x)^2=1
x=y=±√2-1 (複号同順)
∴非自明な二つの有理点は(√2-1,√2-1),(-√2-1,-√2-1)
根号を使ったら無理点か。じゃあだめか。