三角関数の公式 n倍角の公式の変形
nを0以上の整数とするとき、
2^n cos^(n+1) θ
= cos (n+1)θ + Σ[k=1,n] 2^(n-k) cos^(n-k) θ cos (k-1)θ
2^n cos^(n) θ sin θ
= sin (n+1)θ + Σ[k=2,n] 2^(n-k) cos^(n-k) θ sin (k-1)θ
が成り立つらしいのですが、どう証明したらよいのでしょうか?
なお、n=1とおくと、
2 cos^(2) θ = cos 2θ +1 ,
2 cos θ sin θ = sin 2θ
となり、2倍角の公式になります。
ただし、Σ[k=2,1](*)=0 です。
n=2とおくと、3倍角の公式になります。