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

 (その28)で遣り残した因数分解

  Σ(−1)^r/r!(Π(2n−k)2^2n-2rcos^2n-2ry

=Σ(−1)^r(2n+1,2r+1){1−cos^2y)^r(cos^2y)^(n-r)

 r=0のとき,(2n+1)(cosy)^2n

 r=n/2のとき,(2n+1,n+1){1−cos^2y)^n/2(cos^2y)^n/2

 r=nのとき,±(1−cos^2y)^n

より,

  (−1±cosy+cos^2y)

のような2次因子があらわれると思われる.

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

  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)

64y^6−80y^4+24y^2−1

=y^2(64y^4−80y^2+24)−1

=y^2(8y^2−5)^2−y^2−1

=(8y^3−5y)^2−y^2−1

 しかし,このあとがうまく因数分解できない.一般化するためにチェビシェフ多項式を使うのだろうか.

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