【文化课学习笔记】【数学】函数（下）

【数学】函数（下）

指数运算与对数运算

指数运算

定义

\[a^n = \begin{matrix} \underbrace{a\times a\times \cdots \times a} \\ n ~个 \end{matrix}，n \in \mathrm{N^*}\\ a^0 = 1(a \ne 0)\\ a^{-n} = \dfrac{1}{a^n}(a \ne 0)\\ a^{\frac{n}{m}} = \sqrt[m]{a^n}(a > 0,m,n \in \mathrm{N^*},m>1) \]

性质

性质一

• 当 \(n\) 为奇数时，\(\sqrt[n]{a^n} = a\)。
• 当 \(n\) 为偶数时，\(\sqrt[n]{a^n} = |a|\)。

性质二

\[a^r a^s = a^{r+s} (a > 0,r,s \in\mathrm{R})\\ \dfrac{a^r}{a^s} = a^{r-s}(a> 0,r,s \in\mathrm{R})\\ (a^r)^s = a^{rs}(a > 0,r,s \in\mathrm{R}) \]

其中前两条性质用于处理同底，第三条性质是说「多次乘方运算，优先计算指数」。

例如：

\[125^{\frac{2}{3}} = (5^3)^{\frac{2}{3}} = 5^2 = 25 \]

性质三

\[(ab)^r = a^r b^r(a,b > 0,r \in\mathrm{R}) \]

对于分数指数幂运算：可先利用运算性质化简，再利用定义计算。

对于带根号的运算：可优先考虑将根号转化为指数运算，再计算。

对数运算

定义

\[a^x = N \iff x = \log_a N(a > 0~且~a\ne 1,N > 0) \]

其中，\(a\) 叫做对数的底数，\(N\) 叫做对数的真数。

两个小结论：

\[\log_a 1 = 0\\ \log_a a = 1(a > 0~ 且 ~a\ne 1) \]

两种特殊对数：

\[\lg a = \log_{10} a\\ \ln a = \log_e a \]

一般第二个称为「自然对数」，\(e \approx 2.7\)。

性质

性质一

如果 \(a > 0\) 且 \(a \ne 1,M > 0,N>0\)，那么

\[\log_a MN = \log_a M + \log_a N\\ \log_a\dfrac{M}{N} = \log_a M - \log_a N\\ \log_a M ^n = n \log_a M(n \in \mathrm{R})\\ \log_a M^n = n \log_a M(n \in\mathrm R)\implies \lg \dfrac{1}{a} =- \lg a\\ \log_{a^n} M = \dfrac{1}{n} \log_a M \implies \log_{\frac{1}{a}} M = -\log_a M \]

适用范围：

• 前两条性质适用于同底数的对数运算。
• 第三条性质适用于对数里的真数部分出现指数的情况。
• 第四条性质适用于对数里的底数部分出现指数的情况。

注意：涉及到所有性质的 \(M\) 和 \(N\) 必须为正数。

性质二——换底公式

\[\log_a b = \dfrac{\log_c b}{\log_c a}(a > 0~且~a\ne 1,b > 0,c > 0~且~c\ne 1) \]

适用范围：用于处理不同底的对数。

一般题目中利用 \(e\) 或 \(10\) 作为底数换底。

推论：

\[\dfrac{1}{\log_a b} = \log_b a(a,b > 0,a \ne 1,b\ne 1) \]

适用范围：对数在分母上，需要对对数取倒数。

性质三——对数恒等式

\[a^{\log_a N} = N (a > 0~且~a\ne 1) \]

适用范围：当指数上出现对数，可用此公式处理。

注意：

• 遇到直接看上去难以直接处理的对数（底数不相等且没有关系），可考虑使用换底公式。
• 将一个对数利用换底公式表示之后，应该将分子分母每一个对数都利用「分解质因数」拆成不可拆分的形式，有利于后续计算。

例如：设 \(a = \log_3 6,b = \log_5 20\)，则 \(\log_2 15\) 如何用 \(a\) 和 \(b\) 表示。

求解：

根据题意有

\[a = \dfrac{\ln 6}{\ln 3} = \dfrac{\ln 3 + \ln 2}{\ln 3} = 1 + \dfrac{\ln 2}{\ln 3} \Longrightarrow \dfrac{\ln 2}{\ln 3} = a - 1\\ b = \dfrac{\ln 20}{\ln 5} = \dfrac{\ln 2 + \ln 2 + \ln 5}{\ln 5} = \dfrac{2\ln 2}{\ln 5}+ 1 \Longrightarrow \dfrac{\ln 2}{\ln 5} = \dfrac{b-1}{2} \]

所以

\[\log_2 15 = \dfrac{\ln 15}{\ln 2} = \dfrac{\ln 3}{\ln 2} + \dfrac{\ln 5}{\ln 2} = \dfrac{1}{a - 1} + \dfrac{2}{b - 1} = \dfrac{2a + b -3}{(a-1)(b-1)} \]

指对运算比较大小

原理

利用「指对函数的增减性」，即：

• 当 \(a > 1\) 时，\(y = a^x\) 递增，\(y = \log_{a} x\) 递增。
• 当 \(0 < a < 1\) 时，$ y = a^x$ 递减，\(y = \log_a x\)​ 递减。

方法一——同底数/指数比较大小

适用范围：同底数或同指数。

同底数：直接根据对应指对函数单调性比较大小即可。

同指数：先将原式取对数，再根据对应对数函数单调性比较大小。

方法二——借助中间量（常用 \(0,1\)）比大小

适用范围：直接能看出需要比较式子与某个常数（一般为 \(0\) 或 \(1\)）的关系。

方法：分别判断需要比较的式子与某个常数（一般为 \(0\) 或 \(1\)​）的大小关系，然后再比较大小。

注意：虽然常用 \(0,1\)，但在有时候无法通过 \(0,1\) 判断大小关系的时候，可考虑通过「放缩法」等选用其他中间量来进行大小关系的判断，这一点将在下面的例题中体现。

结论——快速判断对数正负：

将实数集 \(\mathrm{R}\) 划分为两个区间 \((0,1)\) 和 \((1,+\infty)\)。

对于对数 \(\log_a N\)：

• 若 \(a,N\) 属于同一个区间，则 \(\log_a N > 0\)。
• 若 \(a,N\) 不属于同一个区间，则 \(\log_a N <0\)​。

一些运算技巧：

\[\log_{\frac{1}{n}}{\frac{1}{m}} = \log_{n^{-1}}m^{-1} = \log_n m \]

例 1（2020 全国 3 文）设 \(a = \log_3 2,b = \log_5 3,c = \dfrac{2}{3}\)，则 \(a,b,c\) 的大小关系是什么。

求解：

\[\dfrac 3 2 a = \dfrac 3 2\log_3 2 =\log_{3^2}2^3 = \log_9 8 <1 \implies a < \dfrac 2 3\\ \dfrac 3 2 b = \dfrac 3 2\log_5 3 = \log_{5^2}3^3 = \log_{25} 27 > 1 \implies b > \dfrac 2 3 \]

所以 $ b > c > a$。

有关此题的一些总结：

这道题就是使用非 \(0,1\) 中间量的一个体现。主要采用的是「放缩法」，即对需要比较的量同时乘上一个数 \(k\)，然后再比较新的数与 \(1\) 的关系，根据此可以比较出原数与 \(\dfrac{1}{k}\) 的关系，此时 \(\dfrac{1}{k}\) 即为中间量。

选用 \(\dfrac{2}{3}\) 作为中间量的原因：我们可以发现需要比较的 \(c\) 本身就是 \(\dfrac{2}{3}\)，所以选用 \(\dfrac{2}{3}\) 就是把问题转化为直接比较 \(a,b\) 和 \(c\) 的大小关系。所以一种可能的中间量的选用策略是直接以需要比较的对象为中间量。

---

例 2（2020 全国 3 理）已知 \(5^5 < 8^4,13^4 < 8^5\)。设 \(a = \log_5 3,b = \log_8 5,c = \log_{13} 8\)，则 \(a,b,c\)​ 的大小关系是什么。

求解：

\[\dfrac 4 3 a = \dfrac 4 3 \log_5 3 = \log_{5^3}{3^4} = \log_{125}81 < 1 \implies a < \dfrac 3 4\\ \dfrac 4 3 b = \dfrac 4 3 \log_8 5 = \log_{8^3}{5^4} = \log_{512}625 > 1 \implies b > \dfrac 3 4\\ \dfrac 5 4 b = \dfrac 5 4 \log_8 5 = \log_{8^4}{5^5} <1 \implies b < \dfrac 4 5\\ \dfrac 5 4 c = \dfrac 4 5 \log_{13}8 = \log_{13^4}{8^5} >1 \implies c > \dfrac 4 5 \]

据此可知 \(a < b < c\)。

关于此题的一些总结：

这道题比较三个数，选用了两个中间量，选用 \(\dfrac{5}{4}\) 可以直接根据题目给定的信息 \(5^5 < 8^4,13^4 < 8^5\) 猜测到。

发现遇到的两个题涉及到的非 \(0,1\) 物理量都是分数，并且分子 $= $ 分母 \(+1\)，这有可能是一个选择中间量的策略，即选择 \(\dfrac{n}{n-1}\) 作为中间量进行比较大小。

方法三——底数真数均不相同的对数比较大小

考虑将指数/底数其中一个变成相同的数，然后利用同底数/指数的方法比较大小。

例如：比较 \(\log_6 4\) 和 \(\log_3 2\) 的大小。

求解：

\[\log_6 4 = 2\log_6 2 = 2\cdot \dfrac{1}{\log_2 6} = \dfrac{1}{\log_2 \sqrt{6}}\\ \log_3 2 = \dfrac{1}{\log_2 3} \]

由于 \(3 > \sqrt{6}\)，所以 \(\log_2 3 > \log_2 \sqrt{6}\)，所以 \(\log_6 4 > \log_3 2\)​。

方法四——图象法

对于「方程类」或「函数交点类」比较大小问题，可以考虑画出对应函数的图象找对应交点求解。

这里的「方程类」比较大小问题，指的是要比较的数/参数是某个方程的解。

这里的「函数交点类」比较大小问题，指的是要比较数/参数是某两个函数的交点。

例如：已知实数 \(a,b,c\) 满足 \(2^a = \log_{\frac{1}{2}} a,\left(\dfrac{1}{2}\right)^b = \log_{\frac{1}{2}}b,\left(\dfrac{1}{2}\right)^c = \log_2 c\)，这三个数从小到大排列是什么。

求解：发现题目给定的 \(a,b,c\) 无法直接求解得到，且此时需要比较的 \(a,b,c\) 恰好是题目给定的三个方程的解或某两个函数的交点，所以考虑画图比较。

发现题目涉及 \(y = 2^x,y = \log_{\frac{1}{2}}x,y =\log_2 x,y = \left(\dfrac 1 2\right)^x\) 四个函数，绘制图象如下：

如图所示，可知 \(a < b < c\)​。

方法五——作差/作商法

对于无法直接借助中间量且无法借助图象比较的题目，可以考虑作差/作商法。

例如：比较 \(b = (\lg e)^2\) 和 \(c = \lg \sqrt{e}\) 的大小关系。

求解：

方法一——作商法

\[\dfrac{b}{c} = \dfrac{(\lg e)^2}{\dfrac{1}{2}\lg e} = \dfrac{\lg e}{\dfrac{1}{2}} = 2\lg e = \lg e^2 <1 \]

所以 $ b < c$​。

方法二——作差法

\[b - c = (\lg e)^2 - \dfrac{1}{2}\lg e =\lg e\left(\lg e - \dfrac{1}{2} \right) = \lg e \cdot \lg \dfrac{e}{\sqrt{10}} \]

因为 \(\dfrac{e}{\sqrt {10}} < 1\)，所以 \(\lg \dfrac{e}{\sqrt{10}} < 0\)，所以 \(b < c\)​。

比较大小类问题一般步骤

1. 首先考虑估算法。
2. 如果估算法做不出来，看能不能作图，考虑图象法。
3. 图象法做不出来再考虑作差/作商法。

其他

例（2017 全国一卷理）设 \(x,y,z\) 为正数，且 \(2^x = 3^y = 5^z\)，则 \(2x,3y,5z\) 的大小关系是什么。

求解：

\[2^x = 3^y = 5^z \iff \lg 2^x =\lg 3^y = \lg 5^z \iff x \lg 2 = y\lg 3 = z \lg 5 \]

所以

\[\dfrac{2x}{3y} = \dfrac{2\lg 3}{3\lg 2} = \dfrac{\lg 3^2}{\lg 2^3} = \dfrac{\lg 9 }{\lg 8} > 1 \Longrightarrow 2x>3y \]

同理可得 \(2x < 5z\)，所以 \(5z > 2x > 3y\)。

对于此类问题的解法可以考虑对其「代数结构」分析，例如此题需要比较的 \(x,y,z\)​​ 都不在指数上，而题目已知条件都在指数上，所以可以考虑取对数求解。

指数函数与对数函数

指数函数

定义

一般地，函数 \(y = a^x(a > 0~且~ a \ne 1)\) 叫做指数函数，其中指数 \(x\) 是自变量，定义域是 \(\mathrm{R}\)。

图象

当 \(0 < a <1\) 时：

当 \(a > 1\) 时：

性质

【单调性】

• 当 \(0 < a < 1\) 时，单调递减。
• 当 \(a > 1\) 时，单调递增。

【值域】\((0,+\infty)\)

【奇偶性】非奇非偶函数。

【渐近线】\(x\) 轴（\(y=0\)）

【定点】过定点 \((0,1)\)，即 \(x = 0\) 时，\(y=1\)。

考法

过定点问题

问题模型：给定一个指数型函数 \(f(x)\)，问其过哪个定点。

求解：令指数为 \(0\)，解得 \(x\) 和 \(y\)。

本质：找定点相当于找到一个合适的 \(x\) 将参数消去。

做指数型函数的图象

问题模型：给定一个指数型函数，求其图象。

关键点：画出三要素：定点、单调性、渐近线。

求解：判断给定的指数型函数是由哪个指数函数变换得到，根据变换画出指数型函数的对应信息。

比较大小

问题模型：给定若干指数函数 \(y = a^x,y = b^x,\cdots\) 的图象，问底数 \(a,b,\cdots\) 的大小关系。

求解：令 \(x = 1\)，在图中标注出 \(x = 1\) 的图象，根据图象与指数函数图象交点判断 \(a,b,\cdots\) 的大小关系。

对数函数

定义

一般地，函数 \(y = \log_a x(a > 0~且~a\ne 1)\) 叫做对数函数，其中 \(x\) 是自变量，定义域是 \((0,+\infty)\)。

图象

当 \(0 < a < 1\) 时：

当 \(a > 1\) 时：

性质

【单调性】

• 当 \(0< a <1\) 时，单调递减。
• 当 \(a > 1\) 时，单调递增。

【值域】\(\mathrm{R}\)

【奇偶性】非奇非偶函数。

【渐近线】\(y\) 轴（\(x = 0\)）

【定点】过定点 \((1,0)\)，即 \(x = 1\) 时，\(y = 0\)。

考法

过定点问题

问题模型：给定一个对数型函数 \(f(x)\)，问其过哪个定点。

求解：令真数为 \(0\)，解得 \(x\) 和 \(y\)。

本质：找定点相当于找到一个合适的 \(x\) 将参数消去。

做指数型函数的图象

问题模型：给定一个对数型函数，求其图象。

关键点：画出三要素：定点、单调性、渐近线。

求解：判断给定的对数型函数是由哪个对数函数变换得到，根据变换画出对数型函数的对应信息。

比较大小

问题模型：给定若干对数函数 \(y = \log_a x,y = \log_b x,\cdots\) 的图象，问底数 \(a,b,\cdots\) 的大小关系。

求解：令 \(y = 1\)，在图中标注出 \(y = 1\) 的图象，根据图象与对数函数图象交点判断 \(a,b,\cdots\) 的大小关系。

应用

指对型复合函数

复合方式

• $ f(x) = \log_{a} g(x),f(x) = a^{g(x)}$。
• $ f(x) = f(a^x),f(x) = f(\log_a x)$，可通过观察题目给定的指数的底数之间有什么关系，通过换元识别。

研究复合函数的性质

• 定义域/奇偶性：直接研究（直接根据定义找到题目的限制条件，然后看 \(f(x)\) 和 \(f(-x)\) 的关系）。
• 值域：先确定复合方式，再逐层研究。
• 单调性：利用运算性质或复合函数或求导。

指对型分段函数

研究思路：分段研究。

求单调性

方法一——数形结合法

画出对应函数图象，观察图象，通过数形结合的方法求解。

例：已知 \(f(x) = \begin{cases}2^{-x},x \le 0\\1,x > 0\end{cases}\)，则满足 \(f(x + 1) < f(2x)\) 的 \(x\) 的取值范围是什么。

求解：

根据题意可绘制图象如下：

根据图象有：

\[2x < x + 1 \le 0~或~2x < 0 < x + 1 \implies x \in (-\infty,0) \]

方法二——代数法

例 1：同方法一中例题。

求解：由题意可得

\[f(x+1) = \begin{cases} 2^{-(x+1)},x +1 \le 0\\ 1,x+1 > 0 \end{cases} = \begin{cases} 2^{-x-1},x \le -1\\ 1,x>-1 \end{cases}\\ f(2x) = \begin{cases} 2^{-2x},2x \le 0\\ 1,2x > 0 \end{cases} = \begin{cases} 2^{-2x},x \le 0\\ 1,x>0 \end{cases} \]

所以：

\[\begin{cases} x \le -1\\ 2^{-x-1}<2^{-2x} \end{cases} ~或~ \begin{cases} -1 \le x \le 0\\ 1 < 2^{-2x} \end{cases} ~或~ \begin{cases} x > 0\\ 1 < 1 \end{cases} \]

解得 \(x \in (-\infty,0)\)。

指对函数实战演练

解题技巧

1. 题目中遇到一个函数时，可以首先判断它的各种性质，有利于解题。
2. 题目已知形如 \(\dfrac{f(x_1) - f(x_2)}{x_1 - x_2} > a\) 的式子一般是为了说明某个函数增减性。可考虑先去分母，然后将 \(x_1,x_2\) 放在不等式两边，观察其表示的是哪个函数增减性，此时需要把所有的 \(f(x)\) 都转化为已知单调性的函数。
3. 解对数不等式时，需要考虑定义域。

有关第二点的结论：

• 若对 \(\forall x_1 \ne x_2\)，有 \(\dfrac{f(x_1) - f(x_2)}{x_1 - x_2} > a\)，则 \(g(x) = f(x) - ax\) 单调递增。
• 若对 \(\forall x_1 \ne x_2\)，有 \(\dfrac{f(x_1) - f(x_2)}{x_1 - x_2} < a\)，则 \(g(x) = f(x) - ax\) 单调递减。

例题

例 1：已知 \(f(x)\) 的定义域为 \(\mathrm{R}\)，对于 \(x_1 < x_2\)，有 \(\dfrac{f(x_1) - f(x_2)}{x_1 - x_2} > -1\)，且 \(f(1)=1\)，则不等式 \(f(\log_2|3^x - 1|) < 2 - \log_2|3^x - 1|\) 的解集是什么。

求解：由题意可得

\[\dfrac{f(x_1) - f(x_2)}{x_1 - x_2} > -1 \implies f(x_1) - f(x_2) < -x_1 + x_2 \implies f(x_1) + x_1 < f(x_2) + x_2 \]

令 \(g(x) = f(x) + x\)，则当 \(x_1 < x_2\) 时，\(g(x_1) < g(x_2)\)，即 \(g(x)\) 在 \(\mathrm{R}\) 上单调递增。此时 \(g(1) = f(1) + 1 = 2\)。

所以

\[\begin{aligned} &f(\log_2|3^x - 1|) < 2 - \log_2|3^x - 1| \\ \implies & f(\log_2|3^x - 1|) + \log_2|3^x-1| < 2 \\ \implies & g(\log_2|3^x - 1|) < g(1) \\ \implies & \log_2|3^x - 1| < 1\\ \implies & \begin{cases} |3^x - 1| > 0\\ |3^x - 1| < 2 \end{cases}\\ \implies & x \in \mathrm{(-\infty,0)\cup (0,1)} \end{aligned} \]

---

例 2：已知 \(a > 0\) 且 \(a \ne 1\)，函数 \(f(x) = \log_a \left(x + \sqrt{x^2 + b}\right)\) 在 \(\mathrm{R}\) 上既是奇函数又是偶函数，则函数 \(g(x) = \log_a ||x| - b|\) 的图象是：

求解：

由于 \(f(x)\) 是奇函数，所以当 \(x = 0\) 时，\(f(0) = \log_a \sqrt{b} = 0\)，解得 \(b = 1\)，所以 \(g(x) = \log_a ||x| - 1|\)。

奇函数在 \([0,+\infty)\) 和 \((-\infty,0]\) 上单调性相同，所以只需要考虑在 \([0,+\infty)\) 上的单调性。

因为 \(f(x) = \log_a \left(x + \sqrt{x^2 + 1}\right)\) 相当于由函数 \(t = x + \sqrt{x^2 + 1},y = \log_a t\) 复合而成。且 \(t = x + \sqrt{x^2 + 1}\) 单调递增，因为原函数是增函数，所以 \(y = \log_a t\) 也单调递增，所以 \(a > 1\)。

根据选项发现，当 $ x > 1$ 时，函数值 \(>0\)，当 \(0 < x < 1\) 时，函数值 \(<0\)。所以选 D。

函数图像

函数图象的变换规律

平移变换

方法：左加右减，上加下减。

用途：可以通过判断某个函数是由哪个已知图象的函数变换得到的，根据变换画出所求函数的函数图象。

对称变换

\[y = f(x) \ce{->[关于~y~轴对称]} y = f(-x)\\ y = f(x) \ce{->[关于~x~轴对称]} y = -f(x)\\ y = f(x) \ce{->[关于原点对称]} y = -f(-x) \]

翻折变换

对 \(y\) 加绝对值：

• 函数解析式：\(y = f(x) \longrightarrow y = |f(x)|\)。
• 图象：\(x\) 轴上方保持不变，\(x\) 轴下方沿 \(x\) 轴翻折到上方。

对 \(x\) 加绝对值：

• 函数解析式：\(y = f(x) \longrightarrow y = f(|x|)\)。
• 图象：\(y\) 轴右侧保持不变，\(y\) 轴左侧去掉，并把右侧图象沿 \(y\) 轴翻折到左侧。

图像变换顺序

当同时遇到多个性质的图象变换时，需要规定顺序。

• 针对 \(x\) 的图像变换顺序：与运算顺序相反。例如绘制 \(y = \dfrac{1}{|x|-1}\) 的图象，应该先把 \(x\) 向右平移一个单位，再加绝对值。
• 针对 \(y\) 的图像变换顺序：与运算顺序相同。
• 既有针对 \(x\) 的图像变换，又有针对 \(y\) 的图像变换：两类变换之间没有先后顺序。

伸缩变换

\[y = f(x) \ce{->[纵坐标变为原来的~A~倍]} y = Af(x)\\ y = f(x) \ce{->[横坐标变为原来的~\frac{1}{a}]} y = f(ax) \]

例题

例：\(f(x) = \begin{cases}\cos \dfrac{\pi}{2}x,x \le 0\\\log_7x,x>0\end{cases}\) 的图象上关于远点成中心对称的点有几个。

求解：考虑将 \(x \le 0\) 的部分关于原点中心对称，然后看新的图象有多少个交点。

将 \(f(x) = \cos \dfrac{\pi}{2}x(x\le 0)\) 关于原点对称后，可得到新的函数：

\[f(x) = \begin{cases} - \cos \dfrac{\pi}{2}x,x \ge 0\\ \log_7x,x >0 \end{cases} \]

对于 \(f(x) = -\cos \dfrac{\pi}{2}x\) 可以考虑采用五点作图法。即当 \(\dfrac{\pi}{2} x =0,\dfrac{\pi}{2},\pi,\dfrac{3}{2}\pi,2\pi\) 时，得到 \(x = 0,1,2,3,4\) 代入函数解析式中可绘制出 \(x \ge 0\) 的图象：

此时 \(\log_7 x\) 与该函数下方有一个交点，\(x\) 轴上有一个交点。且当 \(\log_7 x = 1\) 时，\(x = 7\)，所以 \(\log_7 x\) 与该图象上方有 \(3\) 个交点，如图所示：

所以原函数图像上关于原点成中心对称的点有 \(5\) 个。

图象辨析类问题

方法

解题思路：排除法，即根据函数性质排除掉剩下三个选项，从而选择正确的选项。

一般可以观察四个选项涉及到的不同的性质，再判断对应函数的性质。

常用排除法：①奇偶性；②特殊值；③正负；④定义域；⑤单调性；⑥极限。

分析极限

下面公式中的 \(\to\) 表示无限趋于。

\[x \to +\infty,x^2 \to +\infty\\ x\to +\infty,\dfrac{1}{x} \to 0\\ x\to +\infty,\dfrac{x}{x^3 + 1}\to 0\\ x \to +\infty,\dfrac{x^2 + 1}{e^x} \to 0 \]

其中，对于第三条，当 \(x \to +\infty\) 时，\(x \ll x^3 +1\)，所以 \(\dfrac{x}{x^3 + 1} \to 0\)。 第四条同理。

结论：\(x \to +\infty\)，有 \(\ln x < x^n <e^x\)，其中 \(n \in \mathrm{R^+}\)。其中 \(\mathrm{R^+}\) 表示正数。

例题

例 1：函数 \(y = (2x - 1)e^x\) 的图象大致是（）

解法一：

根据函数解析式得，当 \(x < \dfrac{1}{2}\) 时，\(f(x) <0\)，所以排除 CD。根据增减性求导可知，选 A。

解法二（极限法）：

当 \(x\to -\infty\) 时，\(2x - 1 \to -\infty\)，\(e^x = e^{-\infty} = \dfrac{1}{e^{+\infty}}\)，其中 \(|2x - 1| \ll e^{+\infty}\)，所以 \(f(x) \to \dfrac{-\infty}{e^{+\infty}} \to 0\)，选 A。

---

例 2：函数 \(f(x) = (1- \cos x)\sin x\) 在 \([-\pi,\pi]\) 的图象大致为（）

解析：

首先根据奇偶性排除 B。观察发现当 \(x\) 为正数且绝对值很小时，A 选项时负数，C 选项为 \(< \dfrac{1}{2}\) 的正数，D 选项为 \(>\dfrac{1}{2}\) 的正数，代入 \(x = \dfrac{\pi}{6}\) 可得选 C。

函数零点

函数零点存在定理

内容

如果函数 \(y = f(x)\) 在区间 \([a,b]\) 上的图象是一条连续不断的曲线，且有 \(f(a)f(b) < 0\)，那么 \(y = f(x)\) 在区间 \((a,b)\) 内至少有一个零点，即存在 \(c \in (a,b)\)，使得 \(f(c) = 0\)，这个 \(c\) 也就是方程 \(f(x) = 0\) 的解。

作用

判断函数 \(f(x)\) 有无零点/有几个零点/判断零点所在区间。

具体做法：求出 \(f(x)\) 的单调区间，然后根据零点存在性定理和单调区间依次判断每个单调区间上是否有零点。

例：方程 \(\left(\dfrac{1}{3}\right)^x = x^{\frac{1}{2}}\) 的解所在的区间是（）

A. \(\left(0,\dfrac 1 3\right)\)

B. \(\left(\dfrac 1 3,\dfrac 1 2\right)\)

C. \(\left(\dfrac 1 2,\dfrac 2 3\right)\)

D. \(\left(\dfrac 2 3,1\right)\)

---

解析：

首先考虑单调性，根据「减 \(+\) 减 \(=\) 减」可知，\(f(x)\) 在 \([0,+\infty)\) 上单调递减。

然后判断正负：

\[f(0) = 1 - 0 = 1 > 0\\ f\left(\dfrac{1}{3}\right) = \left(\dfrac{1}{3}\right)^{\frac{1}{3}} - \sqrt{\dfrac{1}{3}} = \left(\dfrac{1}{3}\right)^{\frac{1}{3}} - \left(\dfrac{1}{3}\right)^{\frac{1}{2}} > 0\\ f\left(\dfrac{1}{2}\right) = \left(\dfrac 1 3\right)^{\frac{1}{2}} - \sqrt{\dfrac{1}{2}} = \sqrt{\dfrac{1}{3}} - \sqrt{\dfrac{1}{2}} < 0 \]

所以选 B。

处理函数零点的一般方法

1. 将函数转化为对应方程 \(=0\) 的解的问题。
2. 首先对于可以直接解出来的方程/可以猜出解的方程 直接解出来求得零点。
3. 对于不能直接解出来的方程，可以考虑将方程变形之后，做对应函数的图象，对应函数交点的横坐标即为所求零点。

注意：有些题目变形后，需要做出的对应函数图象是不确定的，即「动态函数」，例如 \(y = - \dfrac{1}{4}x + a\)。这个时候我们可以尽量对原方程变形使得需要做出的「动态函数」尽量水平。即把问题转化为函数 \(y = f(x)\) 与水平直线 \(y = a\) 相交的问题例如求方程 \(2 \sqrt{x} = - \dfrac{1}{4}x + a\) 的根，可以转化为 \(y = 2\sqrt{x} - \dfrac{1}{4}x\) 和 \(y = a\) 这两个函数的交点。

原理：当「动态函数」水平时，其对另一个需要作图的函数要求只有两点：

• 单调区间。
• 单调区间端点处的函数值。

例如：求函数 \(f(x) = 2^x + x +1\) 的零点，相当于求方程 \(2^x + x + 1 = 0\) 的解。由于该方程不可直接解，那么我们考虑变形画对应函数图象。方程变形得到 $2^x = -x -1 $，考虑绘制 \(y = 2^x\) 和 \(y = -x - 1\) 的图象如下：

如图所示，交点即为对应零点。

例题

例 1：方程 \(4 \sin \pi x = \dfrac{2}{1 - x}\) 在 \([-2,4]\) 内根的个数为多少个。

求解：由于该方程不可直接解，考虑变形后绘制函数图象。

变形得到：

\[2\sin \pi x = \dfrac{1}{1 - x} \]

则问题可以转化为函数 \(y = 2\sin \pi x\) 和 \(y = \dfrac{1}{1- x}\) 在区间 \([-2,4]\) 上的交点个数。

首先绘制 \(y = 2\sin \pi x\)，除了「五点作图法」，这里另外介绍一种方法：

根据函数解析式可知该函数图象与 \(y = \sin x\) 形状相同，所以先可绘制对应形状。再根据其最大最小值分别是 \(2\) 和 \(-2\)，周期为 \(T = \dfrac{2\pi}{\omega} = 2\)，可绘制出对应函数图象：

再根据平移变换绘制出 \(y = \dfrac{1}{1 - x}\) 的图象：

发现两个函数图象均关于 \(x = 1\) 对称，且所求的区间 \([-2,4]\) 也关于 \(x = 1\) 对称，所以 \(x = 1\) 右边的交点数的二倍即为整个区间的交点数。

当 \(x = \dfrac{3}{2}\) 时，函数 \(y = 2 \sin \pi x\) 取到最小值 \(-2\)，同时函数 \(y = \dfrac{1}{1-x}\) 也经过该点，所以 \(\left(\dfrac 3 2, - 2\right)\) 是其中一个交点，并根据此可以大致绘制出 \(x = 1\) 右侧完整的交点图象如下：

从而可以发现，在 \([1,4]\) 上有 \(4\) 个交点，所以在 \([-2,4]\) 上原方程的根的个数为 \(8\) 个。

注意：这两个函数图象在 \(\left(\dfrac 3 2, - 2\right)\) 不可能相切，因为函数 \(y = 2\sin \pi x\) 在该点的斜率为 \(0\)，而函数 \(y = \dfrac{1}{1- x}\) 的导数不可能为 \(0\)，所以这种情况不存在。

---

例 2（2019 年天津卷文）已知函数 \(f(x) = \begin{cases}2\sqrt x,0 \le x \le 1\\\dfrac 1 x,x>1\end{cases}\)，若关于 \(x\) 的方程 \(f(x) = -\dfrac 1 4 x + a(a \in \mathrm{R})\) 恰有两个互异的实数解，则 \(a\) 的取值范围是多少。

求解：

给定方程可变形为：

\[f(x) + \dfrac{1}{4} x = a \]

设

\[g(x) = f(x) + \dfrac{1}{4}x = \begin{cases} 2\sqrt{x} + \dfrac{1}{4} x,0 \le x \le 1\\ \dfrac{1}{x} + \dfrac{1}{4} x,x>1 \end{cases} \]

所以题目可以转化为 \(y = g(x)\) 和 \(y = a\) 的交点个数为 \(2\) 时，\(a\) 的取值范围。

\(y = g(x)\) 的图象如图所示：

所以问题可转化为一条水平直线不断平移，何时与上述图象有两个交点。

观察图象可知，\(a\) 的取值范围为 \(\{1\}\cup\left[\dfrac 5 4,\dfrac 9 4\right]\)。

---

例 3：已知函数 \(f(x) = \begin{cases}x^2 - ax + 2,x\ge a\\|x+a|,x<a\end{cases}\)，若对于任意正数 \(x\)，关于 \(x\) 的方程 \(f(x) = k\) 都恰有两个不相等的实数根，则满足条件的实数 \(a\) 的个数是多少个。

求解：

题目可以转化为 \(f(x)\) 与水平直线 \(y=k(k>0)\) 的交点数为 \(2\) 时，满足条件的 \(a\) 的个数。

可以考虑画图求解。

首先根据分段函数的性质，可以发现当 \(a >0\) 和 \(a<0\) 时，刚好对应了原函数不同的单调区间和单调性，所以分类讨论。

当 \(a = 0\) 时：

当 \(k<2\) 时，不符合题意，舍去。

当 \(a > 0\) 时：

此时 \(x\ge a\) 部分的图象在 \((a,+\infty]\) 上单调递增，左端点 \((a,2)\)；

\(x < a\) 部分的图象从 \((-\infty,-a]\) 上单调递减，右端点为 \((-a,0)\)；从 \((-a,a)\) 上单调递增，右端点是 \((a,2a)\)，注意此时右端点取不到。

• 当 \(2a <2\) 时，如下图所示：

  

  当 \(a\le k<2\) 时，不符合题意，舍去。

• 当 \(2a>2\) 时，同理可知不符合题意。

• 当 \(2a = 2\) 时，符合题意，此时 \(a = 1\)。

当 \(a<0\) 时：

此时 \(x \ge a\) 的部分先在 \(\left[a,\dfrac{a}{2}\right]\) 上单调递减，左端点 \((a,2)\)，右端点 \(\left(\dfrac{a}{2},-\dfrac{a^2}{4}+2\right)\)；再在 \(\left(\dfrac a 2,+\infty\right)\) 上单调递增。

\(x < a\) 的部分在 \((-\infty,a)\) 上单调递减，右端点 \((a,-2a)\)，注意此时右端点取不到。

与上一种情况同理分类讨论得到只有当 \(-2a = 2\) 且 \(-\dfrac{a^2}4 +2 \le 0\) 时符合题意。此时不等式组无解。

有关 \(-\dfrac{a^2}{4} +2 \le 0\) 的解释：由于对于任意正数 \(k\) 均满足有两个交点，所以必须满足最低点 \(\le 0\)。

---

---

例 4：已知函数 \(f(x) = |\log_2 |x - 1||\)，若方程 \(f(x) = a (a> 0)\) 的 \(4\) 个不同实根从小到大依次为 \(x_1,x_2,x_3,x_4\)，有以下三个结论：

① \(x_1 + x_4 = 2\)，且 \(x_2 + x_3 =2\)；

② 当 \(a = 1\) 时，\(\dfrac{1}{x_1} + \dfrac{1}{x_2} = 1\)，且 \(\dfrac{1}{x_3} + \dfrac{1}{x_4} = 1\)；

③ \(\dfrac{x_2}{x_3} + \dfrac{x_1}{x_4} = 0\)。

则其中正确的有哪些？

---

分析：

由于 \(f(x)\) 可由 \(y = \log_2 x\) 变形得到，可画出其图象如下：

该函数关于 \(x = 1\) 对称。

根据对称性可知，① 正确。

代入 \(f(x) = 1\) 解得 \(x_1 = 1,x_2 = \dfrac 1 2,x_3 = \dfrac 3 2,x_4 = 3\)，所以 \(\dfrac{1}{x_1} + \dfrac{1}{x_2} = 1,\dfrac{1}{x_3} + \dfrac{1}{x_4} = 1\)，② 正确。

由 ① 可知，\(x_2 = 2 - x_3,x_1 = 2 - x_4\)，代入 ③ 中代数式可得：

\[\begin{aligned} &\dfrac{x_2}{x_3} + \dfrac{x_1}{x_4} =0\\ \iff & \dfrac{2 - x_3}{x_3} + \dfrac{2 - x_4}{x_4} =0 \\ \iff & \dfrac{2}{x_3} + \dfrac{2}{x_4} - 2 = 0\\ \iff & \dfrac{1}{x_3} + \dfrac{1}{x_4} = 1\\ \iff & x_3x_4 = x_3 + x_4 \end{aligned} \]

所以问题转化为证明 \(x_3x_4 = x_3 + x_4\)。

由于

\[\begin{aligned} & |\log_2 |x_3 - 1|| = |\log_2 |x_4 - 1||\\ \implies & |\log_2(x_3 - 1)| = |\log_2 (x_4 - 1)|\\ \implies & \log_2(x_3 - 1) + \log_2 (x_4 - 1) = 0\\ \implies & \log_2 [(x_3 - 1)(x_4 - 1)] = 0\\ \implies & (x_3 - 1)(x_4 - 1) = 1\\ \implies & x_3x_4 = x_3 + x_4 \end{aligned} \]

证毕。所以 ③ 正确。

总结&技巧：

• 处理 ③ 这样的字母较多的式子时，可以考虑利用已知条件消元、找题目中的等量关系式求解。
• 对于 ②，若未知 \(a\) 的值，也可以考虑纯代数法解出（用 \(a\) 表示出）\(x_1 \sim x_4\) 求解。所以有时除了考虑数形结合还应该考虑纯代数法。

---

例 5（2020 天津高考）已知函数 \(f(x) = \begin{cases}x^3,x \ge 0\\-x,x < 0\end{cases}\)，若函数 \(g(x) = f(x) - |kx^2 - 2x|(k \in \mathrm{R})\) 恰有 \(4\) 个零点，则 \(k\) 的取值范围是什么。

---

分析：

一种比较容易想到的思路是将问题转化为「函数 \(y = f(x)\) 和函数 \(y = |kx^2 - 2x|\) 两个函数的图象交点有 \(4\) 个，求 \(k\) 的取值范围」。

但这两个图象画起来较为复杂，这里提供一种更简单的思路。

同样考虑将 \(g(x) = 0\) 转化为 \(f(x) = |kx^2 - 2x|\)，转化为两函数交点，但发现这两个函数两边都有公因式 \(x\)，所以考虑两边同时除以 \(x\)。同时发现由于右边函数带有绝对值，所以需要分类讨论，为了防止分类讨论可以左右两边直接同时除以 \(|x|\)。

由于两边同时除以 \(|x|\) 必须保证 \(x \ne 0\)，所以需要分类讨论 \(x = 0\) 的情况。

当 \(x = 0\) 时，\(g(0) = f(0) - 0 = 0\)，所以 \(x = 0\) 是 \(g(x)\) 的零点。

所以当 \(x \ne 0\) 时，\(g(x)\) 有三个零点。

那么有：

\[\begin{aligned} & g(x) = 0\\ \iff & \dfrac{f(x)}{|x|} = \dfrac{|kx^2 - 2x|}{|x|}\\ \iff & \begin{cases}x^2,x>0\\1,x<0\end{cases} = |kx - 2|\\ \end{aligned} \]

所以只需要画出 \(F(x) = \begin{cases}x^2,x > 0\\1,x<0\end{cases}\) 和 \(G(x) = |kx - 2|\) 的图象，然后判断何时两图像有四个交点即可。

\(F(x)\) 的图象绘制如下：

对于 \(G(x)\)，需要分类讨论 \(k = 0\) 和 \(k \ne 0\) 的情况：

当 \(k = 0\) 时，\(G(x) = 2\)，对应图象不可能与 \(F(x)\) 的图象有三个交点，舍去。

当 \(k \ne 0\) 时 ，\(G(x)\) 的图象如下：

其中图象与 \(x\) 轴交点是 \(\left(\dfrac 2 k,0\right)\)，分类讨论：

当 \(\dfrac 2 k > 0\) 即 \(k > 0\) 时，由于 \(G(x)\) 经过定点 \((0,2)\)，所以在 \(y\) 轴左侧无交点，同时 \(G(x)\) 的左半部分只与 \(F(x)\) 有一个交点，所以右半部分要与 \(F(x)\) 有两个交点。联立 \(y = x^2\) 和 \(y = kx-2\) 得到 \(x^2 - kx + 2 = 0\)，则该方程的 \(\Delta = k^2 - 8 > 0\)，可得到 \(k > 2\sqrt 2\)。

如图所示：

当 \(\dfrac 2 k < 0\) 即 \(k < 0\) 时，此时 \(G(x)\) 在 \(y\) 轴左侧与 \(F(x)\) 有两个交点，右侧与 \(F(x)\) 抛物线部分有一个交点。

如图所示：

综上所述，\(k\) 的取值范围时 \((-\infty,0) \cup \left(2\sqrt 2 ,+\infty\right)\)。

技巧&总结：

拿到零点问题，不要着急直接画有关函数的图象，可以先观察对应函数是否能变形，尽可能变形出一个最简、最容易画图象的函数，再用函数图象处理。

嵌套型零点问题

问题模型&求解思路

问题模型：给定一个函数，求嵌套型函数（例如 \(f(f(x))\) 与其他函数图象交点个数/给定交点个数求某参数取值范围/求某嵌套型方程（例如 \(f(f(x)) = a\)）的零点个数。

求解思路：考虑将对应嵌套型函数（方程）拆成多个函数（方程），从内到外先考虑内层函数再依次考虑外层函数，分别研究每个方程各自解的情况。注意：在研究外层函数时，可能还需要研究某个内层函数对应的范围。

例题

例 1：已知函数 \(f(x) = \begin{cases}|4^x - 1|,x < 1\\ \dfrac 6 {x+1} ,x \ge 1\end{cases}\)，若方程 \(f(f(x)) = a\) 恰有 \(5\) 个不同的实数根，则实数 \(a\) 的取值范围是什么。

求解：

令 \(f(x) = t\)，则 \(f(t) = a\)，考虑将两个方程分别考虑。

对于 \(f(x) = t\)：考虑绘制 \(f(t)\) 的图象，则其与水平直线 \(y = t\) 的交点个数即为零点个数。

\(f(t)\) 的图象如下：

原函数经过点 \((1,3)\)。

将 \(y = t\) 上下平移可知：

• 当 \(t > 3\)，对标 \(0\) 个 \(x\)。
• 当 \(t = 3\)，对标 \(1\) 个 \(x\)。
• 当 \(1 \le t < 3\)，对标 \(2\) 个 \(x\)。
• 当 \(0 < t < 1\)，对标 \(1\) 个 \(x\)。
• 当 \(t < 0\)，对标 \(0\) 个 \(x\)。

再分析 \(f(t) = a\)，此方程分析方法与上述相同，如下：

• 当 \(a < 0\) 或 \(a > 3\)，对标 \(0\) 个 \(t\)，此时对应 \(0\) 个 \(x\)，舍去。

• 当 \(a = 0\) 或 \(a = 3\)，对标 \(1\) 个 \(t\)，此时最多对应 \(3\) 个 \(x\)，即最多 \(3\) 个实数根，与 \(5\) 个实数根相悖，舍去。

• 当 \(1 \le a <3\)，对标 \(2\) 个 \(t\)，那么唯一的可能是 \(1 \le t_1 < 3\)，\(0 < t_2 < 1\)，\(t_1\) 对标 \(2\) 个 \(x\)，\(t_2\) 对标 \(3\) 个 \(x\)。

  对于 \(1 \le t_1 < 3\)，由于原函数经过 \(\left(3,\dfrac 3 2\right)\)，且原函数在 \([1,3)\) 这个定义域上递减，所以 \(\dfrac 3 2 < a \le 3\)。

  对于 \(0 < t_2 < 1\)，此时 \(0 <a < 3\)。

  综上所述，此时 \(a\) 的范围是 \(\dfrac 3 2 < a < 3\)。

• 当 \(0 < a < 1\)，对标 \(3\) 个 \(t\)，这 \(3\) 个 \(t\) 需要对标到 \(5\) 个 \(x\)。考虑绘图求解：

  

  如图所示，可以发现 \(t_1\) 一定 \(<0\)，所以 \(t_1\) 对标 \(0\) 个 \(x\)，所以 \(t_2\) 和 \(t_3\) 合起来对标 \(5\) 个 \(x\)，与上一种情况同理，此时算得 \(\dfrac 3 2 < a < 3\)，与 \(0 < a < 1\) 交集为空，所以舍去。

  这里也可以通过找图中 \(t_2\) 和 \(t_3\) 的范围，即 \(0 < t_2 < \dfrac 1 2\)，对标 \(3\) 个 \(x\)，\(t_3 > 5\)，对标 \(0\) 个 \(x\)，不符合 \(5\) 个 \(x\)，舍去。

综上所述，\(a\) 的取值范围是 \(\left(\dfrac 3 2,3 \right)\)。

技巧&总结：

对于嵌套型方程 \(f(f(x)) = a\)，可以先令 \(f(x) = t\)，从而将原方程拆分为 \(f(x) = t\) 和 \(f(t) = a\) 两个方程，先考虑 \(f(x) = t\) 对应所有 \(t\) 的取值范围下 \(x\) 的解的个数，然后再考虑 \(f(t) = a\)。

注意此时不仅要考虑 \(a\) 的取值范围下对应 \(t\) 的个数，还需要考虑每个 \(t\) 的范围：

• 当 \(t\) 的组合方式唯一时（例如上述分析过程中 \(1 \le a < 3\) 的情况）可以先找到 \(t\) 的范围，再利用图象等方法求出 \(a\) 的范围；
• 当 \(t\) 的组合方式较多时（例如上述分析过程中 \(0 < a < 1\) 的情况）可以先根据 \(a\) 的范围找到每个 \(t\) 的范围，再将其对标到 \(x\)。

---

例 2：已知函数 \(f(x) = \begin{cases}e^x,x<0\\ 4x^3 - 6x^2 + 1,x \ge 0\end{cases}\)，其中 \(e\) 为自然对数的底数，则对于函数 \(g(x) = [f(x)]^2 - f(x) + a\) 有下列四个命题：

命题 1：存在实数 \(a\) 使得函数 \(g(x)\) 没有零点。

命题 2：存在实数 \(a\) 使得函数 \(g(x)\) 有 \(2\) 个零点。

命题 3：存在实数 \(a\) 使得函数 \(g(x)\) 有 \(4\) 个零点。

命题 4：存在实数 \(a\) 使得函数 \(g(x)\) 有 \(6\) 个零点。

---

分析：

令 \(f(x) = t\)，则 \(g(x) = t^2 - t + a\)。

对 \(f(x)\) 进行单调性分析可知，当 \(x < 0\) 时，\(f(x)\) 单调递增；当 \(0 < x \le 1\) 时，\(f(x)\) 单调递减；当 \(x > 1\) 时，\(f(x)\) 单调递增。同时函数经过 \((0,1),(1,-1)\)。绘制函数图象如下：

对 \(t\) 的范围分类讨论如下：

• 当 \(t > 1\) 时，对标 \(1\) 个 \(x\)。
• 当 \(t = 1\) 时，对标 \(2\) 个 \(x\)。
• 当 \(0 < t < 1\) 时，对标 \(3\) 个 \(x\)。
• 当 \(-1 < t \le 0\) 时，对标 \(2\) 个 \(x\)。
• 当 \(t = -1\) 时，对标 \(1\) 个 \(x\)。
• 当 \(t < -1\) 时，对标 \(0\) 个 \(x\)。

再求函数 \(t^2 - t + a=0\) 的解的个数。

由于 \(\Delta = 1 - 4a\)，所以可以分类讨论：

• 当 \(\Delta < 0\) 即 \(a > \dfrac 1 4\) 时，对标 \(0\) 个 \(t\)，\(g(x)\) 无零点。
• 当 \(\Delta = 0\) 即 \(a = \dfrac 1 4\) 时，\(t= \dfrac 1 2\)，\(g(x)\) 有 \(3\) 个零点。
• 当 \(\Delta > 0\) 即 \(a < \dfrac 1 4\) 时，\(t^2 - t + a =0\) 有 \(2\) 个解 \(t_1,t_2\)。

根据上述分析，可判断题目对应命题：

命题 1：当 \(a > \dfrac 1 4\) 时正确。

命题 2：唯一可能出现 \(2\) 个零点的在 \(a < \dfrac 1 4\) 的情况里。此时，根据韦达定理 \(t_1 + t_2 = 1,t_1t_2 = a\)。此时可以让 \(t_1 > 1,t_2 =-1\) 分别对应 \(1\) 个 \(x\)（例如 \(t_1 = -1,t_2 = 2\)），从而使得 \(g(x)\) 有两个零点，命题 2 正确。

命题 3：可以令 \(t_1 = 1,t_2 = 0\)，分别对标 \(2\) 个 \(x\)，此时 \(a = 0\)，命题 3 正确。

命题 4：可以令 \(t_1 = \dfrac 1 3,t_2 = \dfrac 2 3\)（注意不能让两个都为 \(\dfrac 1 2\)，因为 \(t_1,t_2\) 是不相等的实数根），此时 \(a = \dfrac 2 9\)，命题 4 正确。

新定义问题

解题要点

1. 理解：理解题目中「新定义」的具体含义。
2. 翻译：一般情况下，需要根据题目中已知的例子将抽象的定义翻译的更加具体。
3. 转化：将题目中给定的定义转化为更利于解题的形式。

可以多观察题目中的例子，发现「新定义」与函数的某个性质之间的关系（比如值域），有利于解题。

例题

已知函数 \(y = f(x)\) 和 \(y = g(x)\) 的图象关于 \(y\) 轴对称，当函数 \(y = f(x)\) 和 \(y = g(x)\) 在区间 \([a,b]\) 上同时单调递增或同时单调递减时，把区间 \([a,b]\) 叫做函数 \(y = f(x)\) 的「不动区间」，若区间 \([1,2]\) 为函数 \(f(x) = |2^x + t|\) 的「不动区间」，则实数 \(t\) 的取值范围是什么。

求解：

由于 \(f(x)\) 与 \(g(x)\) 关于 \(y\) 轴对称，所以当 \(f(x)\) 和 \(g(x)\) 在 \([1,2]\) 上单增（单减）时，\(f(x)\) 在 \([-2,-1]\) 上单减（单增）。即 \(f(x)\) 在 \([1,2]\) 和 \([-2,-1]\) 上一增一减。

函数 \(f(x) = |2^x + t|\) 是由 \(f(x) = 2^x\) 变形得到，可根据 \(f(x) = 2^x\) 图象绘制 \(f(x) = |2^x + t|\) 的图象。

当 \(t > 0\) 时，其函数如下：

此时 \(f(x)\) 在 \(\mathrm{R}\) 上单调递增，无法满足在 \([-2,-1]\) 和 \([1,2]\) 上一增一减。

当 \(t < 0\) 时，其图象如下：

令 \(|2^x + t| = 0\)，解得 $ x= \log_2 (-t)$，所以在 \((-\infty,\log_2(-t)]\) 上 \(f(x)\) 单调递减，在 \((\log_2(-t),+\infty)\) 上 \(f(x)\) 单调递增。

要使得 \(f(x)\) 在 \([1,2]\) 和 \([-2,-1]\) 上一增一减，那么 \(-1 \le \log_2(-t) \le 1\)，解得 \(-2 \le t \le - \dfrac 1 2\)。所以 \(t\) 的取值范围是 \(\left[-2,-\dfrac 1 2\right]\)。

关键：将 \(f(x)\) 和 \(g(x)\) 的增减性转化到同一个函数的增减性上，会使得题目更简单。