MATH-CAL-02 复合函数与反函数

数学一

高等数学

复合函数与反函数

---

一、定位信息

• 圈层：核心层
• 前置知识回顾：需掌握函数的基本概念（定义域、值域、对应法则），基本初等函数的图像与性质，以及函数的单调性。
• 知识网络定位：复合函数是极限计算中换元法、链式求导法则的基础；反函数是理解反三角函数、反函数求导的前提。本单元上承函数概念，下启极限与导数。
• 考点热度等级：M级（中频常考）——复合函数的分解与构造是隐性高频考点，反函数直接考查较少但常与其他知识结合。

---

二、知识点讲解

2.1 复合函数

定义：设函数 $y = f(u)$ 的定义域为 $D_f$，函数 $u = g(x)$ 的值域为 $R_g$。若 $D_f \cap R_g \neq \varnothing$，则称 $y = f[g(x)]$ 为由 $y = f(u)$ 和 $u = g(x)$ 复合而成的复合函数，$u$ 称为中间变量。

直观解释：复合函数就是"函数的函数"——先用 $g$ 把 $x$ 加工成 $u$，再用 $f$ 把 $u$ 加工成 $y$。就像流水线上的两道工序，关键是第一道工序的产出（$g$ 的值域）必须是第二道工序能接受的原料（$f$ 的定义域的一部分）。

复合条件：$R_g \cap D_f \neq \varnothing$，即内层函数的值域与外层函数的定义域有交集。若没有交集，则不能复合。

例子：

• 设 $f(u) = \sqrt{u}$，$g(x) = 1 - x^2$，则 $f[g(x)] = \sqrt{1 - x^2}$，定义域为 $[-1, 1]$（需同时满足 $1 - x^2 \geq 0$）。
• 设 $f(u) = \ln u$，$g(x) = -x^2$，则 $R_g = (-\infty, 0]$，$D_f = (0, +\infty)$，$R_g \cap D_f = \varnothing$，不能复合。

复合函数的分解：将一个复杂函数拆解为若干简单函数的复合，是微积分中的核心技能。分解方法为"由外向内，逐层剥离"。

例如：$y = e^{\sin(x^2)}$ 可分解为 $y = e^u$，$u = \sin v$，$v = x^2$（三层复合）。

2.2 反函数

定义：设函数 $y = f(x)$ 的定义域为 $D$，值域为 $R_f$。若对 $R_f$ 中的每一个 $y$，在 $D$ 中都有唯一确定的 $x$ 满足 $f(x) = y$，则由此对应关系确定的函数 $x = f^{-1}(y)$（通常改写为 $y = f^{-1}(x)$）称为 $f(x)$ 的反函数。

存在条件：$f(x)$ 在其定义域上必须是一一对应（单射）的。充分条件是 $f(x)$ 在定义域上严格单调。

性质：

1. $f$ 与 $f^{-1}$ 互为反函数：$f[f^{-1}(x)] = x$，$f^{-1}[f(x)] = x$
2. $f$ 的定义域 = $f^{-1}$ 的值域，$f$ 的值域 = $f^{-1}$ 的定义域
3. 图像关系：$y = f(x)$ 与 $y = f^{-1}(x)$ 的图像关于直线 $y = x$ 对称
4. 单调性：严格单调递增（递减）函数的反函数也严格单调递增（递减）

例子：

• $y = e^x$（严格递增）→ 反函数 $y = \ln x$
• $y = x^2$（在 $[0, +\infty)$ 上严格递增）→ 反函数 $y = \sqrt{x}$

2.3 分段函数的反函数

分段函数求反函数需逐段分别求反函数，同时注意各段的定义域和值域的对应。

例子：求 $y = \begin{cases} x - 1, & x < 0 \ x^2, & x \geq 0 \end{cases}$ 的反函数。

• 当 $x < 0$ 时，$y = x - 1 < -1$，反解得 $x = y + 1$，对应 $y < -1$
• 当 $x \geq 0$ 时，$y = x^2 \geq 0$，反解得 $x = \sqrt{y}$，对应 $y \geq 0$

反函数为 $y = \begin{cases} x + 1, & x < -1 \ \sqrt{x}, & x \geq 0 \end{cases}$

注意：原函数值域中 $[-1, 0)$ 之间没有函数值，所以反函数在 $[-1, 0)$ 上无定义。

---

三、记忆与理解辅助

技巧1：复合函数分解口诀——"剥洋葱法" 从最外层函数开始，一层一层向内剥离，每次识别出"最外层函数"和"内层整体"，直到最内层是基本初等函数或多项式。例如 $y = \sin^2(\ln x)$：最外层是 $y = u^2$，中间层 $u = \sin v$，最内层 $v = \ln x$。

技巧2：反函数存在的直观判别 "画水平线检验"——在函数图像上任意画一条水平线（$y = c$），如果每条水平线最多与图像交于一点，则反函数存在（水平线检验法）。这是严格的数学判据——函数是单射的几何直观。

技巧3：复合与反函数的对比记忆

对比项	复合函数 $f[g(x)]$	反函数 $f^{-1}(x)$
本质	函数的"串联"	函数的"逆运算"
存在条件	$R_g \cap D_f \neq \varnothing$	$f$ 为单射（严格单调）
定义域	$\{x \mid x \in D_g, g(x) \in D_f\}$	原函数的值域
值域	$f$ 在 $g$ 值域上的像	原函数的定义域
图像变换	无简单几何关系	关于 $y = x$ 对称

技巧4：反函数与原函数的"互换"关系$f^{-1}(f(x)) = x$（先 $f$ 再 $f^{-1}$，回到原点） $f(f^{-1}(x)) = x$（先 $f^{-1}$ 再 $f$，回到原点） 这两个恒等式是验证反函数正确性的标准方法。

---

四、例题与精解

例题1（基础巩固）

命题意图：考查复合函数的定义域求法。

题目：设 $f(x)$ 的定义域为 $[0, 1]$，求 $f(x + a) + f(x - a)$（$a > 0$）的定义域。

审题分析：

• $f$ 的定义域为 $[0, 1]$，所以 $f$ 的"括号内"必须在 $[0, 1]$ 范围内
• 需要同时满足 $x + a \in [0, 1]$ 和 $x - a \in [0, 1]$

解题思路：列出两个复合函数各自的定义域限制，取交集。

完整步骤：

由 $f(x + a)$ 有意义，需 $0 \leq x + a \leq 1$，即 $-a \leq x \leq 1 - a$

由 $f(x - a)$ 有意义，需 $0 \leq x - a \leq 1$，即 $a \leq x \leq 1 + a$

取交集：$-a \leq x \leq 1 - a$ 且 $a \leq x \leq 1 + a$

即 $a \leq x \leq 1 - a$

此不等式有解的条件是 $a \leq 1 - a$，即 $a \leq \dfrac{1}{2}$。

• 当 $0 < a < \dfrac{1}{2}$ 时，定义域为 $[a, 1-a]$
• 当 $a = \dfrac{1}{2}$ 时，定义域为 $\left\{\dfrac{1}{2}\right\}$
• 当 $a > \dfrac{1}{2}$ 时，定义域为空集，函数无意义

方法反思：复合函数定义域的核心原则是"外层函数对内层整体的约束"。求 $f[g(x)]$ 的定义域，就是求满足 $g(x) \in D_f$ 的 $x$ 的集合。多个复合函数的和或差，定义域取各部分的交集。

---

例题2（中等提升）

命题意图：考查复合函数的构造与分解。

题目：已知 $f(x) = e^x$，$f[g(x)] = 1 - x$，且 $g(x) \geq 0$，求 $g(x)$ 的表达式及其定义域。

审题分析：

• 已知 $f$ 的表达式和 $f[g(x)]$ 的表达式
• 需要反解出 $g(x)$
• 注意 $g(x) \geq 0$ 的约束

解题思路：由 $f[g(x)] = e^{g(x)} = 1 - x$，解出 $g(x)$，再考虑定义域。

完整步骤：

由 $f(x) = e^x$，得 $f[g(x)] = e^{g(x)}$

又 $f[g(x)] = 1 - x$，故 $e^{g(x)} = 1 - x$

两边取对数：$g(x) = \ln(1 - x)$

确定定义域：需要满足：

1. $\ln(1 - x)$ 有意义：$1 - x > 0$，即 $x < 1$
2. $g(x) \geq 0$：$\ln(1 - x) \geq 0$，即 $1 - x \geq 1$，即 $x \leq 0$

取交集：$x \leq 0$

故 $g(x) = \ln(1 - x)$，定义域为 $(-\infty, 0]$。

方法反思：已知复合函数反求内层函数，本质是利用外层函数的反函数。$f[g(x)] = h(x) \Rightarrow g(x) = f^{-1}[h(x)]$。但必须注意定义域的限制——不仅要 $f^{-1}$ 有意义，还要满足题目给定的额外条件。

---

五、考情分析

• 考查频次：近5年直接考查复合函数与反函数约3–4次
• 常见题型：选择题（判断复合函数性质）、填空题（求反函数或复合函数表达式）、解答题（与求导、积分结合）
• 分值占比：直接考查约占高数部分的3%–5%
• 命题趋势：复合函数常与求极限、求导数结合考查（如利用复合函数求极限的换元法）；反函数常与反函数求导公式结合。单独命题较少，但作为工具性知识渗透极深。

注：以上考情数据基于大纲与命题规律推测，待真题分析子代理产出《命题权重矩阵》后校准。

---

六、易错点提醒

易错点1：忽略复合函数的定义域变化

• 错误表现：认为 $f(x) = \sqrt{x}$ 的定义域是 $[0, +\infty)$，所以 $f(x^2)$ 的定义域也是 $[0, +\infty)$
• 错误原因：没有正确应用"内层函数的值域 ⊆ 外层函数定义域"的原则
• 正确做法：$f(x^2)$ 的定义域需满足 $x^2 \geq 0$，即 $x \in \mathbb{R}$。注意这里是 $x^2 \geq 0$ 对所有实数成立，不是 $x \geq 0$

易错点2：求反函数时忘记改变定义域

• 错误表现：求 $y = e^x$ 的反函数写成 $y = \ln x, x \in \mathbb{R}$
• 错误原因：反函数的定义域是原函数的值域，不是原函数的定义域
• 正确做法：$y = e^x$ 的值域为 $(0, +\infty)$，所以反函数 $y = \ln x$ 的定义域为 $(0, +\infty)$

易错点3：分段函数求反函数时忽略值域的"空隙"

• 错误表现：分段函数求反函数时，将各段反函数的定义域简单拼接
• 错误原因：忽略原函数值域中可能存在的"空隙"，导致反函数定义域出错
• 正确做法：先求出原函数各段的值域，反函数各段的定义域由原函数各段的值域决定，原函数值域的空隙就是反函数定义域的空隙

易错点4：将 $f^{-1}(x)$ 误解为 $\dfrac{1}{f(x)}$

• 错误表现：将反函数 $f^{-1}(x)$ 理解为 $f(x)$ 的倒数
• 错误原因：符号混淆。$f^{-1}$ 是反函数的专用记号，$\dfrac{1}{f(x)} = [f(x)]^{-1}$ 是倒数
• 正确做法：$f^{-1}(x)$ 表示反函数，$[f(x)]^{-1} = \dfrac{1}{f(x)}$ 表示倒数，两者完全不同

---

七、来源标注

• 依据2026考研数学一统考大纲
• 依据大学本科经典教材共识（同济大学《高等数学》第七版）