歐拉在他的論文《無窮級數的一些檢視》(Various Observations about Infinite Series)中證明黎曼ζ函數的歐拉乘積公式,並於1737年由當時的科學院出版。[1][2]
公式
黎曼ζ函數以歐拉乘積的方式可寫成
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p{\text{ prime}}}{\frac {1}{1-p^{-s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eae0968ff29d511b6ac1e2a3463ba92313f94526)
而左方等於黎曼ζ函數:
![{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{5^{s}}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a448138f05d20838238bc2836b712e7e316ab163)
右方的乘積則擴展至所有質數p:
![{\displaystyle \prod _{p{\text{ prime}}}{\frac {1}{1-p^{-s}}}={\frac {1}{1-2^{-s}}}\cdot {\frac {1}{1-3^{-s}}}\cdot {\frac {1}{1-5^{-s}}}\cdot {\frac {1}{1-7^{-s}}}\cdots {\frac {1}{1-p^{-s}}}\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f22da57dec5301a7a1535e8dec3e1f18aec0c82)
證明
證明方法採用了埃拉托斯特尼篩法的概念,此篩法用於找尋出特定範圍內的質數。
證明過程只需用到簡單的代數概念,這亦是歐拉當初使用的證明方法。
(1)
(2)
從(1)式減去(2)式:
(3)
重複上面步驟:
(4)
從(3)式減去(4)式,可得:
![{\displaystyle \left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}+{\frac {1}{11^{s}}}+{\frac {1}{13^{s}}}+{\frac {1}{17^{s}}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a37540ed47178a76e5c4f4bee9592c012fd86ae)
這次2和3的所有倍數項都被減去。可見右方的的倍數項可被篩去,不斷重複以上步驟可得:
![{\displaystyle \ldots \left(1-{\frac {1}{11^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a498cd38314b0411e963571bc2a18c0431eeb0b1)
左右兩方除以所有括號項,我們得到:
![{\displaystyle \zeta (s)={\frac {1}{\left(1-{\frac {1}{2^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}{11^{s}}}\right)\ldots }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb8ab931e451715ee7845bd5563c4c98d58586b7)
最後,公式可寫成質數的無窮乘積:
![{\displaystyle \zeta (s)=\prod _{p{\text{ prime}}}{\frac {1}{1-p^{-s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5969f6b5a81ab4a9e32dba75156443830601f7f8)
證畢。
為了使證明更嚴密,我們只需注意到當
,已篩的右方項趨向1,並遵從狄利克雷級數的收歛性。
特別情形 ![{\displaystyle s=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bac386d8f227fb823cede9b3e33d706cad3ed306)
從以上公式可推導出 ζ(1) 的有趣結果。
![{\displaystyle \ldots \left(1-{\frac {1}{11}}\right)\left(1-{\frac {1}{7}}\right)\left(1-{\frac {1}{5}}\right)\left(1-{\frac {1}{3}}\right)\left(1-{\frac {1}{2}}\right)\zeta (1)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81779f00fa170ebdd9c8bdd505cae3456db0addd)
可以寫成,
![{\displaystyle \ldots \left({\frac {10}{11}}\right)\left({\frac {6}{7}}\right)\left({\frac {4}{5}}\right)\left({\frac {2}{3}}\right)\left({\frac {1}{2}}\right)\zeta (1)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3128ac0ea620cf1ba257d8372ea1113c4cc3716)
![{\displaystyle \left({\frac {\ldots \cdot 10\cdot 6\cdot 4\cdot 2\cdot 1}{\ldots \cdot 11\cdot 7\cdot 5\cdot 3\cdot 2}}\right)\zeta (1)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5214d949ad56b06685b1103afd0aa003f2213e9b)
又知:
![{\displaystyle \zeta (1)=1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0be0d6276277e9af46e7864c40988ed283980c79)
所以
![{\displaystyle 1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+\ldots ={\frac {2\cdot 3\cdot 5\cdot 7\cdot 11\cdot \ldots }{1\cdot 2\cdot 4\cdot 6\cdot 10\cdot \ldots }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14050961eea89847f373b8f52180ce35749e8b7a)
我們得知左式是調和級數,並發散至無窮大,故此右式的分子(質數階乘)必定同樣發散至無窮大。由此可以證明質數有無限多個。
參見
參考資料
- ^ O'Connor, J.J. and Robertson, E.F. A history of calculus. University of St Andrews. February 1996 [2007-08-07]. (原始内容存档于2007-07-15).
- ^ John Derbyshire (2003), chapter 7, "The Golden Key, and an Improved Prime Number Theorem"
- John Derbyshire, Prime Obsession: Bernhard Riemann and The Greatest Unsolved Problem in Mathematics, Joseph Henry Press, 2003, ISBN 978-0-309-08549-6