Question

已知函數f（x）的定義域為R，并滿足（1）對于一切實數x，都有f（x）＞0；（2）對任意的x，y∈R，f（xy）=[f（x）]^y；（3）f（）＞1；利用以上信息求解下列問題：
（1）求f（0）；
（2）證明f（1）＞1且f（x）=[f（1）]^x；
（3）若f（3^x）-f（9^x-3^x+1-2k）＞0對任意的x∈[0，1]恒成立，求實數k的取值范圍．

Answer 1

（1）解：令x=y=0，∵f（0）＞0，
∴f（0）=f（0×0）=[f（0）]⁰=1．
（2）證明：∵f（1）=，
∵，∴f（1）＞1．
∵對任意的x，y∈R，f（xy）=[f（x）]^y；
令x=1，則f（y）=[f（1）]^y，
再令y=x，則f（x）=[f（1）]^x．
（3）解：∵f（1）＞1，∴f（x）=[f（1）]^x是R上的增函數，
∵f（3^x）-f（9^x-3^x+1-2k）＞0對任意的x∈[0，1]恒成立，
∴3^x＞9^x-3^x+1-2k對x∈[0，1]恒成立．
即2k＞9^x-4×3^x對x∈[0，1]恒成立．
令g（x）=9^x-4×3^x=（3^x）²-4×3^x=（3^x-2）²-4在[0，1]上單調遞減，
∴g（x）_max=g（0）=-3．∴2k＞-3．
∴．
分析：（1）利用所給條件（1）（2）即可得出；
（2）令x=，y=3，代入條件（2），再利用（3）即可得出．對任意的x，y∈R，f（xy）=[f（x）]^y；分別取x=1之后，再令y=x即可．
（3）利用（2）的結論可得：f（x）=[f（1）]^x是R上的增函數，即可得出3^x＞9^x-3^x+1-2k對x∈[0，1]恒成立．通過分離參數可得2k＞9^x-4×3^x對x∈[0，1]恒成立．利用二次函數的單調性即可得出．
點評：正確理解和應用新定義、函數的單調性、指數函數的單調性等是解題的關鍵．