■三角関数の積公式(その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

は正しいようである.

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