我想问一个数学三角函数的推理过程