三角関数の無限乗積展開

数学において、三角関数と双曲線関数について無限乗積を用いた以下の恒等式が成立する。

初等的な考察 
は複素平面全体で正則(マクローリン展開の収束半径が無限大)であるから無限次の多項式で表される。の零点はであるから、を定数として

微分して

を代入すればを得る。同様に

を代入すればを得る。但し、これは厳密な証明ではない。何故ならばを考慮していないからである。同じ方法での無限乗積展開を求めようとすると失敗するであろう。一般にはワイエルシュトラスの因数分解定理が必要になる。

証明 
正弦関数の乗積展開を証明するには

として、恒等的にであることを示せば良い。そのためにの対数微分

を考える。余接関数の部分分数展開

を用いてとなるからは定数であり、が得られる。

フーリエ級数を用いた証明 
 とし、区間  で定義された関数  を考える。

これを周期  で延長した関数のフーリエ級数は区間  において  に各点収束する。

 を代入すると

 

ここで  をとる。であるとき、であり、また  は収束することから、

ワイエルシュトラスのM判定法より上式は  において一様収束する。よって上式は区間  において積分できる。

これより  が得られる。

ウォリス積 
正弦関数の乗積展開

にを代入すると

が得られる。これはウォリス積と呼ばれるものである。

外部リンク 
三角関数の無限乗積展開 - 理系ノート
部分分数展開 - 理系ノート

解析学
数学に関する記事