Question

已知數列{ a _n}的各項都是正數，且滿足：a₀=1，a_n+1=a_n·（4-a_n）（n∈N）.

證明：a_n＜a_n+1＜2（n∈N）.

Answer 1

證明略

解析:

證明  方法一  用數學歸納法證明：

（1）當n=0時，a₀=1，a₁=a₀(4-a₀)=,

所以a₀＜a₁＜2,命題正確.

（2）假設n=k時命題成立，即a_k-1＜a_k＜2.

則當n=k+1時，a_k-a_k+1?

=a_k-1(4-a_k-1)-a_k(4-a_k)

=2(a_k-1-a_k)-(a_k-1-a_k)(a_k-1+a_k)

= (a_k-1-a_k)(4-a_k-1-a_k).

而a_k-1-a_k＜0,4-a_k-1-a_k＞0,所以a_k-a_k+1＜0.

又a_k+1=a_k(4-a_k)=［4-（a_k-2）²］＜2.

所以n=k+1時命題成立.

由（1）（2）可知，對一切n∈N時有a_n＜a_n+1＜2.

方法二  用數學歸納法證明：

(1)當n=0時，a₀=1,a₁=a₀(4-a₀)= ,

所以0＜a₀＜a₁＜2;

(2)假設n=k時有a_k-1＜a_k＜2成立，

令f(x)= x(4-x),f(x)在［0，2］上單調遞增，

所以由假設有：f（a_k-1）＜f(a_k)＜f(2),

即a_k-1（4-a_k-1）＜a_k（4-a_k）＜×2×(4-2),

也即當n=k+1時,a_k＜a_k+1＜2成立.

所以對一切n∈N，有a_k＜a_k+1＜2.