■正弦・余弦の積公式(その14)

 k→∞のとき,

  sinx/x=Πcosx/2^k

  sinx/x=Π(1+2cosx/3^k)/3

が成り立つが,後者に関しては,

  sinx/x

=Π(1−4/3sin^2x/3^k)

=Π(4/3cos^2x/3^k−1/3)

のままでも成り立つし,その方が因数分解の必要がなく,一般化する際に便利である.

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

  sinx=3sinx/3−4sin^3x/3

      =3sinx/3(1−4/3sin^2x/3)

      =3sinx/3(4/3cos^2x/3−1/3)

 したがって,

sinx/x=Π(4cos^2x/4^k−1)/3

  sinx=8sinx/4cos^3x/4−4sinx/4cosx/4

=4sinx/4cosx/4{2cos^2x/4−1}

 したがって,

sinx/x=Πcosx/4^k(2cos^2x/4^k−1)

  sinx=16sin^5x/5−20sin^3x/5+5sinx/5

=sinx/5(16sin^4x/5−20sin^2x/5+5)

=sinx/5(16cos^4x/5−12cos^2x/5+1)

=5sinx/5(16cos^4x/5−12cos^2x/5+1)/5

 したがって,

sinx/x=Π(16cos^4x/5^k−12cos^2x/5^k+1)/5

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

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

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

 したがって,

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

  sinx=−64sin^7x/7+112sin^5x/7−56sin^3x/7+7sinx/7

=−sinx/7(64sin^6x/7−112sin^4x/7+56sin^2x/7−7)

=sinx/7(64cos^6x/7−80cos^4x/7+24cos^2x/7−1)

=7sinx/7(64cos^6x/7−80cos^4x/7+24cos^2x/7−1)/7

 したがって,

sinx/x=Π(64cos^6x/7^k−80cos^4x/7^k+24cos^2x/7^k−1)/7

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