一道三角函数与数列证明综合的数学题