tan(A+B)=(tanA+tanB)/1-tanAtanB
A+B=180-C
∴tanAtanB=[(tanA+tanB)/tanC]+1
锐角三角形ABC中
tanA>0
tanB>0
tanC>0
故tanAtanB=[(tanA+tanB)/tanC]+1>1