ライプニッツの公式

ライプニッツの公式（ライプニッツのこうしき、）とは円周率の値を求めるための公式の一つである。以下の級数で表される。

これは初項が 1 で各項が奇数の逆数である交項級数が  に収束することを意味する。総和の記号を用いると以下のようになる。

この公式を名付けたのはライプニッツであるが、これはすでに15世紀のインドの数学者マーダヴァがライプニッツより300年ほど前に発見していたものである。公式の発見がマーダヴァの功績であることを示すためにマーダヴァ-ライプニッツ級数と呼ばれることもある。

証明

冪級数展開を用いる証明 
三角関数の一つ  を  について微分すると

となる。ここで  とおくと

が導かれる。

また以下の等比級数を考える。

左辺は公比が  であり、 すなわち  のとき  に収束する。(1), (2)式から

が得られる。この両辺を  について項別積分すれば

となる（この時、左辺をarctan xと表すとグレゴリー級数のかたちとなる）。（のとき  であるから定数項は  である。） としたので  のとき  である。これを利用して(3)式に  と  を代入すると

という式が現れる。ただし  は の条件に反するので(3)式に  を代入できるかどうかが問題になるが、この場合は代入してもよいことが分かっている（アーベルの連続性定理）。

フーリエ級数を用いた証明 
方形波をフーリエ級数で表す証明法もある。方形波  を

と定義する（これは区分的に滑らかな関数で  上可積分である）と、フーリエ係数  はこの方形波が奇関数なので  であり、 は以下の式で表す。

これを計算すると以下のようになる。

したがって方形波のフーリエ級数は

となり、 は  において連続であるから、両辺に  を代入すると

であるのでライプニッツの公式が得られる。

性質 
この公式は単純な形をしているが、実際の円周率の計算に用いるには収束が非常に遅いために全く適していない。10進法での正確な値 (= 3.1415926535…) を10桁分計算するだけで100億回以上の計算を要するほどである。ちなみに最初の500万項の部分和を計算すると  の近似値として
3.1415924535897932384646433832795027841971693993873058…
が得られる。下線の引かれている桁だけ間違っているが、こういった誤差がいくらになるのか予想することは次の近似式で可能である。

 はオイラー数、 は 4 で割り切れる自然数である。 に 10 の累乗数を代入すると、右辺の部分和からこの公式で求めた10進法表記での誤りが現れる桁の位置とその誤差を計算できる。

関連項目 
円周率の歴史
マチンの公式
ゴットフリート・ライプニッツ

アルゴリズム
解析学
円周率
数学に関する記事
ゴットフリート・ライプニッツ
人名を冠した数式