然后，杜预开始给出公式，进行推导计算。

他首先给出马青公式，π=16arctan1/5-4arctan1/239

这个公式由英国天文学教授约翰·马青于1706年发现。他利用这个公式计算到了100位的圆周率。马青公式每计算一项可以得到1。4位的十进制精度。在更复杂的公式没出之前，马青公式算的最快。

随后，杜预开始证明马青公式。

证明起来