円周率(えんしゅうりつ、、、)とは、円の直径に対する円周の長さの比率のことをいい、数学定数の一つである。通常、円周率はギリシア文字である で表される。円の直径から円周の長さや円の面積を求めるときに用いる。また、数学をはじめ、物理学、工学といった科学の様々な理論の計算式にも出現し、最も重要な数学定数とも言われる。
円周率は無理数であり、超越数でもある。
円周率の計算において功績のあったルドルフ・ファン・クーレンに因み、ルドルフ数とも呼ばれる。ルドルフは小数点以下35桁まで計算した。小数点以下35桁までの値は次の通りである。
class=skin-invert-image|thumb|ギリシャ文字の は円周率に代表される。
基礎 表記と呼び方 円周率を表すギリシア文字 は、ギリシア語でいずれも周辺・円周・周を意味する (ペリメトロス)あるいは (ペリペレイア)の頭文字から取られた。文字 をウィリアム・オートレッドは1631年に著した著書において半円周の長さを表す文字として用い、アイザック・バローは論文において半径 の円周の長さとして用いた。ウィリアム・ジョーンズ (1706) やレオンハルト・オイラーらにより(現代と同じく)円周の直径に対する比率を表す記号として用いられ、それが広まった。日本では「パイ」と発音する。
数 を指す言葉には、日本・中国・韓国における「円周率(圓周率)」、ドイツの「Kreiszahl」(Kreis は円(周)、Zahl は数の意)の他、それを計算した人物の名前を取った「アルキメデス数」()、「ルドルフ数」(、)などがある。一般にドイツ語を除くヨーロッパの諸言語には「円周率」に対応する単語はない。
なお、「」の字体は、表示環境によってはキリル文字の に近い などと表示されることがある。また、ギリシャ文字「」は、円周率とは無関係に、素数計数関数や、基本群・ホモトピー群、ある種の写像(射影など)を表すのに用いられることもある。
定義 class=skin-invert-image|thumb|ユークリッド平面上において、全ての円は相似なので、円周 と直径 の比率 は一定 () である。 class=skin-invert-image|thumb|直径 の円の周長は 平面幾何学において、円周率 は、円の周長の直径に対する比率として定義される。すなわち、円の周長を , 直径を としたとき、
である。全ての円は互いに相似なので、この比率は円の大きさに依らず一定である。
ところが、この定義は円の周長を用いているため、曲線の長さを最初に定義していない解析学などの分野では、 が現れる際に問題となることがある。この場合、円の周長に言及せず、解析学などにおける性質の一つを の定義とすることが多い。この際の の定義の一般なものとして、三角関数 が を取るような の最小値の2倍とするもの、級数による定義、定積分による定義などがある。後述の#円周率に関する式も参照。
歴史
古代 円周の直径に対する比率は円の大きさに依らず一定であり、それは 3 より少し大きいこれは、円周はそれに内接する正六角形の周より大きいことと同値である。ことは古代エジプトやバビロニア、インド、ギリシアの幾何学者たちにはすでに知られていた。また、古代インドやギリシアの数学者たちの間では半径 の円板の面積が であることも知られていた。さらに、アルキメデスは正角形を用いて半径 の球の体積が であることや、この球の表面積が (その球の大円による切り口の面積の4倍)であることを導き出した。
円周率を小数で最初に記述したのは小数を発明した中国である。263年に魏の劉徽が3072角形を使用し3.14159と計算し、5世紀に祖沖之が十尺もの直径の円を使用して3.1415926<<3.1415927 と求め、以後1000年間、全世界でこれ以上正確な計算はなされなかった。祖の計算が正確であったことは、1300年頃に趙友欽が16384辺の内接多角形により確かめた。
近代まで
14世紀インドの数学者・天文学者であるサンガマグラーマのマーダヴァは次の の級数表示を見いだしている(ライプニッツの公式):
これは逆正接関数 のテイラー展開の での表式になっている。マーダヴァはまた、
を用いて の値を小数点以下11桁まで求めている。
17世紀、ドイツのルドルフ・ファン・コーレンが正億角形を使い、小数点以下第35位まで計算。1699年(または1706年)にエイブラハム・シャープが小数点以下第72~127位まで求めた。
18世紀フランスの数学者アブラーム・ド・モアブルは、ある定数 を取ると、コインを 回投げて表が 回だけ出る確率は、 が十分大きいとき
で近似できることを、 における数値計算により見いだした。この正規分布の概念は1738年に出版されたド・モアブルの『巡り合わせの理論』に現れている。ド・モアブルの友人のジェイムズ・スターリングは後に、 であることを示した。
1751年にヨハン・ハインリヒ・ランベルトは、 が でない有理数ならば正接関数 の値は無理数であることを示し、その系(の対偶)として は無理数であることを導いた。さらに1882年にフェルディナント・フォン・リンデマンは が超越数であることを示し、円積問題(与えられた長さを半径とする円と等積の正方形を作図する問題)は解くことができないことを導いた。
1873年、ウィリアム・シャンクスは彼自身の手で小数点以下第707位までを計算した(ただしその結果は途中で生じた誤りにより小数点以下第527位までしか正しくなかった)。
和算における円周率の取り扱い 江戸時代の初期の和算家の3.16 江戸時代初期の数学書である毛利重能の『割算書』では円周率を3.16としている。その弟子の吉田光由の『塵劫記』でも3.16となっている。しかし、当時の先進国中国の文献にはこの3.16という数値は見られず、中国の文献の数値を引き写したとは考えにくいという。そのため、なぜ初期の和算家が円周率を3.16としたかの理由はよくわかっていない。おそらく、毛利重能とその弟子の吉田光由などの先駆者らは、円周率を実際に測定して3.14ないし3.16ほどの値を得たが、最後の桁の数字に確信が持てなかったため、「円のような美しい形を求める数値は、もっと美しい数値になっていいはずだ」と考え、「美しい理論」を求めた。その結果 が美しい数値として採用されたと推測されている。その考えは日本で2番目に3.14の値を計算で求めた野沢定長の『算九回』(延宝五年:1677年)の中にも見られ、その著書の中で「忽然として円算の妙を悟った」として「円周率の値は形=経験によって求めれば3.14であるが、理=思弁によって求めれば3.16である」として「両方とも捨てるべきでない」とした。
和算家が計算した3.14 江戸初期、1600年代前半頃から、円を対象とした和算的研究である「円理」が始まる。その最初のテーマの一つが円周率を数学的に計算する努力であり、1663年に日本で初めて村松茂清が『算爼(さんそ)』において「円の内接多角形の周の長さを計算する方法」で3.14…という値を算出した。『算爼』では円に内接する正8角形から角数を順次2倍していき、内接角形の周の長さで、 3.1415 9264 8777 6988 6924 8 と小数点以下21桁まで算出している。これは実際の値と小数第7位まで一致している。その後1680年代に入ると、円周率の値を3.16とする数学書はなくなり、3.14に統一された。1681年頃には関孝和が内接角形(13万1072角形)の計算を工夫し、小数第16位まで現代の値と同じ数値を算出した。この計算値は関の死後1712年に刊行された『括要算法』に記されている。
日本の和算家に特徴的なのは、1663年に3.14が初めて導き出されても、その後1673年までの10年間に円周率の値を3.14とした算数書のいずれもが、先行者の円周率をそのまま引き継ぐことをせず、それぞれ独自の値を提出していたことである。この背景には当時の遺題継承運動に「他人の算法をうけつぐ」と共に「自己の算法を誇る」という性格があったためだという。そのため古い3.16の値が疑われてから、遺題継承の際に必ずといってよいほど円周率の値が変えられている。しかしながら江戸時代の3大和算書『塵劫記』『改算記』『算法闕疑抄』の増補改訂版では1680年代には3.14に統一された。
3.14から3.16への逆行 しかし、遺題継承運動は1641年に始まって1699年頃には終わってしまい、いったん3.14に統一された円周率の値は江戸時代後半になると揺らぎ始め、古い3.16に逆行するという現象が生じた。文政年間(1818~30年)に出版された算数書とソロバン書を悉皆調査した結果では、円周率の値を3.14とするものと、3.16とするものの2系統があることが明らかにされた。いくらか専門的な数学書では3.14とされているのに、大衆向けの小冊子の中では3.16の方が普通に用いられていた。
当時の識者である橘南谿(1754年 - 1806年)は「いまに至り3.16あるいは3.14色々に論ずれども、なおきわめがたきところあり」と述べ、3.14はまだ確定していないとしている。儒学者の荻生徂徠も和算家の算出した3.14の根拠に納得しなかった。当時の和算家のほとんどは、円に内接する多角形の周を計算することで円周率を計算した。内接多角形の角数を増やすほど求まる円周率の桁は増えていくので、素人目にはその値が増大する一方に見える。「それがいくら増えても3.1416を超えない」ということを和算家たちはついに納得させることができなかったのである。
そのような和算家以外の素人たちを納得させるには、どうしても万人に納得させる「理」に基づいて計算してみせる他はない。それを行うには西洋で行われたように、「円を内接多角形と外接多角形ではさんで、円周率の上限と下限を示すこと」が必要であったが、(次の鎌田による成果を例外として)和算家はついにその方法を取ることがなかった。
宅間流和算の円周率 日本で唯一「円周を内接・外接多角形で挟み込んで円周率の上限と下限を示す」ことに成功したのは鎌田俊清(1678年 - 1747年)が享保七年(1722年)に著した『宅間流円理』である。その値は以下の通りである。 内周:3.1415 9265 3589 7932 3846 2643 3665 8 外周:3.1415 9265 3589 7932 3846 2643 4166 7 鎌田は円周率の小数点以下24桁まで正しいと確信しうる円周率の値を算出することに成功していた。しかし、鎌田の方法は後継者を持たず、当時の識者に知られることがなかった。
級数展開による算出 日本の数学史では級数による値の算出は広く一般的であった。円周率の級数による公式は多くの学者に研究されており、蜂谷定章、松永良弼、坂部広畔、川井久徳、長谷川寛らによるものがある。また、建部賢弘は円周率の二乗を求める日本初の公式を考案した。
和算の限界 日本の和算の弱点は単に理論面の弱さにとどまらず、万人が納得できる正しい円周率の教育・啓蒙への関心も失ったことであった。そのため和算家たちがいくら円周率は3.14…と書いたところで、『塵劫記』の古い円周率3.16の値がそのまま残存する結果となった。『塵劫記』の重版(1694年)などは古い円周率3.16のまま出版され続け、18世紀に大衆的な通俗算数書が大量に出版される際に、必ずというほど3.16という値を引き継ぐようになってしまった。
18世紀半ば以降の和算は数学的証明の概念の追求は無視され、せっかく宅間流の鎌田俊清がその独創的方法で正しい円周率を算出しても、全く継承されなかった。江戸時代後半の和算家は家元制度的な秘密主義と保守主義と、権威主義が在野の独創性を無視し、結果として学問の進歩を妨げることとなった。
コンピュータの利用 class=skin-invert-image|450px|thumb|円周率の小数部分の判明した桁数と時期の関係。このグラフの縦目盛りは対数スケールである。新たなアルゴリズムが開発され、コンピュータが利用できるようになると、判明した桁数は劇的に増加した。 20世紀以降、計算機の発達により、計算された円周率の桁数は飛躍的に増大した。1949年に、電子計算機ENIACを使い72時間かけて、円周率は2037桁まで計算された"An {ENIAC} Determination of pi and e to more than 2000 Decimal Places", Mathematical Tables and Other Aids to Computation, 4 (29), pp.11-15.(1950年1月)。その後の数十年間、様々な計算機科学者や計算科学者など、あるいはコンピュータのアマチュアによって計算は進められ、1973年には100万桁を超えた。この進歩は、スーパーコンピュータの開発だけによるものではなく、効率の良いアルゴリズムが考案されたためである。そのうちの最も重要な発見の一つとして、1960年代の高速フーリエ変換がある。これにより、多倍長の演算が高速に実行できるようになった。
2022年6月9日に、Googleの技術者、岩尾エマはるかがGoogle Cloudで、チュドノフスキー級数を使い、157日23時間かけて100兆桁を計算したと発表。
2025年4月2日に、Linus Media Groupは円周率300兆桁を7か月半掛けて計算した300兆桁の「最も正確な円周率の値」が算出。最後の桁は……(PCWatch, 2025年5月19日)キオクシアとLinus Media Groupが「最も正確な円周率の値」のギネス世界記録™を樹立 (キオクシア株式会社、2025年5月19日)。
2025年12月11日にテクノロジーレビューサイトのStorageReviewが円周率を314兆桁まで計算したと公表した円周率が314,000,000,000,000桁まで求められて世界記録更新 (GIGAZINE,2025年12月26日)。
性質 無理性 class=skin-invert-image|thumb| は無理数であるため、循環しない無限小数である。
は無理数である。つまり、2つの整数の商で表すことはできず、小数展開は循環しない。このことは1761年にヨハン・ハインリヒ・ランベルトが証明したが、厳密性に欠けた部分があった。その部分は1806年にルジャンドルによって補われた。
したがって、円周率のコンピュータによる計算や暗唱、十進法表示での小数部分の各数字 (0, 1, …, 9) の出現頻度は、人々の興味の対象となる。
class=skin-invert-image|thumb| は超越数であるため、コンパスと目盛のない定規を有限回用いて円と等面積の正方形を作図することは不可能である。
超越性
さらに、 は超越数である。つまり、有理数係数の代数方程式の解にはならない。これは1882年にフェルディナント・フォン・リンデマンによって証明された(リンデマンの定理)。これより、整数から四則演算と冪根をとる操作だけを有限回組み合わせてもけっして の値は得られないことがわかる。
が超越数であることから直ちに、古代ギリシアの三大作図問題の内の一つである「円積問題」(与えられた長さを半径とする円と等積の正方形を目盛の無い定規とコンパスを「有限回」用いて作図すること)は不可能なことが結論される。
ランダム性 2022年10月の時点で、 は小数点以下100兆桁まで計算されている。そして、わかっている限りでは 0 から 9 までの数字がランダムに現れているようには見えるが、それが乱数列といえるかどうかははっきりとはわかっていない。たとえば が正規数であるかどうかもわかっていない。正規数であれば の10進表示において、各桁を順に取り出して得られる数列: 3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5, … には、0 から 9 が均等に現れるはずだがわかっておらず、それどころか、0 から 9 がそれぞれ無数に現れるのかどうかすらわかっていない。もし仮に正規数でないとすれば、乱数列でもないということになる。
5兆桁までの数字の出現回数は以下の通りである。全てほぼ等しく(約0.0005%の違いに収まる)、最も多いのは 8 で、最も少ないのは 6 である。 0:4999億9897万6328回 1:4999億9996万6055回 2:5000億0070万5108回 3:5000億0015万1332回 4:5000億0026万8680回 5:4999億9949万4448回 6:4999億9893万6471回 7:5000億0000万4756回 8:5000億0121万8003回 9:5000億0027万8819回
連分数
分母を整数と分数の和で表すことを続けていった表示を連分数という。「整数」を最大にしていくと、分子を全て 1 にできる:
は無理数であるから、円周率 の連分数展開は有限項では終わらず無限項の連分数となる:
上記の正則連分数展開(すべての分子が 1 である連分数)を途中で打ち切ると、 の良い有理数近似が得られる。その最初の4つは である。これらは古くからよく知られ使用されてきた近似値である。これらはそれぞれ分母が大きくないどの分数よりも に近く、 の最良有理数近似である。
さらに、 は超越数である(つまり代数的数でない)ことが知られている。一般に、正則連分数の分母に現れる整数部が循環するのは(有理係数の二次方程式の解となるような代数的数)に限られ、 は二次無理数でないためとして表せない。加えて の正則連分数は規則性を示さないが、 のでは以下の規則をもつものが知られている:
未解決問題
次の数は超越数か?
ただし、とは両者少なくとも一方は超越数であることはわかっている。 。 とが共に代数的数であると「仮定」すると、その両者からの四則演算により計算される値とはどちらも代数的数となることが導かれるが、それはやが超越数であることと矛盾する。同様に、とが共に代数的数であると「仮定」すると、それらからの代数的演算により計算されるもも代数的数となり,超越数であることと矛盾する。同様に,とが共に代数的数であると「仮定」するとそれらを係数とする2次方程式を解いて得られるとは代数的数であることになり矛盾する。などなど。
は正規数か?
円周率に関する式 は重要な数学定数であるため、関係する定理・公式の数は膨大である。ここでは の近似値の計算に使われる式を中心に一部を解説する。 数式によってはそれ自体が の定義になり得る。
幾何 class=skin-invert-image|thumb|円の面積は、1辺が半径の正方形(灰色)の面積の 倍である。 class=skin-invert-image|thumb|長半径 , 短半径 の楕円の面積は に等しい。 半径 の円の周長: 半径 の円の面積: 半径 の球の体積: 半径 の球の表面積: 長半径 , 短半径 の楕円の面積: rad
解析(特殊関数と虚数を除く) ライプニッツの公式、2千年紀、逆正接関数も参照
マーダヴァの公式、逆正接関数も参照
ウォリスの公式
ビエトの公式
(オイラー) class=skin-invert-image|thumb|関数 のグラフと 軸で囲まれた部分の面積は である。(ガウス積分) (ガウス積分)
逆三角関数は主値を取るものとすると
逆三角関数(逆正弦関数)の公式より
逆三角関数(逆正接関数)の公式より 逆正接関数のテイラー展開による: オイラーによる: 双曲線関数(双曲線余接関数)の公式より
ニュートンの無平方根公式
( はカタラン数)この式は、 のマクローリン級数となっている。 マチンの公式(マチン、1706年(1709年とも))
と書かれることもある。 と が二進法と相性が良く、収束も早いため、コンピュータでの円周率計算によく使われる公式の一つである。 の連分数表示
ガウス=ルジャンドルのアルゴリズム 初期値の設定:
反復式: が希望する桁数になるまで以下の計算を繰り返す。小数第位まで求めるとき 回程度の反復でよい。
の算出:円周率 は、 を用いて以下のように近似される。
非常に収束が早く3回の反復で小数18位まで求めることができる、金田康正が1995年に42億桁、2002年に1.24兆桁を計算したスーパー に使われていた。 (スターリングの近似。 は を表す) (ラマヌジャン) (ラマヌジャン) (ラマヌジャン) () (各定数と、その素因数分解:
) (, ) (各定数の値:
) David Bailey, Peter Borwein, およびサイモン・プラウフによるもの(ベイリー=ボールウェイン=プラウフの公式・俗称 "BBP")、Adamchik と Wagon によるもの、Fabrice Bellard によるもの等については、あまりに高度なため割愛する。
複素解析 class=skin-invert-image|thumb|オイラーの公式の図形的表現。複素数平面において、複素数 は、単位円周上の偏角 の点を表す。この公式よりオイラーの等式が導かれる。 (オイラーの等式) ( は 以上の整数) 後者はオイラーの等式の一般化であり、 の 乗根の総和は になることを示している。 とするとオイラーの等式になる。
(、) は特定の条件を満たす適当な複素数であり、 の値を変えることで収束スピードを調整できる。 超弦理論の研究に必要な計算を簡略化する最適化問題を解く過程で偶然に発見されたものだが、少ない計算量で真値に収束する数学的に優れた式でもある。 この式の背景となったモデルにはベータ関数とファインマン・ダイアグラムが用いられており、量子の相互作用について記述することが可能である。
特殊関数 (1735年:オイラー、バーゼル問題、ゼータ関数)
( はベルヌーイ数) (ガンマ関数)
数論 整数全体から無作為に2つ取り出すとき、その2つが互いに素である確率は である(互いに素_(整数論)#互いに素である確率を参照)。
力学系・エルゴード理論 ロジスティック写像 により帰納的に定まる数列 を考える。初期値 を 以上 以下に取るとき、そのほとんど全てで、次が成り立つ。
統計 (正規分布の確率密度関数) 幅 の無数の平行線の上から長さ の針を落とすとき、その針が直線と共有点を持つ確率は である(ビュフォンの針)。
その他 河川の長さの水源・河口間の直線距離に対する比率は、平均すると円周率に近い。
暗唱 語呂合わせ
の桁を記憶術に頼らずに暗記する方法が各種存在している。
日本語では、語呂合わせにより、長い桁を暗記するのも比較的簡単である。有名なものとして、以下がある。
(産医師異国ニ向コー、産後厄無ク産婦御社ニ虫サンザン闇ニ鳴ク) 3.141592653589793238462643383279(小数以下30桁) 産医師異国に向かう。産後厄なく、産に産婆、四郎二郎死産、産婆産に泣く。困るに母よ行くな。一郎苦産で苦が続き、美奈子一人を小屋に置く。3.1415926535897932384626433832795028841971693993751058209(小数以下55桁) 小泉が見聞した一番長いものとしている。 全く傾向が異なるものとして、 身一つ、宵、獄に向こう。惨たるかな医薬なく3.14159265358979(小数以下14桁) 小泉は「どれも陰惨な文章なのは妙だが、・・・」と書いている。
身ひとつよ人の、いづこに婿見、いつ、厄なく見つ、文や読むらん3.14159265358979323846(小数以下20桁)難かしい公式も樂に覺えられる算術うた繪本(わかもと物識繪本第2輯) 3ページ写真 円周率、1937年4月
英語圏では語呂合わせがうまくいかないため、単語の文字数で覚える方法がある。 Yes,Ihaveanumber.3.1416(小数以下4桁までで四捨五入) CanIfindatrickrecallingPieasily?3.1415926(7桁、また「 を簡単に思い出せるトリックってある?」という文章自体がその質問の答えにもなっている) HowIlikeadrink,alcoholicofcourse,aftertheheavylecturesinvolvingquantummechanics!IUPAC 物理化学で用いられる量・単位・記号 第3版 p.137、5 基礎物理定数、よく使われる数学定数の値、、講談社サイエンティフィク、2009年4月20日第1刷3.14159265358979(小数以下14桁)
3桁目の like を want としたものもある(出典は不明)。
Andifthelectureswereboringortiring,thenanyoddthinkingwasonquarticequationsagain.32384626433832795(上に続けて、31桁)S. ボトムリー これらのような覚え方は多くあり、日本語では上記のものの改編で90桁までのものや、歌に合わせたもの、数値を文字に置き換えて1000桁近く覚える方法などがある。
暗唱記録 2004年9月25日、原口證が8時間45分かけて円周率5万4000桁の暗唱に成功し、従来の世界記録を更新した。しかしながら、実際はより多くの桁を覚えていたため、2005年7月1日 - 7月2日に再挑戦し、8万3431桁までの暗唱に成功した。2006年10月3日午前9時 - 10月4日午前1時30分(16時間30分)の挑戦で円周率10万桁の暗唱に成功した。
2022年2月現在で『ギネス世界記録』に認定されている円周率暗唱の世界記録は、2015年3月21日にRajveer Meenaが10時間近くかけて暗唱した7万桁である。
文化的影響
thumb|ベルリン工科大学数学科の近くにあるタイル thumb|alt=Pi Pie at Delft University|のパイ。パイは円形かつ"パイ"とは同音異義語であるため、駄洒落の対象にされる。 円という日常でもよく知られた図形についての単純な定義でありながら、小数部分が循環せずに無限に続くという不可思議さから、数学における概念の中で最もよく知られたものの一つである。 3月14日は円周率の日および数学の日3月14日はアルベルト・アインシュタインの誕生日でもあり、日本数学技能検定協会によって数学の日に指定されている。である。小数点以下が「永遠に続く」という意味にあやかり、3月14日に結婚するカップルもいる安田美沙子3・14結婚は『円周率=永遠』の意味だった スポニチアネックス 2014年3月16日(日)12時17分配信。また、 () とパイ () は同音異義語であること、パイが円形であることから、アメリカ合衆国など複数の国で「パイの日」として祝われ、パイ焼きやパイ食のほか、数学に関係した活動が行われる。 7月22日は円周率近似値の日とされている( は円周率の近似値)。 1999年の学習指導要領の改訂により「小学校の算数で円周率は3で計算することになる」との噂が世間に広まったが、実際には必要に応じて3で計算することも可能にするための措置であった。 2012年8月14日、米国勢調査局が、米国の人口が円周率と同じ並びの3億1415万9265人に達したと発表した。アメリカには円周率の曲を作る人もいる米国の人口が円周率と「同じ」に 3億1415万9265人 CNN 2012.08.15 Wed posted at 12:42 JST。 組版処理ソフトウェア のバージョン番号は、 というように、更新の度に円周率に近づいていくように一桁ずつ増やされる。
実務上の近似値 円弧の長さの計算など、実務上の数値計算では、その用途に応じて必要な桁数の円周率が計算に用いられる。例として、