结果：使用复数的极坐标系便能证实这公式，以以下的数学式开始：这类的公式被称为梅钦类公式。(注意，{ ,} = {239, 13}是佩尔方程「-2 = -1」的其中一个解答。)印度数学家斯里尼瓦瑟·拉马努金发现了的很多其他表示方式。他与戈弗雷·哈罗德·哈代一起工作了很多年。如果要计算小数点后很多位，计算者通常会使用高斯-勒让德算法，，和1976年发明的萨拉明 - 布伦特公式。和/的小数点后首十万位能在古腾堡计划里查阅(参见#外部连结)。在2002年12月，在东京大学进修的金田康正发放了