ペル方程式√2^(√2)は無理数か inverse limit（だったかな？）x^2+y^2=n が有理数解をもつ→格子点がある ほー なんじゃそりゃ むずー笑 でも、「x^2+y^2=n が有理数解をもつ→格子点がある」の証明を誘導でやる問題が高１向けのテキストにあったよ・・・ なん…