基本初等函数(Ⅰ)习题
核心公式证明
以下证明中,$a, b, c > 0$ 且 $a, b, c \neq 1$;$M, N > 0$。
证明 1:对数运算法则
$$ \log_a M + \log_a N = \log_a (MN), \qquad \log_a M - \log_a N = \log_a \frac{M}{N}. $$
设 $\log_a M = x$,$\log_a N = y$,则 $a^x = M$,$a^y = N$。
由 $a^x a^y = a^{x+y} = MN$ 得 $\log_a (MN) = x + y = \log_a M + \log_a N$。
由 $a^x \div a^y = a^{x-y} = \dfrac{M}{N}$ 得 $\log_a \dfrac{M}{N} = x - y = \log_a M - \log_a N$。
证明 2:底数的对数
$$ \log_a a = 1. $$
设 $\log_a a = x$,则 $a^x = a$。由 $a = a^1$ 得 $x = 1$。
证明 3:幂的对数
$$ \log_a M^x = x \log_a M. $$
由证明 1,$x$ 个 $\log_a M$ 相加等于 $\log_a M^x$,故 $\log_a M^x = x \log_a M$。
证明 4:倒数关系
$$ \log_a b = \frac{1}{\log_b a}. $$
设 $\log_a b = x$,$\log_b a = y$,则 $a^x = b$,$b^y = a$。于是 $a^{xy} = (a^x)^y = b^y = a$,故 $xy = 1$,即 $x = \dfrac{1}{y}$。
证明 5:指数与对数的互化
$$ b = a^{\log_a b}. $$
设 $\log_a b = x$,则 $a^x = b$,故 $b = a^x = a^{\log_a b}$。
证明 6:换底公式
$$ \log_a b = \frac{\log_c b}{\log_c a}. $$
设 $\log_a b = x$,则 $a^x = b$。两边取以 $c$ 为底的对数得 $\log_c a^x = \log_c b$,即 $x \log_c a = \log_c b$,故 $x = \dfrac{\log_c b}{\log_c a}$。
证明 7:指数与自然对数的关系
$$ a^x = \mathrm{e}^{x \ln a}. $$
设 $a^x = b$,则 $\ln b = \ln a^x = x \ln a$,故 $b = \mathrm{e}^{x \ln a}$,即 $a^x = \mathrm{e}^{x \ln a}$。
典型例题
题目1:指数与对数运算(基础题)
计算下列各式的值:
- $(\sqrt[3]{2} \times \sqrt{3})^6 + \log_3 27 + \lg 25 + \lg 4$;
- 已知 $2^a = 5^b = 10$,求 $\dfrac{1}{a} + \dfrac{1}{b}$ 的值。
考查内容:分数指数幂的运算性质、对数的运算性质、换底公式的推论。
易错点:
- 指数运算法则混淆,如 $(a^m)^n = a^{mn}$ 与 $a^m \cdot a^n = a^{m+n}$ 搞混。
- 对数运算中 $\lg 25 + \lg 4 = \lg(25+4)$ 的错误(应为 $\lg(25 \times 4)$)。
- 第二问中无法将指数式转化为对数式,或不懂得利用 $\log_a b = \dfrac{1}{\log_b a}$。
解析:
第1小题
$$ \begin{aligned} (\sqrt[3]{2} \times \sqrt{3})^6 &= (2^{\frac{1}{3}} \times 3^{\frac{1}{2}})^6 = 2^{2} \times 3^{3} = 4 \times 27 = 108, \ \log_3 27 &= \log_3 3^3 = 3, \ \lg 25 + \lg 4 &= \lg(25 \times 4) = \lg 100 = 2, \end{aligned} $$
相加得 $108 + 3 + 2 = 113$。
第2小题 由 $2^a = 10$ 得 $a = \log_2 10$,故 $\dfrac{1}{a} = \log_{10} 2 = \lg 2$。 由 $5^b = 10$ 得 $b = \log_5 10$,故 $\dfrac{1}{b} = \log_{10} 5 = \lg 5$。 因此 $\dfrac{1}{a} + \dfrac{1}{b} = \lg 2 + \lg 5 = \lg 10 = 1$。
答案:
- $113$;
- $1$。
题目2:函数图象与性质(中档题)
已知函数 $f(x) = \log_a (x+1)$($a > 0$ 且 $a \neq 1$)的定义域和值域都是 $[0, 1]$,求 $a$ 的值。
考查内容:对数函数的定义域、值域、单调性。
易错点:
- 忽略对底数 $a$ 的分类讨论($a > 1$ 或 $0 < a < 1$)。
- 搞错复合函数的定义域边界对应关系。
解析:
由定义域 $[0, 1]$ 得 $x \in [0, 1]$,此时 $x+1 \in [1, 2]$。
- 当 $a > 1$ 时,$f(x) = \log_a (x+1)$ 单调递增。最小值 $f(0) = \log_a 1 = 0$,最大值 $f(1) = \log_a 2$。由值域 $[0, 1]$ 得 $\log_a 2 = 1$,解得 $a = 2$。
- 当 $0 < a < 1$ 时,$f(x)$ 单调递减。最大值 $f(0) = 0$,与值域 $[0, 1]$ 中最大值为 $1$ 矛盾,无解。
答案:$a = 2$。
题目3:幂函数与不等式综合(难题)
已知幂函数 $f(x) = x^{m^2 - 2m - 3}$($m \in \mathbb{Z}$)的图象与 $x$ 轴、$y$ 轴均无交点,且图象关于 $y$ 轴对称,求 $m$ 的值,并解不等式 $f(x+1) > f(x-2)$。
考查内容:幂函数的图象性质(渐近线、奇偶性)、利用单调性解抽象不等式。
易错点:
- “与坐标轴无交点”意味着指数为负数。
- “关于 $y$ 轴对称”意味着函数为偶函数,即指数为偶数。
- 解不等式时忽略定义域或 $x<0$ 时的单调性差异。
解析:
1. 求 $m$ 的值
图象与 $x$ 轴、$y$ 轴无交点 $\Rightarrow$ 指数 $\alpha < 0$,即
$$ m^2 - 2m - 3 < 0 \quad\Rightarrow\quad (m-3)(m+1) < 0 \quad\Rightarrow\quad -1 < m < 3. $$
由 $m \in \mathbb{Z}$ 得 $m = 0, 1, 2$。
图象关于 $y$ 轴对称 $\Rightarrow$ $f(x)$ 为偶函数 $\Rightarrow$ 指数 $\alpha$ 为偶数。
- $m = 0$:$\alpha = -3$(奇数,舍去);
- $m = 1$:$\alpha = 1 - 2 - 3 = -4$(偶数,符合);
- $m = 2$:$\alpha = 4 - 4 - 3 = -3$(奇数,舍去)。
故 $m = 1$,$f(x) = x^{-4} = \dfrac{1}{x^4}$。
2. 解不等式 $f(x+1) > f(x-2)$
即 $\dfrac{1}{(x+1)^4} > \dfrac{1}{(x-2)^4}$。
定义域要求 $x \neq -1$ 且 $x \neq 2$。
$f(x) = x^{-4}$ 为偶函数,且在 $(0, +\infty)$ 上单调递减。故
$$ f(x+1) > f(x-2) ;\Longleftrightarrow; f(|x+1|) > f(|x-2|) ;\Longleftrightarrow; |x+1| < |x-2|. $$
两边平方(非负)得 $(x+1)^2 < (x-2)^2$,展开得 $x^2 + 2x + 1 < x^2 - 4x + 4$,即 $6x < 3$,解得 $x < \dfrac{1}{2}$。
结合定义域得解集为 $(-\infty, -1) \cup \left(-1, \dfrac{1}{2}\right)$。
答案:$m = 1$;解集为 $(-\infty, -1) \cup \left(-1, \dfrac{1}{2}\right)$。
题目4:对数运算的“定义域陷阱”
化简表达式 $\log_2 (x^2)$。是直接等于 $2\log_2 x$ 吗?如果不是,正确的化简结果是什么?
考查点:对数定义域与偶次幂的性质。
解析:$\log_2 (x^2)$ 有意义需 $x^2 > 0$,即 $x \neq 0$。当 $x > 0$ 时,$\log_2 (x^2) = 2\log_2 x$;当 $x < 0$ 时,$\log_2 (x^2) = 2\log_2 (-x)$。
答案:不是;正确结果为 $\begin{cases} 2\log_2 x, & x > 0 \ 2\log_2 (-x), & x < 0 \end{cases}$。
题目5:指数与对数的互化
已知 $2^x = 3$,$\log_4 \dfrac{8}{3} = y$。求 $x + 2y$ 的值。
考查点:指数式与对数式的互化,换底公式的应用。
解析:
解法一:由 $2^x = 3$ 得 $x = \log_2 3$。由换底公式,
$$ y = \log_4 \frac{8}{3} = \frac{\log_2 \frac{8}{3}}{\log_2 4} = \frac{\log_2 \frac{8}{3}}{2} \quad\Rightarrow\quad 2y = \log_2 \frac{8}{3}. $$
于是 $x + 2y = \log_2 3 + \log_2 \dfrac{8}{3} = \log_2 8 = 3$。
解法二:$x = \log_2 3 = \dfrac{\log_4 3}{\log_4 2} = 2\log_4 3 = \log_4 9$,$2y = 2\log_4 \dfrac{8}{3} = \log_4 \left(\dfrac{8}{3}\right)^2$,相加化简同样得 $3$。
答案:$3$。
题目6:幂、指、对函数的大小比较
设 $a = 0.3^2$,$b = 2^{0.3}$,$c = \log_2 0.3$。将 $a, b, c$ 按从大到小排序。
考查点:利用中间值 “$0$” 和 “$1$”,结合函数单调性比较大小。
解析:
- $a = 0.3^2 = 0.09$,故 $0 < a < 1$。
- $b = 2^{0.3} > 2^0 = 1$,且 $2^{0.3} < 2^1 = 2$,故 $1 < b < 2$。
- $c = \log_2 0.3 < \log_2 1 = 0$,故 $c < 0$。
因此 $b > a > c$。
答案:$b > a > c$。
题目7:复合函数的单调性
求函数 $f(x) = \log_{\frac{1}{2}} (x^2 - 2x)$ 的单调递减区间。
考查点:“同增异减”原则与定义域优先原则。
解析:
定义域:$x^2 - 2x > 0 \Rightarrow x(x-2) > 0 \Rightarrow x < 0$ 或 $x > 2$。
令 $u = x^2 - 2x = (x-1)^2 - 1$,则 $f(x) = \log_{\frac{1}{2}} u$。底数 $\dfrac{1}{2} \in (0, 1)$,故对数函数在 $u > 0$ 上单调递减。
由“同增异减”,$f(x)$ 的单调递减区间对应 $u$ 的单调递增区间(减 $\circ$ 增 $=$ 减)。
$u = x^2 - 2x$ 在 $(1, +\infty)$ 上单调递增,与定义域取交集得 $(2, +\infty)$。
在 $(-\infty, 0)$ 上 $u$ 单调递减,此时 $f(x)$ 单调递增(减 $\circ$ 减 $=$ 增),不符合要求。
答案:单调递减区间为 $(2, +\infty)$。
若使用定义法推导,过程冗长。用“同增异减”原则简化,结果一致。
题目8:反函数与对称性
已知函数 $f(x) = a^x$($a > 0, a \neq 1$)的图像经过点 $(2, 4)$。
- 求 $f(x)$ 的解析式;
- 若 $g(x)$ 是 $f(x)$ 的反函数,求 $g(8)$ 的值。
考查点:待定系数法求解析式及反函数定义的应用。
解析:
- 将点 $(2, 4)$ 代入 $f(x) = a^x$,得 $a^2 = 4$,故 $a = 2$($a > 0$),$f(x) = 2^x$。
- $g(x) = \log_2 x$,则 $g(8) = \log_2 8 = 3$。
答案:$f(x) = 2^x$;$g(8) = 3$。
根据反函数定义,函数 $f(x)$ 与 $f^{-1}(x)$ 满足 $f(f^{-1}(x)) = x$ 且 $f^{-1}(f(x)) = x$。
但由于所有指数函数的反函数都是对数函数,反之亦然;因此求出 $g(8)$ 的值后不必再验证 $g(x)$ 是否是 $f(x)$ 的反函数。
题目9:二次函数与指数函数的复合(难点)
关于 $x$ 的方程 $4^x - 2^{x+1} - m = 0$ 有实数解,求实数 $m$ 的取值范围。
考查点:换元法将超越方程转化为二次函数值域问题。
解析:
令 $t = 2^x$,则 $t > 0$。原方程化为
$$ t^2 - 2t - m = 0 \quad\Rightarrow\quad m = t^2 - 2t = (t-1)^2 - 1. $$
当 $t > 0$ 时,$(t-1)^2 - 1$ 的取值范围为 $[-1, +\infty)$($t=1$ 时取最小值 $-1$,$t \to 0^+$ 时取值 $0$,$t \to +\infty$ 时趋于 $+\infty$)。
故方程有实数解等价于 $m \ge -1$。
答案:$m \in [-1, +\infty)$。
若采用判别式法并讨论根的分布,则略显繁琐。用分离参数法结合二次函数值域,更简洁。