|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 近似 ： [きんじ] 1. (n,vs) approximate 2. proximate ・ 似 ： [に] (suf) takes after (his mother)
ディオファントス近似（ディオファントスきんじ、）とはある数（実数など）を別のより単純な構造を持つ数（有理数など）で近似する方法やその値、あるいはそれについて研究する数論の一分野である。アレクサンドリアのディオファントスに因む。 最初の問題は、実数が有理数によってどの位よく近似できるかを知ることであった。この問題のために、有理数 が実数 の「良い」近似であるとは、 と の差の絶対値が、 を分母が小さい別の有理数に置き換えたときに小さくならないこととする。この問題は連分数によって18世紀に解かれた。 与えられた数の「最もよい」近似が分かり、この分野の主要な問題は、上記の差のよい上界と下界の分母の関数としての表示を見つけることである。 これらの上下界は近似される実数の性質の依存すると思われる。有理数の別の有理数による近似に対する下界は代数的数に対しての下界よりも大きい。後者はそれ自身すべての実数に対する下界よりも大きい。したがって代数的数に対する上下界よりもよく近似できる実数はもちろん超越数である。これによりリュービルは1844年に最初の明示的な超越数を生み出した。後に や が超越数であることの証明が類似の方法により得られた。 ディオファントス近似は、無理数や超越数の研究と深く関連している。実際、代数的数については次数や高さに依存して近似の精度に限界があることが知られている。また、不定方程式など、数学上の他の問題でもディオファントス近似に帰着することが多い。例えば、ペル方程式 y2=2x2-1 の整数解は 2 の平方根のディオファントス近似に帰着する。 == ディリクレの定理 == 基本的な問題としては、任意の無理数 に対して、 : となるような整数 を求めることが挙げられる。ディリクレのディオファントス近似定理により、上式を満足する と は無数に存在する。不等式は : と書き直すことができることから、「任意の無理数 に対して、誤差が 以下であるような、近似有理数 を求める」と言い換えることができる。 円周率 を小数点以下3桁まで十進数表記するとすれば である。これを分数で表記すれば であり、 : が成立するので誤差を1/1000以下に出来る。しかし、ディオファントス近似はより小さい分母によってよりよい近似ができる可能性を示唆するものである。 実際 : である。故に、ディオファントス近似は無理数を有理数で近似するよりよい近似方法の存在を示しているとも言える。 ディオファントス近似の不等式を満たす が無限にあることの証明は鳩の巣原理を使って証明可能である。この証明の過程を利用して、 の近似で性能がよいものを分母が小さい順に求めると、以下のようになる。 : これから の近似として、, , , , ... を得ることができる。これらの近似値は古代からよく知られた円周率の近似値である。 また、近似値と連分数展開は深い関係にある。例えば の連分数展開は : であるが、 の時点で計算を打ち切ると 、 の時点で打ち切ると となる。この手法で5番目の近似値を求めると、円周率の近似として、 を得ることができる。また実際 : である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ディオファントス近似」の詳細全文を読む スポンサード リンク
|