In ΔABC,∑sin(A−B)cosAcosB=
1
2
0
12
∑sinAcosB−cosAsinBcosAcosB
=∑(tanA−tanB)=tanA-tanB+tanB-tanc+tanc-tanA=0