证明:
A+B=C
tan(A+B)=-tanC
∴(tanA+tanB)/(1-tanAtanB)=-tanC
∴ tanA+tanB=-tanC+tanCtanAtanB
∴ tanA+tanB+tanC=tanA×tanB×tanC