■三角関数の積公式(その30)
(その24)をやり直したい.
===================================
sinx=8sinx/4cos^3x/4−4sinx/4cosx/4
=4sinx/4cosx/4{2cos^2x/4−1}
=4sinx/4cosx/4{1+√2cosx/4}{−1+√2cosx/4}
=4sinx/4cosx/4{1+√2cosx/4}{−1+√2cosx/4}
sinx/4=4sinx/4^2・cosx/4^2{1+√2cosx/4^2}{−1+√2cosx/4^2}
したがって,
sinx=
=4^2sinx/4^2・cosx/4^2cosx/4{1+√2cosx/4}/4{1+√2cosx/4^2}{−1+√2cosx/4}{−1+√2cosx/4^2}
=・・・・・
=4^ksinx/4^k・Πcosx/4^kΠ{1+√2cosx/4^k}Π{−1+√2cosx/4^k}
k→∞のとき,limsinx/4^k/(x/4^k)
=1/x・lim4^ksinx/4^k=1
lim4^ksinx/4^k=x
以上より,
sinx/x=Πcosx/4^k{1+√2cosx/4^k}
が示される.
===================================
(その7)の結果
sinx/x=Π(4cos^2x/5^k+2cosx/5^k−1)/5
は正しいようである.
===================================