∵tan(A+B)=tanA+tanB/1-tanA*tanB
tan(A+B)=tan(π-C)=-tanC
∴tanA+tanB/1-tanA*tanB=-tanC
整理移项即得
tanA+tanB+tanC=tanA*tanB*tanC