■三角関数の積公式(その31)

 (その26)をやり直したい.

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

  sinx=32sinx/6cos^5x/6−32sinx/6cos^3x/6+6sinx/6cosx/6

=sinx/6cosx/6(32cos^4x/6−32cos^2x/6+6)

sinx/6=sinx/6^2cosx/6^2(32cos^4x/6^2−32cos^2x/6^2+6)

 したがって,

sinx=

=sinx/6^2・cosx/6・cosx/6^2・(32cos^4x/6−32cos^2x/6+6)(32cos^4x/6^2−32cos^2x/6^2+6)

=・・・・・

=sinx/6^kΠcosx/6^k・Π(32cos^4x/6^2−32cos^2x/6^2+6)

=6^ksinx/6^kΠcosx/6^k・Π(32cos^4x/6^2−32cos^2x/6^2+6)/6

  (32cos^4x/6^2−32cos^2x/6^2+6)

=(√32cos^2x/6^2−√6)^2−(32−8√3)cos^2x/6^2

とすると因数分解は可能である.

 k→∞のとき,limsinx/6^k/(x/6^k)

=1/x・lim6^ksinx/6^k=1

  lim6^ksinx/6^k=x

 以上より,

  sinx/x=Πcos^2x/6^k・(√32cos^2x/6^2+√(32−8√3)−√6)/6

が示される.

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