ジョン・マチン
π 4 = 4 cot − 1  ( 5 ) − cot − 1  ( 239 ) . {\displaystyle {\frac {\pi }{4}}=4\cot ^{-1}(5)-\cot ^{-1}(239).}
マチンの公式はグレゴリー - ライプニッツ級数 (ライプニッツの公式として知られる)
π 4 = arctan  ( 1 ) = 1 − 1 3 + 1 5 − 1 7 + 1 9 − ⋯ , {\displaystyle {\frac {\pi }{4}}=\arctan \left(1\right)=1\,-\,{\frac {1}{3}}\,+\,{\frac {1}{5}}\,-\,{\frac {1}{7}}\,+\,{\frac {1}{9}}\,-\,\cdots ,}
の変種であり、この新しい公式によって、ライプニッツの公式などに比べて非常に収束が速くより実用的な計算公式が作られるようになった。
マチンは円周率 π の計算をするために、自身の公式からハレー法を用いて近似解を得た。マチンの公式はその後、数世紀に渡って、計算機の時代まで、円周率探求家達の基本的な道具として用いられ続けた。
マチンの公式と類似の公式も様々なものが知られている。