00 tanb>0 a,b为锐角
tanatanb0
tanc=tan(180-a-b)=tan(a+b)=(tana+tanb)/(1-tanatanb)>0
所以 c也是锐角 锐角三角形