三角函数的和差化积公式和二倍角公式