Question

设函数f（x）的定义域、值域均为R，f（x）的反函数为f^-1（x），且对于任意的x∈R，均有，定义数列{a_n}，a=8，a₁=10，a_n=f（a_n-1）（n∈N^*）．
（Ⅰ）求证：（n∈N^*）．
（Ⅱ）设b_n=a_n+1-2a_n（n∈N^*），求证：b_n＜（-6）•2^-n（n∈N^*）；
（Ⅲ）是否存在常数A，B同时满足条件：
①当n=0，1时，；
②当n≥2时（n∈N^*，）．如果存在，求出A，B的值，如果不存在，说明理由．

Answer

（Ⅰ）由，知．
（Ⅱ），知，由此得，由此能证明bn＜-6•2-n．
（Ⅲ）若存在满足①②的A，B，由①得，由此能够证明存在A=B=4满足①，②．
解（Ⅰ），即．
（Ⅱ）由（Ⅰ）得
即，，由此得，而b=a1-2a=-6，
所以bn＜-6•2-n．
（Ⅲ）若存在满足①②的A，B，
由①得
下证A=B=4满足②，即证2nan＜4n+1+4
由（Ⅱ）得2n+1an+1-4•2nan+12＜0，设2nan=Un，
则有Un+1＜4Un-12，即Un+1-4＜4（Un-4），
由此得Un-4＜4（Un-1-4）＜42（Un-2-4）＜…＜4n（U-4）
而U=2a=8，
所以Un-4＜4n+1即2nan＜4n+1+4由此可知A=B=4满足②，
所以存在A=B=4满足①，②．