积化和差公式的推导