说不尽的 π

1. 祖冲之的密率

祖冲之的密率 $\frac{355}{113}$。这个密率的好处在于，它的分母不大而精确度很高。

2. 界限的提高

根据 $\pi = 3.1415926535897...$，可得 $\left|\frac{355}{113}-\pi\right|<0.00000026677$。

所以有：

$$\left|\frac{355}{113}-\frac qp\right|=\left|\left(\frac{355}{113}-\pi\right)-\left(\frac{q}{p}-\pi\right)\right|<2\times 0.00000026677$$

也即：

$$\frac{\left|355p-113q\right|}{113p}<2\times 0.00000026677$$

又左侧不等于，则有 $\left|355p-113q\right|\geq 1$，所以有：

$$\frac1{113p}<2\times 0.00000026677$$
得 $p>16586$.

这表明，如果有一个分数（有理数）$\frac qp$ 比 $\frac{355}{113}$ 更接近于 $\pi$，其分母一定大于 16586.