∵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