和差化积公式的推导和三角函数的学习方法