连分数收敛序列证明求助：证奇偶子列单调性及极限为方程正根

我来给你梳理下这道题的解题思路，分三步走，每一步都紧扣递推关系和方程根的特性：

首先先把已知条件里的关键信息明确：给定正数(a>0)，序列定义为(x_1=\frac{1}{a})，(x_{n+1}=\frac{1}{a+x_n})；(c)是方程(x^2+ax-1=0)的唯一正根，先写出(c)的表达式方便后续分析：

c = \frac{-a + \sqrt{a^2+4}}{2}

另外，从方程可以推导出(c)满足的核心等式：因为(c^2+ac=1)，两边除以(c)（(c>0)）可得(c = \frac{1}{a+c})——这个等式和序列的递推式结构完全一致，是后续分析的关键突破口。

第一步：确定奇偶项与(c)的位置关系 #

我们先看初始项(x_1)和(c)的大小：
计算(x_1 - c = \frac{1}{a} - c)，利用(1=ac+c^2)替换分子，可得(x_1 = \frac{1}{a} = \frac{ac+c^2}{a} = c + \frac{c^2}{a})，显然(x_1 - c = \frac{c^2}{a} > 0)，即(x_1 > c)。

接下来利用递推式和(c)的等式，推导(x_{n+1}-c)的符号：
[
x_{n+1} - c = \frac{1}{a+x_n} - \frac{1}{a+c} = \frac{c - x_n}{(a+x_n)(a+c)}
]
分母((a+x_n)(a+c))肯定是正数（(a>0)，所有(x_n)都是正数，递推可得），所以(x_{n+1}-c)的符号和(c - x_n)完全相反：

• 因为(x_1>c)，所以(x_2 - c < 0)，即(x_2 < c)；
• 因为(x_2 < c)，所以(x_3 - c > 0)，即(x_3 > c)；
• 以此类推，所有奇数项(x_{2n-1} > c)，所有偶数项(x_{2n} < c)。

第二步：证明奇偶项的单调性 #

奇数项单调递减

我们比较(x_{2n+1})和(x_{2n-1})：
先把递推式展开两步（跳过偶数项，直接关联相邻的奇数项）：
[
x_{2n+1} = \frac{1}{a+x_{2n}} = \frac{1}{a + \frac{1}{a+x_{2n-1}}} = \frac{a+x_{2n-1}}{a(a+x_{2n-1}) + 1} = \frac{a+x_{2n-1}}{a^2 + ax_{2n-1} + 1}
]
计算两者的差值：
[
x_{2n+1} - x_{2n-1} = \frac{(a+x_{2n-1}) - x_{2n-1}(a^2 + ax_{2n-1} + 1)}{a^2 + ax_{2n-1} + 1}
]
分母是正数，只需要看分子的符号：
[
a + x_{2n-1} - a^2x_{2n-1} - ax_{2n-1}^2 - x_{2n-1} = a(1 - ax_{2n-1} - x_{2n-1}^2)
]
因为(x_{2n-1} > c)，而函数(f(x) = -x^2 -ax +1)是开口向下的抛物线，(c)是它的正根，所以当(x>c)时，(f(x) < 0)，即(1 - ax_{2n-1} - x_{2n-1}^2 < 0)。
因此分子是负数，分母正数，所以(x_{2n+1} - x_{2n-1} < 0)，即奇数项({x_{2n-1}})单调递减，且有下界(c)。

偶数项单调递增

同样地，我们比较(x_{2n+2})和(x_{2n})：
展开递推式两步：
[
x_{2n+2} = \frac{1}{a+x_{2n+1}} = \frac{1}{a + \frac{a+x_{2n}}{a^2 + ax_{2n} + 1}} = \frac{a^2 + ax_{2n} + 1}{a(a^2 + ax_{2n} + 1) + a + x_{2n}}
]
计算差值时，分母依旧是正数，化简分子后可得：
[
a(1 - ax_{2n} - x_{2n}^2)
]
因为(x_{2n} < c)，而(f(x) = -x^2 -ax +1)在(x < c)时，(f(x) > 0)（抛物线开口向下，正根左侧函数值为正），所以(1 - ax_{2n} - x_{2n}^2 > 0)，分子为正数，因此(x_{2n+2} - x_{2n} > 0)，即偶数项({x_{2n}})单调递增，且有上界(c)。

第三步：证明序列极限为(c) #

根据数学分析里的单调收敛定理：

• 单调递减且有下界的奇数项({x_{2n-1}})必然收敛到某个极限(L \geq c)；
• 单调递增且有上界的偶数项({x_{2n}})必然收敛到某个极限(M \leq c)。

现在验证(L=c)：对奇数项的递推式(x_{2n+1} = \frac{a+x_{2n-1}}{a^2 + ax_{2n-1} + 1})两边取极限，得：
[
L = \frac{a+L}{a^2 + aL + 1}
]
整理等式：(L(a^2 + aL + 1) = a + L)，化简后得到(a(L^2 + aL - 1) = 0)。因为(a>0)，所以(L^2 +aL -1=0)，这个方程的唯一正根就是(c)，即(L=c)。

同理，对偶数项的递推式取极限，可得(M=c)。

既然奇偶项都收敛到(c)，那么整个序列({x_n})的极限就是(c)，结合第一步的位置关系，就完美符合题目要求的结论：
(x_2 < x_4 < \dots < c < \dots < x_{2n-1} < \dots < x_3 < x_1)，且(\lim_{n\to\infty}x_n = c)。

内容的提问来源于stack exchange，提问作者Niko L