Question

已知函數f（x）=a^x-a+1，（a＞0且a≠1）恒過定點（3，2），
（1）求實數a；
（2）在（1）的條件下，將函數f（x）的圖象向下平移1個單位，再向左平移a個單位后得到函數g（x），設函數g（x）的反函數為h（x），求h（x）的解析式；
（3）對于定義在[1，9]的函數y=h（x），若在其定義域內，不等式[h（x）+2]²≤h（x²）+m+2 恒成立，求m的取值范圍．

Answer 1

（1）由f（x）=a^x-a+1，知令x=a，則f（a）=2，
所以f（x）恒過定點（a，2），
由題設得a=3；
（2）由（1）知f（x）=3^x-3+1，
將f（x）的圖象向下平移1個單位，得到m（x）=3^x-3，
再向左平移3個單位，得到g（x）=3^x，
所以函數g（x）的反函數h（x）=log₃x．
（3）[h（x）+2]²≤h（x²）+m+2，即[log₃x+2]²≤log3x2+m+2，
所以(log3x)2+2log₃x+2-m≤0，
令t=log₃x，則由x∈[1，9]得t∈[0，2]，
則不等式化為t²+2t+2-m≤0，
不等式[h（x）+2]²≤h（x²）+m+2 恒成立，等價于t²+2t+2-m≤0恒成立，
因為t²+2t+2-m=（t+1）²+1-m在[0，2]上單調遞增，
所以t²+2t+2-m≤2²+2×2+2-m=10-m，
所以10-m≤0，解得m≥10．
故實數m的取值范圍為：m≥10．