■ほぼ1の数の無限積(その50)
Π(n^2/(n^2−1)
=(2・2/1・3)(3・3/2・4)(4・4/3・5)・・・(n・n/(n−1)・(n+1))・・・→2
それに対して,ウォリスの公式は
π/2=(2・2/1・3)(4・4/3・5)(6・6/5・7)・・・(2n・2n/(2n−1)・(2n+1))・・・
あるいは
Πn/(n−1/2)・n/(n+1/2)=Γ(1/2)/Γ(1)・Γ(3/2)/Γ(1)=2Γ^2(3/2)=π/2
となる.
===================================
一方,
[Q]全素数にわたる積
(2・2/1・3)(3・3/2・4)(5・5/4・6)・・・(p・p/(p−1)・(p+1))・・・
を求めよ.
[A]当該の式
(2・2/1・3)(3・3/2・4)(5・5/4・6)・・・(p・p/(p−1)・(p+1))・・・
は
Πp^2/(p^2−1)=Π1/(1−1/p^2)
と書いたほうがわかりやすいかもしれない.これはオイラー積であって,
ζ(2)=1/1^2 +1/2^2 +1/3^s +1/4^2 +・・・=π^2/6
に等しい.
よって,
π^2/6=(2・2/1・3)(3・3/2・4)(5・5/4・6)・・・(p・p/(p−1)・(p+1))・・・
===================================