Question

已知數列ξ中，a₁=0，a_n+1=

1

2-an

（n∈N^*）．
（1）計算a₂，a₃，a₄；
（2）猜想數列{a_n}的通項公式并用數學歸納法證明．

Answer 1

分析：（1）依題意，由a₁=0，a_n+1=

1

2-an

（n∈N^*）即可求得a₂，a₃，a₄；
（2）通過（1）可猜想a_n=

n-1

n

（n=1，2，3，…）；下面用數學歸納法證明即可：先證當n=1時結論成立，再假設假設n=k時，結論成立，去證明當n=k+1時，等式也成立即可．

解答：解：（1）a₂=

1

2

，a₃=

1

2-a2

=

2

3

，同理可得a₄=

3

4

…（3分）
（2）猜想a_n=

n-1

n

（n=1，2，3，…）…（6分）
證明：①當n=1時，結論顯然成立…（8分）
②假設n=k時，結論成立，即a_k=

k-1

k

，
那么當n=k+1時，a_k+1=

1

2-ak

=

1

2- k-1 k

=

k

k+1

=

(k+1)-1

k+1

，
即當n=k+1時，等式成立．
由①②知，a_n=

n-1

n

對一切自然數n都成立．…（13分）

點評：本題考查數列的遞推式，考查歸納猜想，著重考查數學歸納法，考查推理與證明，屬于難題．