>990
ここは(3)をy^2=4x+4としてyを任意の有理数とするとxも有理数になると解釈してやってもいいんじゃないか

はい。いいです。