Question

7．已知函數(shù)f（x）=log_a（x+$\sqrt{{x}^{2}-1}$），（a＞1，x≥1）
（1）求它的反函數(shù)f^-1（x），并指出它的定義域；
（2）由f^-1（n）＜$\frac{{2}^{n}+{2}^{-n}}{2}$（n∈N^*），求a的取值范圍；
（3）設(shè)b_n=f^-1（n），設(shè)S_n=b₁+b₂+…+b_n，求證：當(dāng)a在（2）的范圍內(nèi)對(duì)任意自然數(shù)n都有S_n＜2ⁿ$-（\frac{\sqrt{2}}{2}）^{n}$．

Answer 1

分析 （1）令y=f（x）=log_a（x+$\sqrt{{x}^{2}-1}$），利用對(duì)數(shù)式與指數(shù)式之間的轉(zhuǎn)化關(guān)系，可得反函數(shù)f^-1（x），求出原函數(shù)的值域，可得反定義域；
（2）f^-1（n）＜$\frac{{2}^{n}+{2}^{-n}}{2}$可化為：$\frac{{a}^{2n}+1}{2{a}^{n}}$=$\frac{{a}^{n}+{a}^{-n}}{2}$＜$\frac{{2}^{n}+{2}^{-n}}{2}$（n∈N^*），結(jié)合指數(shù)函數(shù)的圖象和性質(zhì)，分類討論可得滿足條件的a的取值范圍；
（3）先用數(shù)學(xué)歸納法證明出：$\frac{1}{2}$+（$\frac{1}{2}$）ⁿ⁺¹＞${（\frac{\sqrt{2}}{2}）}^{n}$．再結(jié)合（2）的結(jié)論，利用放縮法和等比數(shù)列前n項(xiàng)和公式，證得結(jié)論．

解答 解：（1）令y=f（x）=log_a（x+$\sqrt{{x}^{2}-1}$），
則x+$\sqrt{{x}^{2}-1}$=a^y，
即$\sqrt{{x}^{2}-1}$=a^y-x，
即x=$\frac{{a}^{2y}+1}{2{a}^{y}}$，
即f^-1（x）=$\frac{{a}^{2x}+1}{2{a}^{x}}$，
∵a＞1，x≥1，
∴x+$\sqrt{{x}^{2}-1}$≥1，
∴l(xiāng)og_a（x+$\sqrt{{x}^{2}-1}$）≥0，
∴原函數(shù)f（x）=log_a（x+$\sqrt{{x}^{2}-1}$）的值域?yàn)閇0，+∞），
∴反函數(shù)f^-1（x）的定義域?yàn)閇0，+∞），
（2）f^-1（n）＜$\frac{{2}^{n}+{2}^{-n}}{2}$可化為：$\frac{{a}^{2n}+1}{2{a}^{n}}$=$\frac{{a}^{n}+{a}^{-n}}{2}$＜$\frac{{2}^{n}+{2}^{-n}}{2}$（n∈N^*），
即aⁿ+a^-n＜2ⁿ+2^-n，即$（{a}^{n}-{2}^{n}）[1-\frac{1}{（2a）^{n}}]$＜0，
當(dāng)1＜a＜2時(shí)，aⁿ-2ⁿ＜0，$1-\frac{1}{{（2a）}^{n}}＞0$恒成立，滿足條件；
當(dāng)a=2時(shí)，$（{a}^{n}-{2}^{n}）[1-\frac{1}{（2a）^{n}}]$=0恒成立，不滿足條件；
當(dāng)a＞2時(shí)，aⁿ-2ⁿ＞0，$1-\frac{1}{{（2a）}^{n}}＞0$恒成立，不滿足條件；
綜上所述，1＜a＜2，
證明：（3）當(dāng)n=1時(shí)，$\frac{1}{2}$+（$\frac{1}{2}$）²=$\frac{3}{4}$＞$\frac{\sqrt{2}}{2}$，
設(shè)n=k時(shí)，$\frac{1}{2}$+（$\frac{1}{2}$）^k+1＞${（\frac{\sqrt{2}}{2}）}^{k}$．
則n=k+1時(shí)，$\frac{1}{2}$+（$\frac{1}{2}$）^k+2=$\frac{1}{2}$[$\frac{1}{2}$+（$\frac{1}{2}$）^k+1]+$\frac{1}{4}$＞$\frac{1}{2}$•${（\frac{\sqrt{2}}{2}）}^{k}$+$\frac{1}{4}$=$\frac{\sqrt{2}}{2}$•${（\frac{\sqrt{2}}{2}）}^{k+1}$+$\frac{1}{4}$＞${（\frac{\sqrt{2}}{2}）}^{k+1}$
即$\frac{1}{2}$+（$\frac{1}{2}$）ⁿ⁺¹＞${（\frac{\sqrt{2}}{2}）}^{n}$．
又∵b_n=f^-1（n）=$\frac{{a}^{n}+{a}^{-n}}{2}$，
則由（2）得：b_n＜$\frac{{2}^{n}+{2}^{-n}}{2}$（n∈N^*），
∴S_n=b₁+b₂+…+b_n＜$\frac{{2}^{1}+{2}^{-1}}{2}$+$\frac{{2}^{2}+{2}^{-2}}{2}$+…+$\frac{{2}^{n}+{2}^{-n}}{2}$
=（1+2+…+2^n-1）+[$\frac{1}{2}$²+$\frac{1}{2}$³+…+（$\frac{1}{2}$）ⁿ⁺¹]
=2ⁿ-1+$\frac{1}{2}$-（$\frac{1}{2}$）ⁿ⁺¹=2ⁿ-$\frac{1}{2}$-（$\frac{1}{2}$）ⁿ⁺¹＜2ⁿ$-（\frac{\sqrt{2}}{2}）^{n}$．

點(diǎn)評(píng) 本題考查的知識(shí)點(diǎn)是數(shù)學(xué)歸納法，不等式的證明，指數(shù)函數(shù)和對(duì)數(shù)函數(shù)的圖象和性質(zhì)，等比數(shù)列求和，綜合性強(qiáng)，難度較大．