在0到90度之间,各角度的正切值都是大于0得,即tanA>0,tanB>0,tanC>0,三个正数的乘积仍为正数,即tanA*tanB*tanC>0,证毕.