このページは半保護の方針に基づき、一部ユーザーによる編集から保護されています。

円周率（えんしゅうりつ）とは数学定数の一つであり、π で表される。平面幾何学における円の周の長さと直径の比として特徴づけることができる。

円周率 π は超越数の一つとしても知られており、小数点以下 35 桁（35桁くらいまでが実用的で、ルドルフによる計算の結果という歴史的な意味もある）までの値は次のとおりである。π = 3.14159 26535 89793 23846 26433 83279 50288 …

円周率の計算の歴史については 円周率の歴史を参照のこと。
目次

1 定義

1.1 円周による定義

1.2 面積による定義

1.3 指数関数・三角関数による定義

1.4 積分による定義


2 歴史

3 ギリシア文字 π

4 π の性質

4.1 超越性

4.2 ランダム性


5 π に関する式

5.1 幾何

5.2 解析学

5.3 数論

5.4 力学系・エルゴード理論

5.5 統計

5.6 その他


6 π の暗唱

7 関連項目

8 参考文献

9 外部リンク

//

定義

円周率は、元々、平面幾何学で定義された数であるが、平面幾何学に留まらず数学のいろいろな分野でその姿をあらわす。円周率 π の導出方法は多いが、どの定義によっても同じ値が得られるので、その時に応じて使いやすい定義を用いればよい。

円周による定義

平面幾何学において円周の長さを、その直径で割って得られる値は円の大きさに関わらず一定の値を取る。この値を円周率といい π と書く。円周率の定義から、半径が 1 の円（単位円）においては、その円周の長さは 2π である。特に、単位円を表す式 x2 + y2 = 1 を考えると、π の値は

として積分によって求められる。

面積による定義

π を用いると半径 r の円の面積は π r2 と表されることから逆に円の面積を求め、その円の半径の平方 r2 で割って得られる値を π と定義してもよい。単位円の面積は丁度 π になることから、積分を使って

と定めても同じことである。

指数関数・三角関数による定義

複素数 z を変数に取る指数関数を

で定義する。

exp(0) = 1 となるが、正の実数 t に対し exp(it) = 1 を満たす最小の t を 2π として π を定義できる（i は虚数単位）。この指数関数を用いて三角関数を

で定義すれば、正の実数 t に対して cos(t) = 0 を満たす最小の t が π/2 であり、 sin(t) = 0 を満たす最小の t が π である。すなわち、三角関数の零点によって円周率 π が定義される。

積分による定義

によって定義されることもある。

逆正接関数 arctan(x) が

と表されることから、この積分は三角関数による π の再定義の一種であるとも考えられるが、 この π の定義より先に三角関数が定義されている必要はなく、 arctan(x) という関数さえも上のような積分によって定義することができる。

arctan(x) のテイラー展開

に x = 1 を代入することによって （1400年頃：マーヴァダ、1671年:グレゴリ、1674年:ライプニッツ）

という級数が得られる。この級数の収束は極めて遅いが、部分和をとれば π の近似値を計算することもできる。

arcsin(x)のテイラー展開

に x = 1/2 を代入することで

が得られる。この級数の収束は非常にはやいのでコンピュータで π の正確な値を求めるのに使うことができる。

歴史

（円周率の計算の歴史については 円周率の歴史も参照のこと。）

円の周と直径の比がどんな円についても同じ値になり、その数が3より少し大きい程度だと言うことは古代エジプトやバビロニア、インド、ギリシャの幾何学者たちにはすでに知られていた。また、古代インドやギリシャの数学者たちの間では半径 r の円の面積が π r2 であることも知られていた。さらに、アルキメデスは半径 r の球の体積が であることや、この球の表面積が4πr2（同じ半径の円の面積の4倍）になることを示した。

14世紀インドの数学者・天文学者であるサンガマグラマのマドハヴァは次のような π の無限級数表示を見いだしている：