■三角関数の積公式(その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
しかし,このあとがうまく因数分解できない.一般化するためにチェビシェフ多項式を使うのだろうか.
===================================