点击免费领取中考核心考点资料！
tan(A+B)=tan(π-C)
(tanA+tanB)/(1-tanAtanB)=(tanπ-tanC)/(1+tanπtanC)
整理可得
tanA+tanB+tanC=tanAtanBtanC
得证
同样可以得证，当x+y+z=nπ(n∈Z)时，该关系式也成立
由tanA+tanB+tanC=tanAtanBtanC可得出以下结论
(5)cotAcotB+cotAcotC+cotBcotC=1
(6)cot(A/2)+cot(B/2)+cot(C/2)=cot(A/2)cot(B/2)cot(C/2)
(7)(cosA)^2+(cosB)^2+(cosC)^2=1-2cosAcosBcosC
(8)(sinA)^2+(sinB)^2+(sinC)^2=2+2cosAcosBcosC
