■グレゴリー・ライプニッツ・オイラー(その8)
π/4=1−1/2+1/5−1/7+1/9−1/11+・・・
=1+1/3)^-1(1−1/5)^-1(1+1/7)^-1(1+1/11)^-1(1−1/13)^-1・・・
3/4・5/4・7/8・11/12・13/12・17/16・19/20・・・=Σ(-1)^n/(2n+1)=arctan1=π/4
===================================
π^2/6=1+1/2^2+1/3^2+1/4^2+1/5^2+・・・
リーマン・ゼータ関数の性質から
(1+(1/2)^2+(1/3)^2+・・・)(1-(1/2)^2)(1-(1/3)^2)(1-(1/5)^2)(1-(1/7)^2)・・・=1
π^2/6・(1-(1/2)^2)(1-(1/3)^2)(1-(1/5)^2)(1-(1/7)^2)・・・=1
したがって、(1-(1/2)^2)(1-(1/3)^2)(1-(1/5)^2)(1-(1/7)^2)・・・=6/π^2
1/2・3/2・2/3・5/3・4/5・6/5・6/7・8/7・・・=6/π^2
===================================
1−1/k^2=(k−1)(k+1)/k^2より,
したがって,
(1−1/2^2)(1−1/3^2)(1−1/4^2)・・・=
1/2・3/2・2/3・4/3・3/4・5/4・・・・=1/2
ここで,
(1−1/2^2)(1−1/4^2)(1−1/6^2)・・・
=(2−1)(2+1)/2^2・(4−1)(4+1)/4^2・(6−1)(6+1)/6^2・・・
=1/2・3/2・3/4・5/4・5/6・7/6・・・
=2/π (ウォリス)
であるから,
(1−1/3^2)(1−1/5^2)(1−1/7^2)・・・
=(3−1)(3+1)/3^2・(5−1)(5+1)/5^2・(7−1)(7+1)/7^2・・・
=2/3・4/3・4/5・6/5・6/7・8/7・・・
=π/4
===================================