sin75°=sin(45+30)
=sin45cos30+cos45sin30
=√6/4+√2/4,
tan15=2-√3
sin75°（tan15°—根号3）
=(√6/4+√2/4)(2-√3-√3)
=-√2