三角函数的证明题的这一步是怎么推出来的