Question

设函数f（x）的定义域、值域均为R，f（x）的反函数为f^-1（x），且对于任意的x∈R，均有f(x)+f-1(x)＜

5

2

x，定义数列{a_n}，a₀=8，a₁=10，a_n=f（a_n-1）（n∈N^*）．
（Ⅰ）求证：an+1+an-1＜

5

2

an（n∈N^*）．
（Ⅱ）设b_n=a_n+1-2a_n（n∈N^*），求证：b_n＜（-6）•2^-n（n∈N^*）；
（Ⅲ）是否存在常数A，B同时满足条件：
①当n=0，1时，an=

A•4n+B

2n

；
②当n≥2时（n∈N^*，）an＜

A•4n+B

2n

．如果存在，求出A，B的值，如果不存在，说明理由．

Answer 1

分析：（Ⅰ）由an+1+an-1=f(an)+f-1(an)＜

5

2

an，知an+1+an-1＜

5

2

an．
（Ⅱ）an+1-2an＜

1

2

(an-2an-1)，知bn＜

1

2

bn-1，由此得bn＜

1

2

bn-1＜(

1

2

)2bn-2＜…＜(

1

2

)nb0，由此能证明b_n＜-6•2^-n．
（Ⅲ）若存在满足①②的A，B，由①得

a0=A+B=8 a1= 4A+B 2 =10

⇒

A=4 B=4

，由此能够证明存在A=B=4满足①，②．

解答：解（Ⅰ）an+1+an-1=f(an)+f-1(an)＜

5

2

an，即an+1+an-1＜

5

2

an．
（Ⅱ）由（Ⅰ）得an+1-2an＜

1

2

(an-2an-1)
即，bn＜

1

2

bn-1，由此得bn＜

1

2

bn-1＜(

1

2

)2bn-2＜…＜(

1

2

)nb0，而b₀=a₁-2a₀=-6，
所以b_n＜-6•2^-n．
（Ⅲ）若存在满足①②的A，B，
由①得

a0=A+B=8 a1= 4A+B 2 =10

⇒

A=4 B=4

下证A=B=4满足②，即证2ⁿa_n＜4ⁿ⁺¹+4
由（Ⅱ）得2ⁿ⁺¹a_n+1-4•2ⁿa_n+12＜0，设2ⁿa_n=U_n，
则有U_n+1＜4U_n-12，即U_n+1-4＜4（U_n-4），
由此得U_n-4＜4（U_n-1-4）＜4²（U_n-2-4）＜…＜4ⁿ（U₀-4）
而U₀=2⁰a₀=8，
所以U_n-4＜4ⁿ⁺¹即2ⁿa_n＜4ⁿ⁺¹+4由此可知A=B=4满足②，
所以存在A=B=4满足①，②．

点评：本题考查不等式的综合应用，解题时要认真审题，仔细解答，注意挖掘题设中的隐含条件，合理地进行等价转化．