【３】ロスの定理

　これらの結果はすべてαの次数ｎに関係した結果であったが，ジーゲルは実はｋ≦２であろうと予想した．彼の予想が正しいとすると，ディリクレの定理からｋ≧２であるから，合わせるとｋ＝２という結論を得ることができる．

　この予想は１９５５年，イギリスの数学者ロスによって証明された．

「無理数αが無限に多くの既約分数解｛ａn／ｂn｝をもてば，ｋ≦２が成立する．」

　つまり，ロスの定理は次数ｎ≧２の代数的数αは最良無理測度２をもつというもので，ディリクレに始まった無理数を有理数で近似する問題に関する決定的な結果（ｋ＝２）であって，ディオファントス近似に対する一応の終止符が打たれたことになる．この業績によりロスにはフィールズ賞が与えられることになった（１９５８年）

　　［参］平松豊一「初等数学アラベスク」牧野書店

によると，この証明は高度な数学理論を使わずとも可能なごく初等的なものであるそうである．いささかの感動をおぼえる話である．

　なお，リドゥやシュミットによるロスの定理の拡張もあるとのこと．リドゥ（１９５７年）はｐ，ｑの素因子に関するある制限のもとにｋの下限がより小さくできることを示した．シュミット（１９７１年）の拡張は部分空間定理と呼ばれるものである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝