高一的一题数学求证三角函数题目.