C=180-(A+B)
所以tanC=-tan(A+B)=-(tanA+tanB)/(1-tanAtanB)
所以tanC(1-tanAtanB)=-(tanA+tanB)
tanC-tanAtanBtanC=-(tanA+tanB)
所以tanA+tanB+tanC=tanAtanBtanC