マチンの公式

マチンの公式（）とは、1706年にイギリスの天文学者ジョン・マチンによって発見された逆正接関数 を用いた円周率を計算するための公式、すなわち
なる公式である。
概要.
グレゴリー級数すなわち逆正接関数 のマクローリン展開：
に を代入して得られる級数：
はライプニッツの公式と呼ばれ、見た目は綺麗な公式であるものの、収束が非常に遅いことで知られる。しかしながら、 を十分小さく取れば見た目の綺麗さは多少損なわれるが、それなりに速く収束する級数を得ることができる。実際、エイブラハム・シャープは を用い、円周率を小数点以下71桁まで計算した。
ジョン・マチンは、さらに収束性をよくするために逆正接関数 の関係式を考え、これをグレゴリー級数と結び付けることにより、非常に収束速度が速い級数を得た。さらに、この公式を発見したマチン自身も円周率を100桁まで求めることに成功した。マチンの公式や、似たような を用いた公式は、1970年代に算術幾何平均などが用いられるようになるまでは円周率の計算に用いられ計算競争に貢献した。その後しばらくは新しいアルゴリズムによる円周率の計算が続いたが、2002年に金田康正によって高野喜久雄の公式が用いられ円周率を1兆2411億桁まで計算するという記録に結び付いた。
公式.
等式：
をマチンの公式という。
この項目では は主値
を取るものとする。
同じことであるが、逆余接関数 を用いて、
と書かれることもある。
主な証明.
三角関数の公式による証明.
マチンの公式は三角関数の公式を用いて証明できる。
二倍角公式を2回用いて、
加法定理により、
逆関数をとって、
したがって、
複素数を用いた証明.
、 を実数とし、、 を虚数単位とする。
複素数 の偏角は、
である。
 を整数とする。ド・モアブルの定理によると の偏角は、
である。この式を利用すると、マチンの公式の左辺は
の左辺の式の偏角に等しいと分かる。この式の右辺の偏角は であるためマチンの公式が示される。
マチンの公式による計算.
マチンの公式を
の形にし、arctan "x" をグレゴリー級数に直して、それぞれ最初の方の項だけを計算して差
を取る。
"m" = 1 から "m" = 10 まで計算すると次表のようになる。桁数の欄は実際の円周率の値と一致している小数点以下の桁数である。参考までに末尾に の値も載せた。
"d"("m") は 4("m" + 1) 個の項の足し算または引き算によって計算されるので、"m" = 10 のときは 44 項の和や差を計算していることになる。ここで普通のグレゴリー級数を用いた場合の値を見てみると
"x" = 1 のときのグレゴリー級数
は、非常に収束が遅く、"n" = 50 までで打ち切って計算してみると
となり小数点以下 1 桁までしか円周率と一致していない。
シャープの用いた "x" = の場合のグレゴリー級数
で同じように "n" = 50 までで打ち切って計算すると
となり、円周率の実際の値とは小数点以下 25 桁まで一致している。上の表で見るとマチンの公式では "d"(5) で 25 桁まで一致しており、そのときの計算に用いた項の数は 4 × (5 + 1) = 24 項であるので、シャープによる計算のほぼ半分の項数によって、小数点以下 25 桁までの円周率が得られている。
マチンの公式の類似.
マチンの公式に類似した式は比較的探しやすいため、非常に多くの形の式が見つかっている。この節では、その中のほんの一部を紹介する。複素数を用いたマチンの公式の証明と同様の計算を用いるなどして、計算機を用いて公式を探索していくことも可能である。
2項よりなる公式.
オイラーによる公式（1748年）
ヤコブ・ハーマン ("",1678 - 1733) による式
ハットン（"Charles Hutton",1737 - 1823）による式（1776年）
3項以上よりなる公式.
ガウスによる公式（1863年）
ストーマー (, 1874-1957) による公式 （1896年）
高野喜久雄による公式（1982年）
シムソン（Robert Simson;1687生, 1768没; 初等幾何学のシムソン線の発見者）による公式