tanA+tanB=√3tanAtanB-√3
两边同乘以cosAcosB,得
sinAcosB+cosAsinB=√3sinAsinB-√3cosAcosB
所以 sin(A+B)=-√3(cosA+B)
tan(A+B)=-√3
所以A＋B＝120
因为A,B是锐角,所以有0