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

 一般化してみたい.

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

  sinx=sinx/2ncosx/2n・Σ(−1)^r/r!(Π(2n−k)2^2n-2r-1cos^2n-2r-2x/2n

  sinx/2n=sinx/(2n)^2cosx/(2n)^2・Σ(−1)^r/r!(Π(2n−k)2^2n-2r-1cos^2n-2r-2x/(2n)^2

 したがって,

sinx=

=(2n)^ksinx/(2n)^k・Πcosx/(2n)^k・Π{Σ(−1)^r/r!(Π(2n−k)2^2n-2r-1cos^2n-2r-2x/(2n)^k}/2n

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

=1/x・lim(2n)^ksinx/(2n)^k=1

  lim(2n)^ksinx/(2n)^k=x

また,

  limΠ(2n−k)2^2n-2r-1cos^2n-2r-2x/(2n)^k}/2n=1

 以上より,

  sinx/x=Πcosx/(2n)^k

が示される.

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