公元前3世纪,欧几里得证明了素数有无穷多个。公元十八世纪,欧拉证明了所有素数的倒数之和发散。这里给出一些证明。
证明一[编辑]
![{\displaystyle \ln \left(\sum _{n=1}^{\infty }{\frac {1}{n}}\right)=\ln \left(\prod _{p}{\frac {1}{1-p^{-1}}}\right)=\sum _{p}\ln \left({\frac {1}{1-p^{-1}}}\right)=\sum _{p}-\ln(1-p^{-1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02465142c1322b9d26bf76a7e9ee19538ef462f1)
![{\displaystyle =\sum _{p}\left({\frac {1}{p}}+{\frac {1}{2p^{2}}}+{\frac {1}{3p^{3}}}+\cdots \right)=\left(\sum _{p}{\frac {1}{p}}\right)+\sum _{p}{\frac {1}{p^{2}}}\left({\frac {1}{2}}+{\frac {1}{3p}}+{\frac {1}{4p^{2}}}+\cdots \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7719654217fcb01b81c4ae3317b7ca21fe92e163)
![{\displaystyle <\left(\sum _{p}{\frac {1}{p}}\right)+\sum _{p}{\frac {1}{p^{2}}}\left(1+{\frac {1}{p}}+{\frac {1}{p^{2}}}+\cdots \right)=\left(\sum _{p}{\frac {1}{p}}\right)+\left(\sum _{p}{\frac {1}{p(p-1)}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/354b71db5832feff575825e8b640fb0317a76991)
![{\displaystyle =\left(\sum _{p}{\frac {1}{p}}\right)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06b0b5d8c919a098b99e0c26e55d9fb714eff6c0)
因为当n逐渐增大时,前n个整数的倒数之和趋近于ln(n),所以
![{\displaystyle {\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{7}}+{\frac {1}{11}}+\cdots =\ln \ln(+\infty ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb640722ccb668ceacbaccc062b8848946611f4a)
证明二[编辑]
此证明由保罗·埃尔德什给出。用反证法。
假设所有素数的倒数之和收敛:
定义
为第i个素數,可得到
![{\displaystyle \sum _{k=1}^{\infty }{1 \over p_{k}}=c.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ed8e0c8db14ab04c9e99a51d1f09296104e14e4)
存在一个正整数i使得
![{\displaystyle \sum _{k=1}^{\infty }{1 \over p_{i+k}}<{1 \over 2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23c36aa191d8c28e51b7c582eddb29c33ad583f0)
定义N(x)为不超过x且不能被任何大于第i个素数的素数整除的正整数n的个数。
设
,k不再含平方因子(任何整数都可以这样)。
由于只有i个素数能整除k,k最多只有
种选择。
又因为m最多只能取
个值,可得到:
![{\displaystyle N(x)\leq 2^{i}{\sqrt {x}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b414cbb1a286400336e8af11c37f3e5c98b55e3d)
不超过x且能被某些大于第i个素数的素数整除的正整数n的个数为x − N(x)。
因为不超过x且能被p整除的整数最多有x/p个,可得到
![{\displaystyle x-N(x)<\sum _{k=1}^{\infty }{x \over p_{i+k}}<{x \over 2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77f81f6506368d9a85de0cd430cc95f1142597df)
或
![{\displaystyle {x \over 2}<N(x)\leq 2^{i}{\sqrt {x}}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9af939e142d832a8c63569cbc84b8352a705184d)
但这是不可能的。
证毕。
外部链接[编辑]