>>219>.231式の一部だけど
cos7θcosθ+sin7θsinθ=cos(7θーθ)=cos6θって加法定理の逆じゃないか?