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