tanC=-tan(A+B)
=-(tanA+tanB)/(1-tanAtanB)
tanC-tanAtanBtanC=-tanA-tanB
tanA+tanB+tanC=tanAtanBtanC
证毕!
此题如仍有疑问,欢迎追问!