■無限積(その9)
Π(n^2/(n^2−1)
=(2・2/1・3)(3・3/2・4)(4・4/3・5)・・・(n・n/(n−1)・(n+1))・・・
→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))・・・
===================================
したがって,qがすべての合成数を渡るとき
Π(q^2/(q^2−1)=12/π^2
===================================