• ベストアンサー

近似値と無理数・有理数の関係

近似値の中には無理数を有理数で代用するものもあるのでしょうか。 0.33333・・・を0.33で打ち切る場合と同じことなのでしょうか。近似値としてしか表現できないものもあるように思うのですが。

質問者が選んだベストアンサー

  • ベストアンサー
  • proto
  • ベストアンサー率47% (366/775)
回答No.3

どういう答えを期待しているのかわからないんですが、連想したことを書きます。 うろ覚えですが「はじめての数論」という本で読んだことです。 正の無理数αに対して 自然数の組(x,y)と|x-y*α|について考えます 細かい説明はしませんが引き出し論法により   |x-y*α|<1/y となる(x,y)が無限に存在します。 少し変形すると   |x/y-α|<1/y^2 となる(x,y)が無限に存在し、これは十分大きな(x,y)について最適な組を探し計算すれば、|x/y-α|は十分小さくなるということです。 このときx/yがαを有理数で近似したものであることがわかると思います。 この場合目的の無理数と近似値の距離|x/y-α|の上限がわかっていますが。では下限を考えるとどうでしょう。 たとえば   1/y^3<|x/y-α| が示されれば、有理数は無理数にある程度までしか近づけないということになります。 事実としてαが代数的数ならば   |x/y-α|<1/y^3 が成り立つ可能性のある自然数の組(x,y)は有限個であることが証明できます。 ですからそのような可能性のある特別な場合以外では   1/y^3<|x/y-α| となります。 これはその数の性質によって決まることですが。 超越数の中には   |x/y-α|<1/y^4 のように、よい近似を無数に得られるものもあります。 つまり、有限の大きさの自然数の組を用いて無理数を近似する場合には、その近似値の精度には限界があるってことですね。

russy1
質問者

お礼

ご丁寧に有難うございます。勉強させていただきます。

その他の回答 (3)

回答No.4

No.3さんと同じく、質問者さんがどのような事を聞きたいのか はっきりとは判らないのですが、こんな事はどうでしょうか? No.3さんが述べている事と関連があるかもしれないのですが、 例えば、無理数である円周率π の小数表示を考えると、   π = 3.14159265・・・ ですから、その近似値として、次のような有理数An が考えられますよね。   A1 = 3   A2 = 31/10   A3 = 314/100   A4 = 3141/1000   A5 = 31415/10000     ・     ・     ・ これら有理数の近似値An は、もちろん約分できるものもありますが、 いずれにしろ、有効数字がn桁の近似値になっています。 ですから、お望みの精度での近似値が有理数の中に見つけることが (原理的には)できます。 そしてこうした事は、なにも円周率に限らず、一般の無理数についても 当てはまる訳です。 すると問題は、有理数の近似値の中で、近似の精度を上げるにしても、 いかに分子や分母の桁数の少ないような「扱いやすい」近似値があるか?  という点ではないでしょうか? つまり、近似値というのは、その真の値の代わりに数式に入れて、 計算を進める訳だから、なるべく扱いやすい数がいい訳でしょう。 例えば、No.1さんが述べている有名な円周率の近似値   22/7 , 355/113 は,それぞれ分子が2けた、3けたの有理数の中での最良近似値となっている! ・・・だったと思います!??

russy1
質問者

お礼

勉強の材料を沢山いただきまして有難うございます。勉強させていただきます。

noname#20428
noname#20428
回答No.2

0.3333・・・・は1/3なので有理数です。 整数の分数で表せるのが有理数ですね。 無理数を有理数で代用する例は、円周率の他にも2や3の平方根、自然対数の底eなど限りなくあります。

russy1
質問者

お礼

ありがとうございます。無理数は有理数で近似しないと具体的な数値にならないのかと思っています。

  • tatsumi01
  • ベストアンサー率30% (976/3185)
回答No.1

πを3.14で代用するのは普通です。 また、アルキメデス以来、π≒22/7として来たし、祖沖之が355/113としたんですが。

russy1
質問者

お礼

どうもありがとうございます。具体的な数値は有理数なのかと思いました。

関連するQ&A