トゥエ・ジーゲル・ロスの定理

トゥエ・ジーゲル・ロスの定理（）、あるいは単にロスの定理 () は、代数的数に対するディオファントス近似における基本的な定理である。定量的な定理であり、与えられた代数的数 が「非常に良い」有理数近似をそれほど多くは持たないかもしれないというものである。半世紀以上に渡って、この「非常に良い」の意味は多くの数学者によって改良されていった。はじめは1844年にジョゼフ・リウヴィルによって、そして , , , らの仕事が続いた。
定理の主張.
トゥエ・ジーゲル・ロスの定理の主張は、任意の代数的無理数 の無理数度は に等しいというものである。すなわち、与えられた に対し、不等式
を満たす互いに素な整数 の組は有限個しか存在しない。このことはジーゲルにより予想されていた。したがって、任意の代数的無理数 は、
を満たす。ここで、 は と のみに依存する正数である。
議論.
この種の議論における最初の結果は、代数的数の近似に関するリウヴィルの定理で、次数 の代数的数 に対するディオファントス近似の指数を と与える。超越数の存在を示すにはこの近似で充分であった（リウヴィル数参照）。トゥエは より小さな指数をディオファントス方程式の解に対して適用でき得ることを見出し、1909年にトゥエの定理から、指数は であることを示した。その後、ジーゲルの定理によって formula_3、1947年のダイソンの定理によって formula_4 と指数の値が改良された。
指数が となるロスの定理は、 とすると定理が成立しないという意味で最良である。ディリクレのディオファントス近似定理により、任意の無理数に対し無限個の解が存在するからである。しかし、サージ・ラングによるより強い予想：
は整数解 を有限個しか持たないという予想がある。 が代数的な実数に限らず実数全体で動くとすると、ロスの定理とラングの予想の双方は、ほとんど全ての に対して成立する。ロスの定理もラングの予想も、ある可算集合は測度 のある集合を見逃しているということを主張する。
ロスの定理は、有効な結果（計算可能）ではない。すなわち、与えられた に対する の取り得る値の上限が示されていないということである。
 は、ロスの方法が、「ギャップ」原理を用いて、不等式を満たす の数に対する有効な（計算可能な）制限を与えることに利用できる可能性のあることを示した。
 を実際の値を示せないという事実は、方程式を解いたり解の大きさの制限を定めたりすることは困難であることを意味する。
証明の方法.
証明の方法は、多変数の を構成することで、良い近似が多数存在することの矛盾を導くという方法だった。この種の手法の性質から、ロスの定理は数論において有効ではない。この種の定理は主としてディオファントス方程式の解の個数を制限することに利用されるため、ロスの定理が有効な結果ではないということは、特に重要である。
一般化.
高次元のバージョンもあり、基本的結果としてはがある。また数多くの拡張があり、例えば、ロスの方法に基づいて "p" 進計量を使うものがある。
LeVeque は、固定された代数体から近似値を定める場合に、同様な制限が成り立つことを示すことで、ロスの定理を一般化した。代数的数の の高さ函数 を、最小多項式の係数の絶対値が最大となるように定義する。 を固定すると、与えられた代数的数 と代数体 に対し、方程式
は、 の元 の中には有限個しか解を持たない。