■ほぼ1の数の無限積(その2)

  Π(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

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