計算π的各種公式可以從 arctan ( x ) {\displaystyle \arctan(x)} 的冪級數展開式得到。
由於 arctan ( 1 ) = π 4 {\displaystyle \arctan(1)={\frac {\pi }{4}}} ,我們有
這個公式(由戈特弗裡德·萊布尼茨提出)收斂速度太慢,無法實際使用。但是,可以找到收斂速度快得多的類似公式。約翰·馬欽(1680-1752)證明了
這個公式被手持計算器廣泛使用。右邊第一部分很容易計算,因為求 1 5 n {\displaystyle {\frac {1}{5^{n}}}} 涉及非常簡單的除法,而第二部分只需要 50 項就能計算出 240 位小數。
萊昂哈德·尤拉(1707-1783)證明了
斯特默證明了
這個公式在 1962 年被用來將 π {\displaystyle \pi } 計算到超過 100,000 位小數。