マチンの公式
マチンの公式("Machin's formula") とは、1706年にイギリスの天文学者ジョン・マチンによって発見された逆三角関数を用いた円周率を計算するための公式である。