1>tanAtanB>0
1>(sinAsinB)/(cosAocsB)>0
因为sinAsinB>0
所以cosAcosB>0
这说明A和B同为锐角或者同为钝角
因为A和B均为三角形内角
所以A和B同为锐角
由此有
sinAsinB0
cos(A+B)>0
cos(π-C)>0
cosC