Question

在數列{a_n}中，已知a₁=1，a₂=3，其前n項和S_n滿足S_n=

n

2

（a₁+a_n）（n∈N⁺）．
（1）求a₃，a₄，a₅的值；
（2）求a_n的表達式；
（3）對于任意的正整數n≥2，求證：a₁a₂…a_n＞(2n+1)

n-1

2

．

Answer 1

考點：數學歸納法,數列的求和

專題：等差數列與等比數列

分析：（1）依次令n=3，4，5可求得a₃，a₄，a₅的值．
（2）由 （1）猜想a_n=2n-1，然后利用數學歸納法證明．
（3）由{a_n}為等差數列，得a₁+a_n+1=a₂+a_n=…=a_n+a₂=a_n+1+a₁．由xy=

(x+y)2

4

-

(x-y)2

4

，知x+y一定時，要使xy最小，則|x-y|最大．由此能證明a1a2…an＞(2n+1)

n-1

2

．

解答： （1）解：∵a₁=1，a₂=3，其前n項和S_n滿足S_n=

n

2

（a₁+a_n）（n∈N⁺）．
∴n=3時，4+a₃=

3

2

（1+a₃），解得a₃=5；
n=4時，9+a₄=

4

2

(1+a4)，解得a₄=7；
n=5時，16+a₅=

5

2

(1+a5)，解得a₅=9．
（2）解：由 （1）猜想a_n=2n-1，
下面用數學歸納法證明：
①當n=1，2時結論顯然成立．
②假設n=k（k∈N，k≥2）時結論成立，即a_k=2k-1，
則ak+1=Sk+1-Sk=

k+1

2

(1+ak+1)-

k

2

(1+ak)=

1

2

+

k+1

2

ak+1-

k(2k-1)

2

⇒(k-1)ak+1=2k2-k-1⇒ak+1=2k+1，
故當n=k+1時結論成立．
綜上知結論成立．
（3）證明：由 （2）知{a_n}為等差數列，
故a₁+a_n+1=a₂+a_n=…=a_n+a₂=a_n+1+a₁．
由xy=

(x+y)2

4

-

(x-y)2

4

，知x+y一定時，要使xy最小，則|x-y|最大．
∵|a₁-a_n+1|＞|a_k-a_n+2-k|（2≤k≤n），
∴(a1a2…an+1)2=(a1an+1)(a2an)…(an+1a1)＞(a1an+1)n+1，
∴a1a2…an+1＞(a1an+1)

n+1

2

=(2n+1)

n+1

2

，
從而a1a2…an＞(2n+1)

n-1

2

．

點評：本題考查數列的通項公式的求法，考查不等式的證明，解題時要認真審題，注意數學歸納法的合理運用．