■グレゴリー・ライプニッツ・オイラー(その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

===================================