复合函数 $f(g(x))$ 的定义域：一套求解规则

复合函数的定义域问题是数学中的一个基础考点。它的求解并非简单地取外层函数或内层函数的定义域，而是受到内层函数的明确限制。理解并掌握以下规则，你就能快速、准确地解决这类问题。

1. 理解核心规则：双重限制

复合函数 $y = f(g(x))$ 的定义域，指的是使这个复合表达式有意义的 $x$ 的取值范围。它必须同时满足两个条件：

1. $x$ 必须使内层函数 $g(x)$ 有意义。即 $x$ 必须属于 $g(x)$ 自身的定义域，记为 $D_g$。
2. $g(x)$ 计算出的值，必须使外层函数 $f$ 有意义。即 $g(x)$ 必须属于 $f$ 的定义域，记为 $D_f$。

用集合的语言描述，复合函数 $f \circ g$ 的定义域 $D_{f \circ g}$ 是：
$$D_{f \circ g} = \{ x | x \in D_g \text{ 且 } g(x) \in D_f \}$$

简单来说，第一步是保证 $g(x)$ 本身能算，第二步是保证算出来的结果 $f$ 能接受。

2. 掌握操作步骤：四步求解法

遇到任何求复合函数定义域的问题，都遵循以下四个步骤。

1. 写出复合函数的结构。
   明确哪个是内层函数 $g(x)$，哪个是外层函数 $f(x)$。

2. 求解内层函数 $g(x)$ 的定义域。
   这是一个独立的函数，根据其自身形式（如分母不为零、偶次根号下非负等）求出 $x$ 的取值范围。这是第一步限制。

3. 建立核心不等式。
   根据外层函数 $f(x)$ 的定义域要求，让内层函数的输出 $g(x)$ 也满足这个要求。例如，如果外层函数是 $f(u) = \sqrt{u}$，那么你需要令 $g(x) \geq 0$。

4. 求解核心不等式并取交集。
   解出第三步中关于 $x$ 的不等式，得到一个新的 $x$ 取值范围。最后，将第二步得到的范围与第四步得到的范围取交集，这个交集就是复合函数 $f(g(x))$ 的最终定义域。

3. 应用与示例：从理论到实践

我们通过一个具体例子来完整应用上述步骤。

问题：求函数 $y = \sqrt{x^2 - 4}$ 的定义域。

1. 识别结构。
   这是一个复合函数。外层函数是 $f(u) = \sqrt{u}$，内层函数是 $g(x) = x^2 - 4$。

2. 求解内层函数 $g(x)$ 的定义域。
   $g(x) = x^2 - 4$ 是一个多项式函数，其定义域是全体实数。即 $D_g = \mathbb{R}$。

3. 建立核心不等式。
   外层函数 $f(u) = \sqrt{u}$ 要求其输入 $u \geq 0$。因此，必须满足内层函数的输出 $g(x) \geq 0$。
   即：$x^2 - 4 \geq 0$。

4. 求解核心不等式并取交集。
   解不等式 $x^2 - 4 \geq 0$：
   $$(x-2)(x+2) \geq 0$$
   解得 $x \leq -2$ 或 $x \geq 2$。
   将第 2 步的范围（$\mathbb{R}$）与这一步的范围取交集，结果不变。
   因此，$y = \sqrt{x^2 - 4}$ 的定义域是 $\{ x | x \leq -2 \text{ 或 } x \geq 2 \}$。

关键点：在第 3 步，你并不是直接去用外层函数 $f(x)$ 原来的表达式求解，而是用它的定义域规则（这里是“根号下大于等于0”）去约束内层函数 $g(x)$ 的输出。