Question

在各项均为正数的数列{a_n}中，前n项和S_n满足S_n=

1

2

（a_n+

1

an

），n∈N^*，求：
（1）a₁，a₂，a₃；
（2）由（1）猜想数列{a_n}的通项公式a_n；
（3）求S_n的表达式．

Answer 1

考点：数列的概念及简单表示法,数列的求和,数学归纳法

专题：点列、递归数列与数学归纳法

分析：（1）由S_n=

1

2

（a_n+

1

an

）（n∈N^*），a_n＞0，可求得a₁，a₂，a₃；
（2）根据（1）猜想：a_n=

n

-

n-1

（n∈N^*），再利用数学归纳法证明即可；
（3）由（2）a_n=

n

-

n-1

（n∈N^*），累加可得S_n=a₁+a₂+…+a_n=

n

（n∈N^*）

解答： 解：（1）由S_n=

1

2

（a_n+

1

an

）（n∈N^*），a_n＞0，
得a₁=

1

2

（a₁+

1

a1

）⇒a12=1⇒a₁=1；
a₁+a₂=

1

2

（a₂+

1

a2

）⇒a22+2a₂-1=0⇒a₂=

2

-1；
a₁+a₂+a₃=

1

2

（a₃+

1

a3

）⇒a32+2

2

a₃-1=0⇒a₃=

3

-

2

，
故a₁=1，a₂=

2

-1，a₃=

3

-

2

；…（6分）
（2）根据（1）猜想：a_n=

n

-

n-1

（n∈N^*）．
下面用数学归纳法证明：
①当n=1时，由（1）的计算可知a₁=1，等式成立；
②假设n=k时，等式成立，即a_k=

k

-

k-1

，
则当n=k+1时，S_k+1=S_k+a_k+1=

k

+a_k+1=

1

2

（a_k+1+

1

ak+1

），
整理得：ak+12+2

k

a_k+1-1=0，
所以，a_k+1=

-2 k + (2 k )2-4×(-1)

2

=

k+1

-

k

，
即当n=k+1时，等式也成立，
综合①②得，对?n∈N^*），a_n=

n

-

n-1

．…（10分）
（3）由（2）可得：
S_n=a₁+a₂+…+a_n=1+（

2

-1）+（

3

-

2

）+…+（

n

-

n-1

）=

n

（n∈N*）…（14分）

点评：本题考查数列的递推关系式的应用，着重考查运算与猜想能力，突出考查数学归纳法的应用，考查转化思想与推理、证明能力，属于中档题．