>>103
点のX座標が無理数だったら、Y座標が何であれ、
その点は格子点ではあり得ないですよね。

だからX座標が無理数であることを示した時点でQ.E.D.と思うのですが・・・