cos（45-30）=cos45cos30+sin45sin30=(√6+√2)/4;
tan^2(15)+1=sec^2(15)=1/cos^2(15)得到tan15=7-4*√3;