2019.6.25 π的无穷级数推导

$\pi$有一种简单的积分求法：

$$\frac{\pi }{4}=arctan(1)={\int }_0^1\frac{1}{1+x^2}dx={\int }_0^{1}1-x^2+x^4-...dx=1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+...$$

现在我们有另一个问题：求满足$x^2+y^2=r$的$(x,y)$个数，即半径为$\sqrt{r}$的圆上格点数，

我们要借助这个问题来推导$\pi$

任意一个数可以分解为若干个素数，且分解方案唯一（除了乘$-1$），

相似地，素数又可以分解为高斯素数，且分解方案唯一（除了乘$-1,i,-i$）

$2$比较特殊，等于$(1+i)(1-i)$

对于其他的素数，只有$4k+1$都能被分解，$4k+3$都不能（$x^2$只有$0,1$两种取值）

考虑$5$这个素数，它等于$(2+i)(2-i)$，那么$25=(2+i)(2-i)(2+i)(2-i)$

我们要把它分成两组，共有三种分法：

$(2+i)(2-i),(2+i)(2-i)$；

$(2+i)(2+i),(2-i)(2-i)$；

$(2-i)(2-i),(2+i)(2+i)$；

这其实就是$25$中$5$的幂次$+1$

对于那些不能分解的素数，如果是奇数个，那分配到两边后，两边的积一定不是共轭复数

本来如果是分解方法的话这是算的，但我们的问题是圆上格点数，那就不能算

现在考虑$2$，如果我们把$(1+i)$分在左边，$(1-i)$分在右边，

交换后左边相当于除了$i$，右边乘了$-i$，可以省略

假如我们有一个数$450$，它等于$2\ast 3^2\ast 5^2$

$2$对答案不造成贡献，$3$也不对答案造成贡献，$5$对答案造成的贡献是$2+1=3$

最后不要忘了乘以$4$

现在我们定义一个函数$\chi (n)$，

$$\chi (n)=\{\begin{array}{ll}1,& n=4k+1\\ -1,& n=4k+3\\ 0,& n=2k\end{array}$$

而且，$\chi (n)$是完全积性函数，这样，我们就可以把上面的东西用$\chi (n)$来表示：

$(\chi (2^0)+\chi (2^1))(\chi (3^0)+\chi (3^1)+\chi (3^2))(\chi (5^0)+\chi (5^1)+\chi (5^2))$

由于除了$\chi (2^0)$外，$\chi (2^k)=0$，所以第一部分$=1$

由于$(4k+3{)}^{2p}$，$(4k+3{)}^{2p+1}$，所以第二部分=$1-1+1-1+...$，满足偶数为$1$，奇数为$-1$

由于$(4k+1{)}^p$，所以第三部分=$1+1+1+...=$次数$+1$

由此，我们发现：半径为$n$的圆上格点数$=4{\sum }_{d|n}\chi (d)$，即每个$\chi (d)$都会对其倍数造成贡献

那么，${\lim }_{r\to +\infty }=4\sum \frac{r^2}{i}\chi (i)$，即${\lim }_{r\to +\infty }\pi r^2=4r^2\sum \frac{\chi (i)}{i}$

$$\frac{\pi }{4}=1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+...$$