| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "三角関数の無限乗積展開" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年7月) |
数学において、三角関数と双曲線関数について無限乗積を用いた以下の恒等式が成立する。
初等的な考察[編集]
は複素平面全体で正則(マクローリン展開の収束半径が無限大)であるから無限次の多項式で表される。の零点はであるから、を定数として
微分して
を代入すればを得る。同様に
を代入すればを得る。但し、これは厳密な証明ではない。何故ならばを考慮していないからである。同じ方法での無限乗積展開を求めようとすると失敗するであろう。一般にはワイエルシュトラスの因数分解定理が必要になる。
正弦関数の乗積展開を証明するには
として、恒等的にであることを示せば良い。そのためにの対数微分
を考える。余接関数の部分分数展開
を用いてとなるからは定数であり、が得られる。
フーリエ級数を用いた証明[編集]
とし、区間 で定義された関数 を考える。
これを周期 で延長した関数のフーリエ級数は区間 において に各点収束する。
を代入すると
ここで をとる。であるとき、であり、また は収束することから、
ワイエルシュトラスのM判定法より上式は において一様収束する。よって上式は区間 において積分できる。
これより が得られる。
ウォリス積[編集]
正弦関数の乗積展開
にを代入すると
が得られる。これはウォリス積と呼ばれるものである。
外部リンク[編集]