17/11/26 23:27:55.08 1WQ1V5QH.net
>>596 つづき
上記は下記のここやね（＾＾
「α が代数的な数に限らず実数全体とすると、ロスの定理（とラングの予想の双方）は、ほとんど全ての実数 α に対して成立する」ってことなんだ！（＾＾
ようやく理解できたよ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
トゥエ・ジーゲル・ロスの定理
(抜粋)
トゥエ・ジーゲル・ロスの定理（英: Thue?Siegel?Roth theorem）、あるいは単にロスの定理 (Roth's theorem) は、代数的数に対するディオファントス近似における基本的な定理である。定量的な定理であり、与えられた代数的数 α が「非常に良い」有理数近似をそれほど多くは持たないかもしれないというものである。
半世紀以上に渡って、この「非常に良い」の意味は多くの数学者によって改良されていった。はじめは1844年にジョゼフ・リウヴィルによって、そして Axel Thue (1909), Carl Ludwig Siegel (1921), Freeman Dyson (1947), Klaus Roth (1955) らの仕事が続いた。
議論
この種の議論における最初の結果は、代数的数の近似に関するリウヴィルの定理で、次数 d ? 2 の代数的数 α に対するディオファントス近似の指数を d と与える。超越数の存在を示すにはこの近似で充分であった（リウヴィル数参照）。
トゥエは d より小さな指数をディオファントス方程式の解に対して適用でき得ることを見出し、1909年にトゥエの定理 (Thue's theorem) から、指数は d/2 + 1 + ε であることを示した。その後、ジーゲルの定理 (Siegel's theorem) によって 2√d、1947年のダイソンの定理 (Dyson's theorem) によって √(2d) と指数の値が改良された。
指数が 2 となるロスの定理は、ε = 0 とすると定理が成立しないという意味で最良である。ディリクレのディオファントス近似定理により、任意の無理数に対し無限個の解が存在するからである。しかし、サージ・ラングによるより強い予想：
｜α - p/q｜< 1/{q^2*log q^(1+ε)}
は整数解 p, q を有限個しか持たないという予想がある。
α が代数的な数に限らず実数全体とすると、ロスの定理とラングの予想の双方は、ほとんど全ての実数 α に対して成立する。
つづく