cosAcosB>sinAsinB
cosAcosB-sinAsinB >0
∴cos(A+B)>0
∴A+B是锐角
∴tan(A+B)>0
即(tanA+tanB)/(1-tanAtanB)>0
∵tanA+tanB>0
∴1-tanAtanB>0
∴0
cosAcosB>sinAsinB
cosAcosB-sinAsinB >0
∴cos(A+B)>0
∴A+B是锐角
∴tan(A+B)>0
即(tanA+tanB)/(1-tanAtanB)>0
∵tanA+tanB>0
∴1-tanAtanB>0
∴0