Question

（2012•綿陽二模）已知函數f（x）=3^x-1的反函數為f^-1（x），且f^-1（17）=a+2
（1）求a的值；
（2）若f^-1（a_n-1）=log₃n，S_n是數列{a_n}的前n項和，若不等式λa_n≤2ⁿ•S_n對任意n∈N^*恒成立，求實數λ的最大值．

Answer 1

分析：（Ⅰ）由y=3^x-1＞-1，可求反函數，代入f^-1（17）=a+2，可求a
（Ⅱ）由f^-1（a_n-1）=log₃n，可求a_n=n，由等差數列的求和公式可求Sn=

n(n+1)

2

，要使λan-2n•Sn≤0對任意n∈N*恒成立，則λ≤2^n-1•（n+1）對任意n∈N*恒成立，利用數列的單調性可求b_n的最大值，可求

解答：解：（Ⅰ）令y=3^x-1＞-1，則x=log₃（y+1），
∴f^-1（x）=log₃（x+1），x＞-1．
∵f^-1（17）=a+2，即log₃18=a+2，
解得 a=log₃2．  （6分）
（Ⅱ）∵f^-1（a_n-1）=log₃n，
∴log₃a_n=log₃n，即a_n=n．
則數列{a_n}的前n項和Sn=

n(n+1)

2

，
要使λan-2n•Sn≤0對任意n∈N^*恒成立，
即使λ≤2^n-1•（n+1）對任意n∈N^*恒成立．
又數列bn=2n-1(n+1)為單調遞增數列，
∴b_n的最小值為b₁=2，
∴λ≤2，即λ的最大值為2． （12分）

點評：本題主要考查了以反函數的求解為載體，考查了等差數列的通項公式及求和公式的應用，數列單調性在求解數列的最值中的應用，函數恒成立與最值求解的相互轉化