（1+√3tana)*(1+√3tanb)=4=1+√3(tana+tanb)+3tanatanb
--->√3(tana+tanb)=3-3tanatanb=3(1-tanatanb)
--->tan(a+b)=(tana+tanb)/(1-tanatanb)=√3
a,b是锐角--->0