通信用語の基礎知識 IPv4
戻る
発見!イイお店

円周率

辞書:科学用語の基礎知識 算数・数学編 (NMATH)
読み:えんしゅうりつ
外語:the circular constant 英語
品詞:名詞
1999/06/13 作成
2022/06/07 更新

円の、径に対する円周長の比。

円周の長さと半径は比例関係にある。この時、円周の長さをL、半径をrと置いたとき、次の式が成り立つ。

L = τr

この時の比例定数であるτ(タウ)が本質的な意味での円周率であり、τ=L/r、つまりτ=円周÷半径で求められる。その値は約6.28であり、円周の長さは半径の約6.28倍ということになる。

しかし円周率については長きにわたり、円周÷直径で求め、記号はπ(パイ)を用いてきた。πの値は約3.14であり、つまり本質的な円周率τの半分であるため、比例定数として使うためには2πとしなければならなくなった。これは数学的にとても筋が悪い。

つまり円周率がπというのは間違いだが、しかし現時点での数学界では、円周率はπが当り前として使われている。

円の唯一無二のパラメーターとは

数学の授業では様々な公式を習うが、円や球に関する公式は次のようなものがあるが、どれも半径rをパラメーターとして持っている。

  • 円周の長さ = 2πr
  • 円の面積 = πr2
  • 球の体積 = 4/3τr3

そもそもとは「平面上である一点からの距離が一定な点の軌跡」のことであり、距離が一定とはすなわち半径のことである。コンパスで円を描くときも中心を支点に回転させる。このように、半径とは円の性質を表わす唯一無二のパラメーターである。

ゆえに、円周率πが直径を用いたことは極めて不自然なことで、これは大きなミスだったと言える。

直径を使う不自然なπ(パイ)のために算数や数学を分かりにくくし、算数や数学嫌いを増やしたであろうことは、非常に残念なことである。そこで、一部の数学者は、円周率πに代わる数学定数として、本質的な円周率であるτ(タウ)を提唱している(詳細→τ)。

本質的な円周率τ

円周率τは、円の半径に対する円周長の比であり、つまりτ=2πである。上述のように、こちらの方がより数学的に本質的であり、なおかつ使いやすい。

本質的な円周率τを定義することによって、上述した公式は次のように書き換えられる。

  • 円周の長さ = τr
  • 円の面積 = 1/2τr2
  • 球の体積 = 2/3τr3

特に円周の表現に不自然さがなくなって劇的に分かり易くなっている。

πと比べて、円の面積に1/2が増えている。これは逆に複雑になったかというとそうではなく、むしろこれが本質なのである。なぜなら、円の面積を二等辺三角形に変換して求める方法は、まさに積分だからである。

∫τr dr = 1/2τr2

つまり、この方が一目で積分していることが分かるのである。

多くの場面で円周率は2πの形で登場する

下に列挙するような場面では、円周率は2πの形で登場する。π単体ではなく、大抵の場面で係数2が付いているのがポイントである。

  • 正規分布の式
  • フーリエ変換の式
  • コーシーの積分公式
  • リーマンゼータ関数

理由は既に上に述べたように、円周率の定義が悪いためである。円周を半径で割った値の方が数学的に本質的であるにもかかわらず、歴史的に円周を直径で割ったものを「円周率π」として用いてきたことから、重要な場面でことごとく2πという形で登場せざるを得なくなった。

しかしこれは非効率だし分かりにくい。より数学的に本質的なτを使うべきである。

全ての素数の積は4π2

全ての素数の積は4π2とされている。しかしこれはπの定義のおかしさを物語るもので、より本質的なτで表わせば「τ2」となる。

なお、もちろん素数は無限にある。4π22は約39.478であるので、最初の4つの素数、2、3、5、7まで掛けた時点でこの数を超えることが自明であるし、無限の数を掛けても普通に無限大に発散するだけなのは自明なので、これは絶対に間違いであるように思われる。

ここでいう素数の積なるものは「素数の無限積を解析接続」した場合について述べたもので、無限の中では常識は通用しないことの一例をセンセーショナルに述べたものである。

全ての整数の積は√2π

上と同様で、全ての整数の積は√2πだとされている。これは見た目でも分かるように、τで表わせば「√τ」である。

この二つの実例を見ただけでもτは数学的に本質的であることが分かる。

ちなみに全ての整数の積とは無限大の階乗なので、次のように書ける。

∞! = √τ

前述の通り、これは単純な概念ではなく工夫しないと意味を持たないことに注意が必要である。単純に全ての整数を掛ければ普通に無限大に発散するだけなのは自明である。

π500桁

πは無理数であり、また、決して割り切れない数でもある。

参考までに小数点以下500桁までは、次のとおり。

3.

1415926535 8979323846 2643383279 5028841971 6939937510

5820974944 5923078164 0628620899 8628034825 3421170679

8214808651 3282306647 0938446095 5058223172 5359408128

4811174502 8410270193 8521105559 6446229489 5493038196

4428810975 6659334461 2847564823 3786783165 2712019091

4564856692 3460348610 4543266482 1339360726 0249141273

7245870066 0631558817 4881520920 9628292540 9171536436

7892590360 0113305305 4882046652 1384146951 9415116094

3305727036 5759591953 0921861173 8193261179 3105118548

0744623799 6274956735 1885752724 8912279381 8301194912

ちなみに旧約聖書では「3」となっているらしい。

τ500桁

本質的な円周率であるτも無理数なのは同様で、πのちょうど倍の数になる。

参考までに小数点以下500桁までは、次のとおり。

6.

2831853071 7958647692 5286766559 0057683943 3879875021

1641949889 1846156328 1257241799 7256069650 6842341359

6429617302 6564613294 1876892191 0116446345 0718816256

9622349005 6820540387 7042211119 2892458979 0986076392

8857621951 3318668922 5695129646 7573566330 5424038182

9129713384 6920697220 9086532964 2678721452 0498282547

4491740132 1263117634 9763041841 9256585081 8343072873

5785180720 0226610610 9764093304 2768293903 8830232188

6611454073 1519183906 1843722347 6386522358 6210237096

1489247599 2549913470 3771505449 7824558763 6602389825

計算の記録

手計算

コンピューター登場前は手計算であり、桁数を増やすのも大変な作業であった。

  • 1699(元禄12)年: 天文学者エドモンド・ハレーが階級によるπ計算で72桁まで求め、71桁まで正しく求まった
  • 1706(宝永3)年: イングランドの天文学者ジョン・マチン(John Machin)、マチンの公式を用いてπを100桁まで正しく求めた
  • 1719(享保4)年: フランスの数学者トーマス・ファンテット・デ・ラグニー(Thomas Fantet de Lagny)、127桁を正しく求めた(但し113桁目を8ではなく7とミスプリントしている)
  • 1789(寛政元)年: スロベニアの数学者ユーリイ・ヴェガ、143桁まで計算したが、うち126桁までしか正しくなくラグニーの記録を破れなかった
  • 1794(寛政6)年: スロベニアの数学者ユーリイ・ヴェガ、別の公式で140桁まで計算し、うち136桁まで正しく求めた
  • 1841(天保12)年: イングランドの数学者ウィリアム・ラザフォード、208桁まで計算し、うち152桁まで正しく求めた
  • 1844(弘化元)年: ドイツの人間計算機Johann Martin Zacharias Daseは、暗算で205桁を計算し、うち200桁まで正しく求めた

この時点で200桁に到達するのはラザフォードの208桁とDaseの205桁。153桁目から違いが出たが、どちらが正しいのか、どちらも間違っているのかも、この頃には分からなかった。

  • 1847(弘化4)年: デンマークの数学者、天文学者トーマス・クラウセンは二つの公式を用いて各々250桁求め、248桁まで一致させた

この計算で、ラザフォードが153桁目から間違っており、Daseも200桁目まで正しいことが判明した。

  • 1854(安政元)年: ラザフォード、ウィリアム・シャンクス、リヒターはπの計算を実施、シャンクスは500桁を発表。その後、最終的に707桁を計算した
  • 1946(昭和21)年: ファーガソン(D.F.Ferguson)が540桁を計算し、シャンクスの計算は528桁目から間違っていることを証明した

この頃になると、計算のチェックに卓上計算機も使われるようになってきた。

  • 1949(昭和24)年: 電子計算機ENIACが2035桁を計算する
  • 1956(昭和31)年: その後もアメリカの数学者ジョン・レンチ(John William Wrench, Jr)らは計算とチェックを続け、1160桁まで計算し、手計算を終了した。うち1157桁がENIACの計算と一致した

ENIACの計算後もしばらくは手計算が続いたことになるが、レンチとスミスは1000桁を超える計算をしていたため、すぐには止めることができなかったようである。しかし、電子計算機が登場したことにより、以降はコンピューター計算によるπ計算レースが始まることになった。

コンピューター計算

コンピューター登場以降は人が苦労して計算していた1000桁程度は瞬く間に計算できるようになり、その後「億桁」単位での攻防の末、あっという間に「兆桁」単位での攻防となった。

こうして高速なコンピューターや新型のコンピューターが開発されると、必ず円周率が計算され、その桁数が競われるのは有名だが、何兆桁も無意味な値を計算するなど男のロマンとしか言いようがない。

最近では、そうでもないパソコンを何ヶ月も延々と動かして計算させるという力業による桁数記録更新を目指すという、電気の無駄遣いな暇人も出てきた。

ここ最近の記録は次の通り。

  • 2002(平成14)年12月6日: 1兆2411億7730万4180桁、東京大学の金田教授ら

    計算の所要時間は計約600時間。

  • 2009(平成21)年8月10日: 2兆5769億8037万桁、筑波大学計算科学研究センター。10日にギネス申請、17日に発表

    計算はT2Kオープンスパコン筑波システム、所要時間は計73時間36分。

  • 2010(平成22)年1月: 2兆6999億9999万、フランスのソフトウエアエンジニア

    計算は普通のPC、計算に103日、検算に13日を要した。

  • 2010(平成22)年8月: 5兆桁、長野県飯田市の近藤茂。2011(平成23)年1月21日にギネス登録された

    計算は普通のPC、計算に90日を要した。

  • 2011(平成23)年10月16日: 10兆桁、長野県飯田市の近藤茂。ギネス申請も

    計算は普通のPC、計算に1年を要した。

  • 2016(平成28)年: 22兆4591億5771万8361桁、スイスのPeter Trueb氏

    計算は「Xeon E7-8890 v3」×4のPCで、約89日間を要したという。

  • 2019(平成31)年3月14日: 31兆4000億桁強、Google

    Google Cloudを用いて121.1日間実施し、うち演算時間は111.8日だった。

  • 2021(令和3)年: 62兆8318億5307万1796桁、Timothy Mullican氏

    スイスのDAViSに設置された高性能コンピューターで、計算に303日を要した。

ベンチマーク

パソコンで、CPUの処理速度などを計測するベンチマーク方法として円周率計算が使われることがある。

何兆桁も計算するような必死なものではなく、もっと少ない桁数を何秒間で計算できるかを見ることで、概ねの処理速度を概算するものである。

Windows用として特に有名なのは、Superπというソフトウェアである。

プログラミング

C/C++の実装によっては、Cならmath.hを、C++ならcmathをincludeすることでマクロ定数のM_PIが使用可能になる。しかしもちろん、小数点以下何億桁もの精度が保証されるわけではない。

具体的には、次のようなマクロ定数が定義される。値はある実装での例。

  • M_PI ‐ 3.14159265358979323846 (π)
  • M_PI_2 ‐ 1.57079632679489661923 (π/2)
  • M_PI_4 ‐ 0.785398163397448309616 (π/4)
  • M_1_PI ‐ 0.318309886183790671538 (1/π)
  • M_2_PI ‐ 0.636619772367581343076 (2/π)
  • M_2_SQRTPI ‐ 1.12837916709551257390 (2/√π)

RFC 3091

2001(平成13)年4月1日に、RFC 3091としてPi Digit Generation Protocol(π値生成プロトコル)が提案されている。

コメントなどを投稿するフォームは、日本語対応時のみ表示されます


KisoDic通信用語の基礎知識検索システム WDIC Explorer Version 7.04a (27-May-2022)
Search System : Copyright © Mirai corporation
Dictionary : Copyright © WDIC Creators club