请写下积化和差公式的推导过程