ヴィエタの無限積は

　　２／π＝√２／２・√（２＋√２）／２・√（２＋√（２＋√２））／２・√（２＋√（２＋√（２＋√２）））／２・・・

これはオイラーが見つけた無限積の公式

sinx/x=cos(x/2)cos(x/4)cos(x/8)・・・

にx=π/2を代入することで簡単に証明できる。

sinx/x=cos(x/2)cos(x/4)cos(x/8)・・・は

1/(1-x)=(1+x)/(1-x^2)=(1+x)(1+x^2)/(1-x^4)=(1+x)(1+x^2)(1+x^4)/(1-x^8)=・・・

を思い起こさせる。

すなわち割り算をいくつかの掛け算に置き換えるというものである。

ついには無限積となり

Π(1+x^2^k)=1/(1-x)=1+x+x^2+x^3+・・・

が成り立つ。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　それでは，任意のｘに対して，無限積公式

　　ｓｉｎｘ／ｘ＝ｃｏｓｘ／２ｃｏｓｘ／４ｃｏｓｘ／８・・・

を示しておこう．

（証明）

　　ｓｉｎｘ＝２ｓｉｎｘ／２ｃｏｓｘ／２

　　　　　　＝４ｓｉｎｘ／４ｃｏｓｘ／４ｃｏｓｘ／２

　　　　　　＝８ｓｉｎｘ／８ｃｏｓｘ／８ｃｏｓｘ／４ｃｏｓｘ／２

　　　　　　　・・・・・

　　　　　　＝２^nｓｉｎｘ／２^nｃｏｓｘ／２^n・・・ｃｏｓｘ／２

　書き直すと

　　ｓｉｎｘ＝ｘ［ｓｉｎ（ｘ／２^n）／（ｘ／２^n）］ｃｏｓｘ／２・・・ｃｏｓｘ／２^n

　ここで，ｎ→∞のとき，

　　ｓｉｎ（ｘ／２^n）／（ｘ／２^n）→１

であるから，ｓｉｎｘの無限積表示

　　ｓｉｎｘ＝ｘΠｃｏｓｘ／２^n

　　　　　　＝ｘ（１−ｘ^2／π^2）（１−ｘ^2／４π^2）（１−ｘ^2／９π^2）・・・

が得られる．この結果は，ｓｉｎｘがｘ＝０，±π，±２π，±３π，・・・のとき，０になることに一致している．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［補］正弦積分とは，

　　Ｓｉ（ｘ）＝∫(0,t)ｓｉｎｔ／ｔｄｔ

　　　　　　　＝ｘ−ｘ^3／３・３！＋ｘ^5／５・５！−・・・

として定義される特殊関数（初等関数によって表し得ない関数）である．また，その特殊値

　　Ｓｉ（∞）＝∫(0,∞)ｓｉｎｔ／ｔｄｔ＝π／２

は，ディリクレ積分と呼ばれる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝