闭区间套条件下实数序列收敛性的证明请求

嗨，我来一步步帮你完成这个证明，结合你给出的已知结论来推导：

先明确所有前提条件 #

• 我们有闭区间套$I_n = [a_n, b_n]$，满足：
  • 对任意正整数$n$，$a_n < b_n$，且区间是嵌套的：$a_n \leq a_{n+1}$，$b_n \geq b_{n+1}$
  • 区间长度趋于0：$\lim_{n\to\infty}(b_n - a_n) = 0$
• 已知结论：序列${a_n}$和${b_n}$都收敛，而且收敛到同一个极限，我们把这个公共极限记为$c$，也就是$\lim_{n\to\infty}a_n = \lim_{n\to\infty}b_n = c$
• 待证序列${x_n}$满足：对每个$n$，$x_n$都落在对应的区间$I_n$里，也就是$a_n \leq x_n \leq b_n$

用夹逼准则完成证明 #

既然我们已经知道$a_n$和$b_n$都收敛到$c$，再结合$x_n$的取值范围，直接用实数序列的夹逼准则就能快速证明：

夹逼准则：如果有三个实数序列${y_n}, {x_n}, {z_n}$，满足对所有$n$都有$y_n \leq x_n \leq z_n$，且$\lim_{n\to\infty}y_n = \lim_{n\to\infty}z_n = L$，那么$\lim_{n\to\infty}x_n = L$

这里我们取$y_n = a_n$，$z_n = b_n$，显然满足$a_n \leq x_n \leq b_n$，而且$\lim_{n\to\infty}a_n = \lim_{n\to\infty}b_n = c$，所以根据夹逼准则，${x_n}$必然收敛到$c$。

换个角度：用柯西序列证明（可选） #

如果你想从实数完备性的角度来证，也可以通过证明${x_n}$是柯西序列来推导收敛性：

1. 任取一个正数$\epsilon > 0$，因为$\lim_{n\to\infty}(b_n - a_n) = 0$，所以总能找到一个正整数$N$，当$n > N$时，区间长度$b_n - a_n < \epsilon$
2. 对任意两个大于$N$的正整数$m$和$n$（不妨假设$m \geq n$），因为区间是嵌套的，所以$I_m \subseteq I_n$，那么$x_m$和$x_n$都落在$I_n$里，所以它们的差的绝对值$|x_m - x_n| \leq b_n - a_n < \epsilon$
3. 这就说明${x_n}$是柯西序列，而实数集是完备的——所有柯西序列都收敛，因此${x_n}$一定收敛。

这样两种方法都能完成证明，你可以根据需要选择其中一种~

内容的提问来源于stack exchange，提问作者nandita mukherjee