Question

由函數y=f（x）確定數列{a_n}，a_n=f（n），函數y=f（x）的反函數y="f" ^－1（x）能確定數列{b_n}，b_n=" f" ^–1（n），若對于任意nÎN^*，都有b_n=a_n，則稱數列{b_n}是數列{a_n}的“自反數列”.
（1）若函數f（x）=確定數列{a_n}的自反數列為{b_n}，求a_n；
（2）已知正數數列{c_n}的前n項之和S_n=（c_n+）.寫出S_n表達式，并證明你的結論；
（3）在（1）和（2）的條件下，d₁=2，當n≥2時，設d_n=，D_n是數列{d_n}的前n項之和，且D_n>log _a （1－2a）恒成立，求a的取值范圍.

Answer 1

（1）a_n=
（2）S_n=，證明略
（3）0<a<–1

解：（1）由題意的：f ^－1（x）== f（x）=，所以p =－1，…………2分
所以a_n=……………………………………………………………………3分翰林匯
（2）因為正數數列{c_n}的前n項之和S_n=（c_n+），
所以c₁=（c₁+），解之得：c₁=1，S₁=1……………………………………4分
當n ≥ 2時，c_n = S_n–S_n–1，所以2S_n = S_n–S_n–1 +，……………………5分
S_n +S_n–1 = ，即：= n，……………………………………7分
所以，= n–1，= n–2，……，=2，累加得：
=2+3+4+……+ n，………………………………………………9分
=1+2+3+4+……+ n =，
S_n=………………………………………………………………10分
（3）在（1）和（2）的條件下，d₁=2，
當n≥2時，設d_n===2（），…………………13分
由D_n是{d_n}的前n項之和，
D_n=d₁+d₂+……+d_n=2[1+（）+（）+（）+……+（）]
=2（2–）………………………………………………………………………………16分
因為D_n>log _a （1–2a）恒成立，即log _a （1–2a）恒小于D_n的最小值，
顯然D_n的最小值是在n=1時取得，即（D_n）_min=2，
所以log _a （1–2a）<2，1–2a>0，所以0<a<–1…………………………………18分