Question

設(shè)正項(xiàng)數(shù)列{a_n}的前項(xiàng)和為S_n，q為非零常數(shù)．已知對(duì)任意正整數(shù)n，m，當(dāng)n＞m時(shí)，S_n-S_m=q^m•S_n-m總成立．
（1）求證數(shù)列{a_n}是等比數(shù)列； 
（2）若正整數(shù)n，m，k成等差數(shù)列，求證：

1

Sn

+

1

Sk

≥

2

Sm

．

Answer 1

分析：（1）因?yàn)閷?duì)任意正整數(shù)n，m，當(dāng)n＞m時(shí)，S_n-S_m=q^m•S_n-m總成立．所以當(dāng)n≥2時(shí)：S_n-S_n-1=q^n-1S₁，由此能夠證明{a_n}是等比數(shù)列． 
（2）若q=1，則S_n=na₁，S_m=ma₁，S_k=ka₁．所以

1

Sn

+

1

Sk

=

n+k

nka1

=

2m

nka1

≥

2m

( n+k 2 )2•a1

=

2m

m2a1

=

2

ma1

=

2

Sm

．若q≠1，則Sn=

a1(1-qn)

1-q

，Sm=

a1(1-qm)

1-q

，Sk=

a1(1-qk)

1-q

．所以

1

Sn

+

1

Sk

≥2

1 SnSk

=2

(1-q)2 (1-qn)(1-qk)a12

．由此能夠證明

1

Sn

+

1

Sk

≥

2

Sm

．

解答：證明：（1）因?yàn)閷?duì)任意正整數(shù)n，m，
當(dāng)n＞m時(shí)，S_n-S_m=q^m•S_n-m總成立．
所以當(dāng)n≥2時(shí)：S_n-S_n-1=q^n-1S₁，
即a_n=a₁•q^n-1，且a₁也適合，又a_n＞0，
故當(dāng)n≥2時(shí)：

an

an-1

=q（非零常數(shù)），
即{a_n}是等比數(shù)列．  …（6分）
（2）若q=1，則S_n=na₁，S_m=ma₁，S_k=ka₁．
所以

1

Sn

+

1

Sk

=

n+k

nka1

=

2m

nka1

≥

2m

( n+k 2 )2•a1

=

2m

m2a1

=

2

ma1

=

2

Sm

．    …（8分）
若q≠1，則Sn=

a1(1-qn)

1-q

，Sm=

a1(1-qm)

1-q

，Sk=

a1(1-qk)

1-q

．  …（10分）
所以

1

Sn

+

1

Sk

≥2

1 SnSk

=2

(1-q)2 (1-qn)(1-qk)a12

．          …（12分）
又因?yàn)椋?-qⁿ）（1-q^k）=1-（qⁿ+q^k）+q^n+k
≤1-2

qn+k

+qn+k=1-2qm+q2m=(1-qm)2．
所以

1

Sn

+

1

Sk

≥2

1 SnSk

=2

(1-q)2 (1-qn)(1-qk)a12

≥2

(1-q)2 (1-qm)2•a12

=

2

Sm

．
綜上可知：若正整數(shù)n，m，k成等差數(shù)列，
不等式 

1

Sn

+

1

Sk

≥

2

Sm

總成立．
（當(dāng)且僅當(dāng)n=m=k時(shí)取“=”）  …（16分）

點(diǎn)評(píng)：本題考查數(shù)列的遞推公式的應(yīng)用，綜合性強(qiáng)，難度大，容易出錯(cuò)．解題時(shí)要認(rèn)真審題，注意挖掘題設(shè)中的隱含條件，合理地進(jìn)行等價(jià)轉(zhuǎn)化．