マチンの公式とはなんですか？

A. ジョン・マチンによって発見された逆正接関数を用いた円周率を計算するための公式で、円周率を求めるための公式です。

参考URL:https://ja.wikipedia.org/wiki/%E3%83%9E%E3%83%81%E3%83%B3%E3%81%AE%E5%85%AC%E5%BC%8F