Question

已知點(1，

1

3

)是函數f（x）=a^x（a＞0且a≠1）的圖象上一點，等比數列a_n的前n項和為f（n）-c，數列b_n（b_n＞0）的首項為c，且前n項和S_n滿足：Sn-Sn-1=

Sn

 + 

Sn-1

(n≥ 2)．記數列{

1

bnbn+1

}前n項和為T_n，
（1）求數列a_n和b_n的通項公式；
（2）若對任意正整數n，當m∈[-1，1]時，不等式t2-2mt+

1

2

＞Tn恒成立，求實數t的取值范圍．

Answer 1

分析：（1）因為點(1，

1

3

)是函數f（x）=a^x的圖象上一點，所以a=

1

3

，所以f（x）=(

1

3

)x，即可得到數列的前3項，進而求出數列的首項與公比，即可得到數列{a_n}的通項公式；
因為Sn-Sn-1=(

Sn

+

Sn-1

) (

Sn

-

Sn-1

)=

Sn

+

Sn-1

，所以數列{

Sn

}是以1為首項，以1為公差的等差數列，所以得到S_n，利用b_n=S_n-S_n-1求出答案．
（2）利用裂項相消的方法可得：T_n=

1

2

(1-

1

2n+1

)＜

1

2

；進而把原不等式化簡為：當m∈[-1，1]時，不等式t²-2mt＞0恒成立；設g（m）=-2tm+t²，m∈[-1，1]，然后利用函數的有界性解決恒成立問題即可得到答案．

解答：解：（1）因為f（1）=a=

1

3

，所以f（x）=(

1

3

)x，
所以a1=f(1)-c=

1

3

-c，a₂=[f（2）-c]-[f（1）-c]=-

2

9

，a₃=[f（3）-c]-[f（2）-c]=-

2

27

因為數列{a_n}是等比數列，所以a1=

a 2 2

a3

=-

2

3

=

1

3

-c，所以c=1．
又公比q=

a2

a1

=

1

3

，所以an=-2(

1

3

)n；
由題意可得：Sn-Sn-1=(

Sn

+

Sn-1

) (

Sn

-

Sn-1

)=

Sn

+

Sn-1

，
又因為b_n＞0，所以

Sn

-

Sn-1

=1；
所以數列{

Sn

}是以1為首項，以1為公差的等差數列，并且有

Sn

=n，所以Sn=n2；
當n≥2時，b_n=S_n-S_n-1=2n-1；
所以b_n=2n-1．
（2）因為數列{

1

bnbn+1

}前n項和為T_n，
所以Tn=

1

1×3

+

1

3×5

+…+

1

(2n-1)(2n+1)

=

1

2

×(1- 

1

3

 +

1

3

-

1

5

+…+

1

2n-1

+

1

2n+1

)
=

1

2

(1-

1

2n+1

)＜

1

2

；
因為當m∈[-1，1]時，不等式t2-2mt+

1

2

＞Tn恒成立，
所以只要當m∈[-1，1]時，不等式t²-2mt＞0恒成立即可，
設g（m）=-2tm+t²，m∈[-1，1]，
所以只要一次函數g（m）＞0在m∈[-1，1]上恒成立即可，
所以

g(1)=t2-2t≥0 g(-1)=t2+2t≥0

，
解得t≤-2或t≥2或t=0，
所以實數t的取值范圍為（-∞，-2]∪[2，+∞）或者t=0．

點評：本題綜合考查數列、不等式與函數的有關知識，解決此類問題的關鍵是熟練掌握數列求通項公式與求和的方法，以及把不等式恒成立問題轉化為函數求最值問題，然后利用函數的有關知識解決問題．