∵cos(A-B)=cosA*cosB+sinA*sinB
∴逆用以上公式得
sinx*sin(x+y)+cosx*cos(x+y)
=cos[(x+y)-x]
=cosy
∴sinx*sin(x+y)+cosx*cos(x+y)=cosy