展开 利用两角差的余弦公式推导两角差的正弦