并排比较

两题都从余弦和差角公式获得同一三项递推。递推一方面让相邻大下标组合相消，另一方面说明各倍角余弦都是单个余弦值的整系数多项式，从而传递有理性。

一个使用递推在固定下标的具体等式，另一个沿全部正整数下标归纳；两者都无需求出角本身。