ディオファントス近似
ディオファントス近似（ディオファントスきんじ、英: Diophantine approximation）とはある数（実数など）を別のより単純な構造を持つ数（有理数など）で近似する方法やその値、あるいはそれについて研究する数論の一分野である。アレクサンドリアのディオファントスに因む。
最初の問題は、実数が有理数によってどのぐらいよく近似できるかを知ることであった。この問題のために、有理数 p/q が実数 α の「良い」近似であるとは、p/q と α の差の絶対値が、p/q を分母が小さい別の有理数に置き換えたときに小さくならないこととする。この問題は連分数によって18世紀に解かれた。
与えられた数の「最もよい」近似が分かり、この分野の主要な問題は、上記の差のよい上界と下界の分母の関数としての表示を見つけることである。
これらの上下界は近似される実数の性質に依存すると思われる。有理数の別の有理数による近似に対する下界は代数的数に対しての下界よりも大きい。後者はそれ自身すべての実数に対する下界よりも大きい。したがって代数的数に対する上下界よりもよく近似できる実数はもちろん超越数である。これによりリウヴィルは1844年に最初の明示的な超越数を生み出した。後に π や e が超越数であることの証明が類似の方法により得られた。
ディオファントス近似は、無理数や超越数の研究と深く関連している。実際、代数的数については次数や高さに依存して近似の精度に限界があることが知られている。また、不定方程式など、数学上の他の問題でもディオファントス近似に帰着することが多い。例えば、ペル方程式 y2=2x2-1 の整数解は 2 の平方根のディオファントス近似に帰着する。
ディリクレの定理
基本的な問題としては、任意の無理数 α に対して、
