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