三角函数化简,第一步用二倍角化玩之后怎么做?用什么公式?