直接运用二倍角公式升幂，将该公式变形后可得到降幂公式：

相除有

降幂式是一元多项式的一种表示法。在多项式里，按照某一元（变数字母）的幂指数由高到低的顺序来排列多项式的各项，称为按某元的降幂排列。降幂排列的多项式称为降幂式。

例如多项式：7a^5+a^4-a^3-2a^2+6a-5是按a的降幂排列的多项式，它是a的降幂式。

多项式各项的先后按照某一个字母的指数逐渐减少的顺序排列，叫做这一字母的降幂。直接运用二倍角公式就是升幂，将公式Cos2α变形后可得到降幂公式。