(sina+cosa)*(sinB-cosB)=sin(B-a)-cos(B+a)
если вы раскроете скобки слева,то по формулам сложения у вас свернется,и тождество будет доказано.