三角函数和角公式

根据和角公式，可以直接推导出倍角公式。然后再推导出半角公式。