>>426
日大の平田さんのレポート
http://www.ma.noda.tus.ac.jp/u/ha/SS2006/Data/Hokoku/hirata.pdf

より抜粋
Theorem 1.1 (Liouville の定理)

Theorem1.1 の証明では，整数のような「粗に存在している」集合の元に対して，異なる元の
距離が1 以上つまり「ゼロでない整数の絶対値は1 以上」という事実に帰着して考えるところ
が本質的な点である．
ディオファントス問題で我々の興味を持つ対象は，有理点と総称されるような，Q, Z, Q，有
限次代数体などの元であるが，これらはすべて粗なる集合である．この考え方で見ることが必
然である．単に有理数を実数の中で捉えたら，有理数の稠密性という性質があって困る訳だ
が，有理数を分母と分子の整数の組である数と捉えることが重要なのである．異なる有理数と
いうものを，異なる整数の話に帰着させれば良いのである．そうすれば異なる元の距離が1 以
上という断固たる事実から，非自明なる下からの評価が従い，興味のある有理点の考究が可能
となる．
同様に，d 次の代数的数α も，「Z 係数のα の最小多項式fα の係数」を並べたd + 1 次元整
数格子の点と考えられる．整数格子の点は距離が一定以上離れているのだから，異なる代数
的数同士が互いに近いことは不可能であると言うのがLiouville の定理である．すなわち，代
数的数同士は良く近似できないということを表していて，実に自然な定理なのである．なお，
Liouville の定理よりも後述のRoth の定理が（一部の範疇の数を除いて）より良い近似を与え
ている．
(引用終り)

はあ・・、すごいね。目から鱗やわ（＾＾；
Liouville の定理なんて、なんども見たけど、意味分からんし、スルーしてたけど

”異なる元の距離が1 以上つまり「ゼロでない整数の絶対値は1 以上」という事実に帰着して考えるところが本質的な点である．”
”単に有理数を実数の中で捉えたら，有理数の稠密性という性質があって困る訳だが，・・・異なる元の距離が1 以上という断固たる事実から，非自明なる下からの評価が従い，興味のある有理点の考究が可能となる．”

なるほど！　そうなんや！　（＾＾