tan(12+18)=(tan12+tan18)/(1-tan12tan18)=√3/3=1/√3
所以√3(tan12+tan18)=1-tan12tan18
所以√3(tan12+tan18)+tan12tan18=1