Question

已知數列{a_n}滿足：a₁＝，a_n＋1＝ (n∈N^*)．
(1)求a₂，a₃的值；
(2)證明：不等式0＜a_n＜a_n＋1對于任意n∈N^*都成立．

Answer 1

（1）a₂＝，a₃＝（2）見解析

(1)由題意，得a₂＝，a₃＝.
(2)①當n＝1時，由(1)知0＜a₁＜a₂，不等式成立．
②設當n＝k(k∈N^*)時，0＜a_k＜a_k＋1成立，則當n＝k＋1時，由歸納假設，知a_k＋1＞0.
而a_k＋2－a_k＋1＝ ＝＝＞0，
所以0＜a_k＋1＜a_k＋2，
即當n＝k＋1時，不等式成立．
由①②，得不等式0＜a_n＜a_n＋1對于任意n∈N^*成立．