■三角関数とガウス和(その20)
一般化してみたい.
===================================
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
が示される.
===================================