序列收敛性测试失败：迭代序列单调性与对应函数增减性矛盾的疑问

嗨，我来帮你理清这个看似矛盾的点～

首先咱们先把已知条件再明确一遍：

• 迭代序列定义：$b_1 = 1$，$b_{n+1} = \frac{1}{2}\left(b_n+\frac{\beta}{b_n}\right)$（$\beta>0$）
• 你已经证得两个关键结论：
  1. 对所有$n$，$b_n\geq\sqrt{\beta}$
  2. 函数$f(x) = \frac{1}{2}\left(x+\frac{\beta}{x}\right)$在$x>\sqrt{\beta}$时单调递增
  3. 同时还有$b_{n+1}\leq b_n$

你觉得矛盾的点应该是：“递增函数的迭代怎么会产生递减序列？”其实这两者完全不冲突，核心在于我们要区分“函数自身的增减性”和“函数值与自变量的大小关系”：

1. 先看$f(x)$和$x$的大小对比 #

计算$f(x)-x$：
$$
f(x)-x = \frac{1}{2}\left(x+\frac{\beta}{x}\right) - x = \frac{1}{2}\left(\frac{\beta}{x} - x\right) = \frac{\beta - x^2}{2x}
$$
当$x\geq\sqrt{\beta}$时，$x^2\geq\beta$，分子$\beta - x^2\leq0$，分母$2x>0$，所以$f(x)-x\leq0$，也就是对所有$x\geq\sqrt{\beta}$，都有$f(x)\leq x$。

因为你已经证得$b_n\geq\sqrt{\beta}$，所以直接代入可得：$b_{n+1}=f(b_n)\leq b_n$，这就是序列递减的原因。

2. 函数递增的作用是什么？ #

$f(x)$在$x>\sqrt{\beta}$时递增，这个性质不是用来判断序列增减的，而是用来帮我们确认序列的下界稳定性：
因为$b_n\geq\sqrt{\beta}$，且$f(x)$递增，所以$f(b_n)\geq f(\sqrt{\beta})$。而计算$f(\sqrt{\beta})$：
$$
f(\sqrt{\beta}) = \frac{1}{2}\left(\sqrt{\beta}+\frac{\beta}{\sqrt{\beta}}\right) = \frac{1}{2}(\sqrt{\beta}+\sqrt{\beta}) = \sqrt{\beta}
$$
这就说明$b_{n+1}=f(b_n)\geq\sqrt{\beta}$，和你之前证的$b_n\geq\sqrt{\beta}$形成闭环，保证了序列始终不会低于$\sqrt{\beta}$。

3. 举个具体例子直观理解 #

比如取$\beta=4$（$\sqrt{\beta}=2$）：

• $b_1=1$，$b_2=\frac{1}{2}(1+\frac{4}{1})=2.5$（此时$2.5>2$）
• $b_3=\frac{1}{2}(2.5+\frac{4}{2.5})=\frac{1}{2}(2.5+1.6)=2.05$（$2.05<2.5$，符合递减）
• $b_4=\frac{1}{2}(2.05+\frac{4}{2.05})\approx2.0005$（依然小于$2.05$）

而$f(x)$在$x>2$时是递增的：比如$f(2.5)=2.05$，$f(3)=\frac{1}{2}(3+\frac{4}{3})\approx2.166$，确实$3>2.5$时$f(3)>f(2.5)$，但$f(3)\approx2.166<3$，$f(2.5)=2.05<2.5$——函数递增只是说“更大的x对应更大的f(x)”，但这个更大的f(x)依然比x本身小，所以迭代出来的序列还是会递减。

最后总结 #

这个序列是**单调递减且有下界$\sqrt{\beta}$**的，根据单调收敛定理，它一定会收敛到极限$L$，而$L$满足$L=f(L)$，解出来就是$L=\sqrt{\beta}$——这个迭代其实就是牛顿迭代法求平方根的经典实现哦～

备注：内容来源于stack exchange，提问作者Carinha logo ali