ワイ、円周率を割り切った模様 → 円周率=7825万6779 分の 2億4585万922

こんにちは。 3.14から始まる円周率はどこまでも続く男のロマン・・・そんな風に考えていた時期が、ワイにもありました。 「円周率が10桁で割り切れた」とかいう嘘記事が虚構新聞から出回ったりしたこともありました。 しかしさっきプログラムを作っていろいろ計算していたところ、円周率が割り切れてしまったので報告させてください。 そもそもは、円周率を分数で表現する手法を最近知り興味を持ったのがきっかけです。例えば
とかです。7分の22が円周率のそこそこの近似値(3桁まで正しい)になっています。 次に有名なのが、
らしいです。この113分の355はなんと7桁まで正しい近似になってます。3桁の整数2つ覚えるだけで、円周率7桁分の精度が得られるとは何ともお得な数です。 ここで疑問が湧きました。 この調子で分母の整数値を上げていったらどうなるのだろうか・・・? 本来数学でのやりかただと、ここで「連分数」などを持ち出すようなのですが、幸い?自分はそのあたりは忘れてしまったソフト屋なので、力技で結論だけだす以下のようなプログラムを作りました。言語は JavaScript で、実行には Node.js を使いました。
<pi.js>
#!/usr/local/bin/node | |
var minErr = 4; | |
for (var i = 1; i < 100000000; i++) { | |
var j = Math.floor(Math.PI * i); | |
var err = Math.abs(Math.PI - (j/i)); | |
var err1 = Math.abs(Math.PI - ((j+1)/i)); | |
if (err > err1) { | |
err = err1; | |
j = j+1; | |
} | |
if (minErr > err) { | |
minErr = err; | |
console.log("" + j + "/" + i + " = " + (j / i) + ", ERR=" + err); | |
if (err == 0) break; | |
} | |
} | |
console.log("DONE with i=" + i); |
分母を1から1ずつ上げていき、分子は既知の円周率 Math.PI から逆算してます(ちょっとずるいですが・・)。 実行結果は以下の通りです。
なんと、分母が7825万6779になったところで誤差が0になって割り切れてしまいました。やばい。 つまり
であることが確かめられてしまいました。 少なくとも JavaScript さんは 円周率 = 7825万6779 分の 2億4585万922 だと判定しました。 どこか計算間違っているんでしょうかね・・・?
だれか詳しい人教えてください。
外部から失礼、
たぶん、コンピュータの量子化の問題だと思います。
分数や無理数は量子化で認識出来る’目盛り’の大きさで丸め込まれます。
例えば、28.16…mmの線分を定規で測るとき、その定規の最小目盛りが1mmだとすれば、28mmと読み上げるようにコンピュータにも最小目盛りを持ち、今回の場合は目盛りサイズが1*10^-16くらいとなります。
つまり、円周率も分数も小数点以下18桁以下は全て0として扱われるため誤差が0になるわけである。
ちなみに、wolfram言語で計算するとたぶん答えが出ないと思います。
Math.Piで与えられるπが近似値で、その近似値との誤差がなくなったということですよね。
桁数を十分にあげれば、あり得る話です。
単純に浮動小数の分解能を超えただけです
(指摘の通りMath.Pi≠πであり近似値)
無理数(分数では表せない数)というのは数学的に証明できます
https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87%E3%81%AE%E7%84%A1%E7%90%86%E6%80%A7%E3%81%AE%E8%A8%BC%E6%98%8E
浮動小数について
https://ja.wikipedia.org/wiki/%E6%B5%AE%E5%8B%95%E5%B0%8F%E6%95%B0%E7%82%B9%E6%95%B0
これらをまず理解してからの方がいいと思います
また、2進数においては任意の桁を計算できるのでこちらも参考の事
BBP系公式
http://xn--w6q13e505b.jp/formula/bbp.html
node.jsが使っているMath.PIの実装を見てきましたが、単に数値として”3.1415926535897932″を返すだけのようですね。
それなら分数と一致するのも納得です。
なんj民が無知晒してて草
Excelで連分数使って80143857/25510582まで求めた。
数字で検索したらたどり着きましたw