マチンの公式（）とは、1706年にイギリスの天文学者ジョン・マチンによって発見された逆正接関数 を用いた円周率を計算するための公式、すなわち
なる公式である。
概要 グレゴリー級数すなわち逆正接関数 のマクローリン展開：
に を代入して得られる級数：
はライプニッツの公式と呼ばれ、見た目は綺麗な公式であるものの、収束が非常に遅いことで知られる。しかしながら、 を十分小さく取れば見た目の綺麗さは多少損なわれるが、それなりに速く収束する級数を得ることができる。実際、エイブラハム・シャープは を用い、円周率を小数点以下71桁まで計算した。
ジョン・マチンは、さらに収束性をよくするために逆正接関数 の関係式を考え、これをグレゴリー級数と結び付けることにより、非常に収束速度が速い級数を得た。さらに、この公式を発見したマチン自身も円周率を100桁まで求めることに成功した。マチンの公式や、似たような を用いた公式は、1970年代に算術幾何平均などが用いられるようになるまでは円周率の計算に用いられ計算競争に貢献した。その後しばらくは新しいアルゴリズムによる円周率の計算が続いたが、2002年に金田康正によって高野喜久雄の公式が用いられ円周率を1兆2411億桁まで計算するという記録に結び付いた。
公式 等式：
をマチンの公式という。
この項目では は主値
を取るものとする。
同じことであるが、逆余接関数 を用いて、
と書かれることもある。
主な証明 三角関数の公式による証明 マチンの公式は三角関数の公式を用いて証明できる。
二倍角公式を2回用いて、
加法定理により、
逆関数をとって、
ただし
が前提ではある。
したがって、
複素数を用いた証明
、 を実数とし、、 を虚数単位とする。
複素数 の偏角は、
である。 複素数の偏角の範囲は の主値と同じ範囲に取るものとする。 を整数とする。ド・モアブルの定理によると の偏角は、
である。この式を利用すると、マチンの公式の左辺は
の左辺の式の偏角に等しいと分かる。この式の右辺の偏角は であるためマチンの公式が示される。
マチンの公式による計算 マチンの公式を
の形にし、arctan x をグレゴリー級数に直して、それぞれ最初の方の項だけを計算して、部分和
を取る。 和を取る項数がそれぞれ 3m + 3 項と m + 1 項であり異なっている。これは、 と の値が大きく異なるので、計算する項の値の大きさを近付けるために項数を補正しているのである。m が 1 増えるたびに、計算すべき項数は 4 増える。
m = 1 から m = 10 まで計算すると次表のようになる。桁数の欄は実際の円周率の値と一致している小数点以下の桁数である。参考までに末尾に の値も載せた。 未知の円周率を計算するときには、誤差を評価し、有効な桁数を調べなければならないが、ここでは既に知られている円周率の値と比べて、一致することを確認するだけにとどめる。 md(m)桁数項数03.14162 …3413.14159 26526 …8823.14159 26535 8983 …121233.14159 26535 89793 2363 …171643.14159 26535 89793 23846 275 …212053.14159 26535 89793 23846 2643377 …252463.14159 26535 89793 23846 26433 8327981 …302873.14159 26535 89793 23846 26433 83279 502866 …343283.14159 26535 89793 23846 26433 83279 50288 41981 …383693.14159 26535 89793 23846 26433 83279 50288 41971 69341 …4340103.14159 26535 89793 23846 26433 83279 50288 41971 69399 3784 …47443.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 58209 7494 …（参考） 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年）
ただし p, q は正の実数
ヤコブ・ハーマン (Jacob Hermann,1678 - 1733) による式
ハットン（Charles Hutton,1737 - 1823）による式（1776年）
下の式は、1779年にオイラーも独立に再発見している。
3項以上よりなる公式 ガウスによる公式（1863年）
ストーマー (Fredrik Carl Mulertz Stormer, 1874-1957) による公式 （1896年）
高野喜久雄による公式（1982年）
シムソン（Robert Simson、1687年 - 1768年、初等幾何学のシムソン線の発見者）による公式
脚注
出典
関連項目 円周率の歴史 円周率の近似
外部リンク
逆正接関数による円周率計算