展开 三角函数推理过