根据两角和的正弦公式，得
cosxsin（y-x）+cos（y-x）sinx
=sin[（y-x）+x]
=siny，
∴cosxsin（y-x）+cos（y-x）sinx=siny．