关于三角函数化简,这一步看不懂,