徐森林数学分析思考题第43题

题目

 设 数列  { a n }  满足  ( 2 − a n ) a n + 1 = 1.  证 明  lim ⁡ n → + ∞ a n = 1 \text { 设 数列 }\left\{a_{n}\right\} \text { 满足 } \left(2-a_{n}\right) a_{n+1}=1 . \text { 证 明 } \lim _{n \rightarrow+\infty} a_{n}=1  设 数列 {an​} 满足 (2−an​)an+1​=1. 证 明 n→+∞lim​an​=1

思考

只要能证明$a_n$收敛，便可求出${\lim }_{n\to +\infty }{a}_n$。（解方程(2-x)x=1即可）

我们先探究递推关系式：$a_{n+1}=\frac{1}{2-a_n}$

题目中没有给出初值，我们考虑初值对于数列形态的影响。

通过观察递推函数图像可知：

$a_1<1$时，$0<a_2<1$，所以$a_n<1$。

$a_1=1$时，$a_n=1$。

$a_1>2$时，$a_2<0<1$，所以$a_n<1,(n>1)$。

$1<a_1<2$时，猜测$a_n$迟早会大于2，所以之后还会小于1。

下面是python代码：

import matplotlib.pyplot as plt


def f(init):
    a = [init]

    n = range(100)

    for i in n:
        a.append(1 / (2 - a[i]))

    plt.plot(range(101), a, label=init)


f(-1)
f(0.5)
f(0.7)
f(1)
f(2.5)
f(3)

plt.legend()
plt.show()

我们发现：

• 初值小于1时，曲线小于1且递增；
• 初值等于1时，曲线为1；
• 初值大于2时，刚开始大于1，之后又全部小于1且递增。
• 初值大于1小于2时，先增大到大于2，再小于1，之后递增趋于1。

证明：

当$a_1<1$时，假设$a_n<1$，则 $a_{n+1}=\frac{1}{2-a_n}<1$。根据数学归纳法，$a_n<1$

$\because a_{n+1}-a_n=\frac{1}{2-a_n}-a_n>0,\therefore a_n$递增,根据实数连续性命题2， $a_n$收敛

当$a_1=1$时，易知：$a_n=1$。

当$a_1>2$时，$a_2<0<1$，归结到第一种情况。

当$1<a_1<2$时，用反证法，假设$\forall n,a_n<2$，又易知$a_n$单调递增，所以$a_n$收敛。若收敛，则一定收敛到1。矛盾。所以$\exists n,s.t.a_n>2$，归结到第3种情况。

综上所述，$a_n$收敛。