数論において、ディリクレのディオファントス近似定理(ディリクレの近似定理とも呼ばれる)は、任意の実数に対して、そして、 と整数が存在するそしてそのためそして
ここの整数部分を表しますこれはディオファントス近似における基本的な結果であり、任意の実数には一連の優れた有理数近似が存在することを示しています。実際、直接的な結果として、与えられた無理数 α に対して、不等式が成り立ちます。
これは無限に多くの整数pとqによって満たされる。これは、任意の無理数の無理指数が少なくとも 2 であることを示している。
トゥー・ジーゲル・ロス定理は、代数的無理数については、ディリクレの近似定理の系における指数2が最良の近似値であり、そのような数は2より大きい指数では近似できないと述べています。トゥー・ジーゲル・ロス定理は数論の高度な手法を用いますが、黄金比のようなより単純な数も数多く存在します。指数2を超えると近似不可能であることがはるかに容易に検証できる。
この定理は鳩の巣原理の結果である。この結果を証明したペーター・グスタフ・ルジューヌ・ディリクレは、他の文脈(例えば、ペル方程式)でも同じ原理を使用し、原理に(ドイツ語で)名前を付けることでその使用を普及させたが、教科書的な用語としての地位は後になってからである。[ 2 ]この方法は同時近似にも拡張される。[ 3 ]
証明の概要:無理数であり、整数とする。私たちは書くことができますそのためは整数であり、区間を分割することができますの中へより小さな測定間隔.今、私たちは数字そして区間。したがって、鳩の巣原理により、少なくとも2つは同じ区間に属します。それらをそのため。 今:
両辺を結果として、以下のようになります。
そして私たちはその定理を証明した。
ディリクレの近似定理のもう一つの簡単な証明は、ミンコフスキーの定理を集合に適用することに基づいている。
量のより大きいミンコフスキーの定理は、整数座標を持つ非自明な点の存在を確立する。この証明は、集合を考えることで、同時近似に自然に拡張される。
アドリアン=マリー・ルジャンドルは、著書『数の理論に関する試論』(1798年)の中で、有理数が与えられた実数の単純な連分数の収束となるための必要十分条件を導き出しました。 [ 4 ]この基準の帰結は、連分数の研究においてしばしばルジャンドルの定理と呼ばれ、次のようになります。 [ 5 ]
定理。αが実数で、 p、qが正の整数である場合、すると、p / qはαの連分数の収束値となる。
この定理は、 RSA暗号プロトコルの多項式時間攻撃であるウィーナー攻撃の基礎を形成しており、これは不適切な公開鍵と秘密鍵の選択によって発生する可能性があります(具体的には、公開鍵n = pqの素因数がp < q < 2 pを満たし、秘密鍵d が(1/3) n 1/4未満である場合にこの攻撃は成功します)。[ 7 ]