为什么tanA+tanB+tanC=tan(A+B)(1-tanAtanB)+tanC