ディオファントス近似

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

**ディリクレの定理**
基本的な問題としては、任意の無理数 α に対して、

となるような整数 x, y を求めることが挙げられる。ディリクレのディオファントス近似定理により、上式を満足する x と y は無数に存在する。不等式は

と書き直すことができることから、「任意の無理数 α に対して、誤差が  以下であるような、近似有理数 x/y を求める」と言い換えることができる。
円周率  を小数点以下3桁まで十進数表記するとすれば 3.141 である。これを分数で表記すれば 3141/1000 であり、

が成立するので誤差を1/1000以下に出来る。しかしディオファントス近似は、より小さい分母によって、より良い近似ができる可能性を示唆するものである。
実際

である。したがって、ディオファントス近似は無理数を有理数で近似する、より良い近似方法の存在を示しているとも言える。
ディオファントス近似の不等式を満たす x, y が無限にあることの証明は鳩の巣原理を使って証明可能である。この証明の過程を利用して、 の近似で性能が良いものを分母が小さい順に求めると、以下のようになる。

これから  の近似として、3|3, 22/7|22/7, 333/106, 355/113, ... を得ることができる。これらの近似値は古代からよく知られた円周率の近似値である。
また、近似値と連分数展開は深い関係にある。例えば  の連分数展開は

であるが、7 の時点で計算を打ち切ると 22/7、15 の時点で打ち切ると 333/106 となる。この手法で5番目の近似値を求めると、円周率の近似として、103993/33102 を得ることができる。また実際

である。

**主な定理**

**リウヴィルの定理**
1840年代、ジョゼフ・リウヴィル (Joseph Liouville) は、代数的数の近似に対する最初の下界を得た。x が有理数体上次数 n の代数的無理数であれば、ある定数 c(x) > 0 が存在して、任意の整数 p と q, ただし q > 0, に対し、

が成り立つ。
この結果によってジョゼフ・リウヴィルは、超越数であることが初めて証明された例であるリウヴィル数、

を得た。この数は、次数 n をどのようにとっても、リウヴィルの定理を満たさない。
ディオファントス近似と超越数論の間のこのつながりは、今日まで続いている。証明の技術の多くが2つの分野の間で共有されている。

**その後の改良**
その後、上記リウヴィルの定理の右辺の q の指数部分は、以下の様に次第に改良されてきた。
最後のロスによる結果は、以下の様に表現される：
Anchors|ロスの定理ロスの定理(トゥエ・ジーゲル・ロスの定理)(1955年)。α が、2次以上の実代数的数ならば、任意の正数 ε に対して、α に依存する正定数 c が存在して、
:
が、全ての有理数 p/q　(q > 0) に対して成立する。
リドゥ (D. Ridout) は、近似分数の分母、分子に現れる素因数を制限することで、ロスの結果が改良されることを示した。
ロス–リドゥの定理(1957年)。α を、2次以上の実代数的数とする。, を相異なる素数、d を正整数とする。また、λ, ρ を、0 ≤ λ ≤ 1, 0 ≤ ρ ≤ 1 を満たす実数とする。正整数 p, q は、
:(*)　
但し、 は、非負整数で、 を満たす。
このとき、任意の  に対して、 に依存する正定数 c が存在して、
:
が、(*) を満たす全ての p/q に対して成立する。
注意　ロスの定理は、1=λ  = ρ = 1 の場合に相当する。

**c の値の導出**
リウヴィルの結果では、右辺に現れる正定数 c は、α が与えられれば、具体的に計算することが可能であるが、ロス（およびトゥエ以降の全ての結果に対しても）の結果では、c の値を計算することはできない（有効な結果ではない）。
もし、与えられた α に対して、c の値を求めることが可能になれば、不定方程式の整数解に対して、解が有限個しか存在しないことだけでなく、整数解の存在範囲を示すことが可能となる。
ベイカーによる対数の1次形式の評価定理を用いて、以下のことが証明されている。
α を次数 d ≥ 2) の実代数的数としたとき、α に依存する計算可能な定数 c と κ ( 0) に対して成立する。
現状では、κ の結果は、ロスの結果には及ばず、例えば、-  の場合、-  の場合、
である。

**関連項目**
 連分数- 不定方程式- 円周率が22/7より小さいことの証明- トゥエ・ジーゲル・ロスの定理- フルヴィッツの定理 (数論)- Davenport–Schmidt theorem- Duffin–Schaeffer conjecture- Low-discrepancy sequence

**脚注**

**参考文献**
 武隈良一：「ディオファンタス近似論」、槇書店（1972年9月20日）- 三井孝美：「解析数論：超越数論とディオファンタス近似論」、共立出版（1977年）.- Cite book|和書|author=鹿野健|year=1978|title=解析数論|publisher=教育出版|location=東京- Cite book|和書|author=塩川宇賢|year=1999|title=無理数と超越数|publisher=森北出版|location=東京- 野口潤次郎：「多変数ネヴァンリンナ理論とディオファントス近似」、共立出版、ISBN 4-320-01694-7 (2003年6月20日)- Daniel Duverney; 塩川宇賢(訳)：「数論 : 講義と演習」、森北出版、ISBN 4-62708142-1 (2006年3月). ※ ディオファンタス問題をテーマにした数論の入門書。- location=New York 本書の冒頭に、リウヴィルの定理、e や π の超越性の証明について記載がある。- jstor = 120997- isbn= 0-387-94456-7- Grigory Margulis, Diophantine approximation, lattices and flows on homogeneous spaces. A panorama of number theory or the view from Baker's garden (Zürich, 1999), 280–310, Cambridge Univ. Press, Cambridge, 2002 1975458 ISBN 0-521-80799-9.- Wolfgang M. Schmidt. Diophantine approximation. Lecture Notes in Mathematics 785. Springer. (1980 1996 with minor corrections)- Wolfgang M. Schmidt.Diophantine approximations and Diophantine equations, Lecture Notes in Mathematics, Springer Verlag 2000- mr = 0548467 
*cite journal |zbl=1148.11033 |last1=Beresnevich |first1=Victor |last2=Velani |first2=Sanju |title=A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures |journal=Annals of Mathematics |volume=164 |year=2006 |pages=971–992 |doi=10.4007/annals.2006.164.971|ref=harv- cite book |last=Bugeaud |first=Yann |title=Distribution modulo one and Diophantine approximation |series=Cambridge Tracts in Mathematics |volume=193 |location=Cambridge |publisher=Cambridge University Press |year=2012 |isbn=978-0-521-11169-0 |zbl=pre06066616 |ref=harv- cite book |first=J. W. S. |last=Cassels |authorlink=J. W. S. Cassels |title=An introduction to Diophantine approximation |series=Cambridge Tracts in Mathematics and Mathematical Physics |volume=45 |publisher=Cambridge University Press|isbn=3-540-61788-4 |year=1957 |ref=harv
*cite journal |zbl=0025.11002 |last1=Duffin |first1=R. J. |last2=Schaeffer |first2=A. C. |title=Khintchine's problem in metric diophantine approximation |journal=Duke Mathematical Journal |volume=8 |pages=243–255 |year=1941 |issn=0012-7094 |doi=10.1215/s0012-7094-41-00818-9|ref=harv
*cite journal | last1=Dyson | first1=Freeman J. | author1-link=Freeman Dyson | title=The approximation to algebraic numbers by rationals | doi= 10.1007/BF02404697 | mr=0023854 | zbl=0030.02101 | year=1947 | journal=Acta Mathematica | issn=0001-5962 | volume=79 | pages=225–240 | ref=harv
*cite book |first=G. H. |last=Hardy |author1link=G. H. Hardy |first2=E. M. |last2=Wright |author2link=E. M. Wright |title=An Introduction to the Theory of Numbers |edition=5th |year=1979 |publisher=Oxford University Press |isbn=978-0-19-853170-8 |mr=568909 |ref=harv
*ref=harv- ref=harv
*jstor=120997- cite book |first=Serge |last=Lang |authorlink=Serge Lang |title=Introduction to Diophantine Approximations |edition=New expanded |publisher=Springer-Verlag |year=1995 |isbn=0-387-94456-7 |zbl=0826.11030 |ref=harv- cite book |first=G. A. |last=Margulis |authorlink=Grigory Margulis |chapter=Diophantine approximation, lattices and flows on homogeneous spaces |title=A panorama of number theory or the view from Baker's garden |editor1-last=Wüstholz |editor1-first=Gisbert |editor1-link=Gisbert Wüstholz |pages=280–310 |publisher=Cambridge University Press |location=Cambridge |year=2002 |mr=1975458 |zbl= |isbn=0-521-80799-9 - ref=harv- ref=harv
*cite journal | last1=Roth | first1=Klaus Friedrich | author1-link=Klaus Friedrich Roth |title=Rational approximations to algebraic numbers | doi=10.1112/S0025579300000644 | mr=0072182 | year=1955 | journal=Mathematika | issn=0025-5793 | volume=2 | pages=1–20, 168 | zbl=0064.28501|ref=harv- cite book |zbl=0421.10019 |last=Schmidt |first=Wolfgang M. |authorlink=Wolfgang M. Schmidt |edition=1996 |title=Diophantine approximation |series=Lecture Notes in Mathematics |volume=785 |location=Berlin-Heidelberg-New York |publisher=Springer-Verlag |year=1980 |isbn=3-540-09762-7 |ref=harv- cite book |last=Schmidt |first=Wolfgang M. |authorlink=Wolfgang M. Schmidt |title=Diophantine approximations and Diophantine equations |series=Lecture Notes in Mathematics |volume=1467 |publisher=Springer-Verlag |year=1996 |edition=2nd |isbn=3-540-54058-X |zbl=0754.11020 |ref=harv
*cite journal | last1=Siegel | first1=Carl Ludwig | author1-link=Carl Ludwig Siegel | title=Approximation algebraischer Zahlen  
journal=Mathematische Zeitschrift | issn=0025-5874 | volume=10 | issue=3 | pages=173–213 | ref=harv- zbl=0482.10047
*cite journal | last1=Thue | first1=A. | author1-link=Axel Thue | title=Über Annäherungswerte algebraischer Zahlen | url=http://resolver.sub.uni-goettingen.de/purl?PPN243919689_0135 | year=1909 | journal=Journal für die reine und angewandte Mathematik | issn=0075-4102 | volume=135 | pages=284–305 | doi=10.1515/crll.1909.135.284 | ref=harv- Nigel P. Smart: The Algorithmic Resolution of Diophantine Equations, Cambrdige Univ. Press, ISBN 0-521-64156-X (1998).- J.H.Evertse: Upper Bounds for the Numbers of Solutions of Diophantine Equations, Mathematisch Centrum, ISBN 90-6196-265-X (1983年).- Kurt Mahler: Lectures on Diophantine Approximations, Part 1: G-adic Numbers and Roth's Theorem, Univ. Notre Dame, (1961).

**外部リンク**
  Diophantine Approximation: historical survey. From Introduction to Diophantine methods course by Michel Waldschmidt.- urlname=Diophantine_approximations