【证明】K倍角公式

今天考试有一道题居然需要用倍角公式的递推形式来帮助化简递推式从而构造矩阵进行快速幂。于是我就闲的蛋疼来yy一发证明。

前置技能：

Taylor展开（欧拉公式），组合数，二项式定理

倍角公式：

对于$\forall K\in {\mathbb{N}}_{\ast },x\in \mathbb{R}$，如下公式总是成立：$$\sin (K\ast x)=\sin (x)\cos ((K-1)\ast x)+\cos (x)\sin ((K-1)\ast x)$$$$\cos (K\ast x)=\cos (x)\cos ((K-1)\ast x)-\sin (x)\sin ((K-1)\ast x)$$

推导：

由于Taylor展开：$$\begin{array}{rl}\cos (x)=& \sum _{i=0}^{\infty }(-1{)}^i\frac{x^{2i}}{(2i)!}\\ \sin (x)=& \sum _{i=0}^{\infty }(-1{)}^i\frac{x^{2i+1}}{(2i+1)!}\\ \exp (x)=& \sum _{i=0}^{\infty }\frac{x^i}{i!}\end{array}$$

我们有欧拉公式$$e^{i\theta }=\exp (i\theta )=\cos (\theta )+i\sin (\theta )$$

所以我们得到$$\begin{array}{rl}\cos (n\theta )+i\sin (n\theta )& =\exp (in\theta )\\ & =e^{in\theta }\\ & =(e^{i\theta }{)}^n\\ & =(\cos (\theta )+i\sin (\theta ){)}^n\end{array}$$

考虑$n$为正整数的时候。
将上面的式子由二项式定理展开得到：$$\begin{array}{rl}\cos (n\theta )+i\sin (n\theta )=& \sum _{r=0}^n{C}_n^r{\cos }^{n-r}(\theta )\ast i^r{\sin }^r(\theta )\\ =& (C_n^0{\cos }^n(\theta )+C_n^2{\cos }^{n-2}(\theta ){\sin }^2(\theta )+...)\\ & +i(C_n^1\sin (\theta ){\cos }^{n-1}(\theta )+C_n^3{\sin }^3(\theta ){\cos }^{n-3}(\theta )+...)\end{array}$$

实部和虚部分别对应一下就能得到：$$\begin{array}{rl}\cos (n\theta )=& \sum _{i=0}^{\lfloor \frac{n}{2}\rfloor }(-1{)}^i{C}_n^{2i}{\cos }^{n-2i}(\theta ){\sin }^{2i}(\theta )\\ \sin (n\theta )=& \sum _{i=1}^{\lfloor \frac{n-1}{2}\rfloor }(-1{)}^i{C}_n^{2i+1}{\cos }^{n-2i-1}(\theta ){\sin }^{2i+1}(\theta )\end{array}$$

现在我们得到了$K$倍角公式的封闭形式

接下来只对正弦的公式进行推导，余弦的公式读者可以类似处理

我们回到原来的式子：
$$\begin{array}{rlr}\sin (K\ast x)=& \cos (x)\sin ((K-1)\ast x)+\sin (x)\cos ((K-1)\ast x)& \\ =& cos(x)(\sum _{i=1}^{\lfloor \frac{K-2}{2}\rfloor }(-1{)}^i{C}_{K-1}^{2i+1}{\cos }^{K-2i-2}(x){\sin }^{2i+1}(x))& \\ +& \sin (x)(\sum _{i=0}^{\lfloor \frac{K-1}{2}\rfloor }(-1{)}^i{C}_{K-1}^{2i}{\cos }^{K-2i-1}(x){\sin }^{2i}(x))& \end{array}$$

接下来暴力将$\Sigma$外面的两个函数乘进去：$$\begin{array}{rl}& \sum _{i=1}^{\lfloor \frac{K-2}{2}\rfloor }(-1{)}^i{C}_{K-1}^{2i+1}{\cos }^{K-2i-1}(x){\sin }^{2i+1}(x)\\ +& \sum _{i=0}^{\lfloor \frac{K-1}{2}\rfloor }(-1{)}^i{C}_{K-1}^{2i}{\cos }^{K-2i-1}(x){\sin }^{2i+1}(x)\end{array}$$

接下来暴力将$\Sigma$部分转成一样的合并同类项直接得到：$$\sum _{i=0}^{\lfloor \frac{K-1}{2}\rfloor }(-1{)}^i{C}_K^{2i+1}{\cos }^{K-2i-1}(x)si{n}^{2i+1}(x)=\sin (K\ast x)$$

其余三角函数同理可以推导出类似的递推公式，此处不再一一列举，相信读者都有能力自己推导出来。