和差化积公式的推导过程