2.1 核心思想#

给定条件：函数 $f(x)$（或涉及多个函数）在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 内可导，且满足某些特定条件（如端点值相等、函数值关系等）。

待证结论：存在一点 $\xi \in (a, b)$，使得某个关于 $f(\xi), f'(\xi), \dots$ 的等式 $F(\xi) = 0$ 成立。

构造函数法的基本逻辑路径：

1. 目标转化：将结论 $F(\xi)=0$ 视为某个辅助函数 $G(x)$ 的导数 $G'(x)$ 在点 $\xi$ 处的取值，即设法使 $G'(\xi) = F(\xi)$ 或 $G'(\xi)$ 与 $F(\xi)$ 仅相差一个非零因子。
2. 逆向构造：通过观察 $F(x)$ 的形式，联想基本的求导公式（如乘积求导、商求导、复合函数求导、指数函数求导等），逆向“猜”出原函数 $G(x)$。常用手段是“凑微分”或形式积分。
3. 验证条件：验证构造出的 $G(x)$ 在 $[a, b]$ 上连续，在 $(a, b)$ 内可导。最关键的是，利用题目给定的条件，验证 $G(x)$ 满足 罗尔定理 的前提：$G(a) = G(b)$。有时也直接验证其满足拉格朗日或柯西定理的条件。
4. 应用定理：对 $G(x)$ 应用中值定理（主要是罗尔定理），得到存在 $\xi \in (a, b)$，使得 $G'(\xi)=0$。结合 $G'(x)$ 与 $F(x)$ 的关系，即推出 $F(\xi)=0$，证毕。

2.2 为何常归于罗尔定理？#

因为罗尔定理的条件 $G(a)=G(b)$ 相对明确，且结论 $G'(\xi)=0$ 直接给出了导数为零的点，这与许多待证结论 $F(\xi)=0$ 的形式完美契合。因此，构造函数法的首要目标往往是构造出一个满足 $G(a)=G(b)$ 的函数 $G(x)$。

3.1 模式一：线性组合型 $f'(x) + p(x)f(x)$#

结论特征：存在 $\xi \in (a, b)$，使得 $f'(\xi) + p(\xi)f(\xi) = 0$ 或 $= k$（常数）。

构造原理：观察形式 $f' + p f$，这正是乘积求导公式 $(u \cdot v)' = u'v + uv'$ 的一部分。若令 $v = f(x)$，我们希望 $u' = p(x) u$。这是一个简单的微分方程，其解为 $u(x) = e^{\int p(x) \, dx}$（忽略常数因子，因其不影响导数零点）。

辅助函数：

验证：

因此，$G'(\xi)=0$ 当且仅当 $f'(\xi) + p(\xi)f(\xi)=0$。题目条件通常保证 $G(a)=G(b)$（例如 $f(a)=f(b)=0$，或通过选择积分常数调整端点值）。

例 1：设 $f(x)$ 在 $[0, 1]$ 上连续，在 $(0, 1)$ 内可导，且 $f(0)=0$，$f(1)=1$。证明：存在 $\xi \in (0, 1)$，使得 $f'(\xi) = 2\xi f(\xi)$。

证明：结论等价于 $f'(\xi) - 2\xi f(\xi) = 0$。这里 $p(x) = -2x$。构造辅助函数：

$ G(x) = f(x) \cdot e^{\int (-2x) , dx} = f(x) \cdot e^{-x^2}

$则$G(x)$在$[0,1]$上连续，在$(0,1)$内可导。计算端点值：$G(0)=f(0)e^0=0$，$G(1)=f(1)e^{-1}=e^{-1} \neq 0$。$G(a) \neq G(b)$，无法直接应用罗尔定理。

修正：观察结论 $f'(\xi) = 2\xi f(\xi)$，可改写为 $\frac{f'(\xi)}{f(\xi)} = 2\xi$（需注意 $f(\xi)$ 可能为0）。题目条件 $f(0)=0, f(1)=1$，不能保证 $f(x)$ 在 $(0,1)$ 内恒不为零。因此，上述标准构造可能失效。需重新审视题目或考虑其他构造。实际上，这是一个经典题型，通常需要构造 $G(x)=f(x)e^{-x^2}$，并利用 $f(0)=0$ 和 $f(1)=1$ 结合积分中值定理或零点定理来创造另一个等值点。但作为示例，此处展示标准思路遇到边界情况时的思考。更常见的条件是 $f(0)=f(1)=0$，则 $G(0)=G(1)=0$ 可直接应用罗尔定理。

3.2 模式二：比值或差商型（柯西定理思想）#

结论特征：存在 $\xi \in (a, b)$，使得 $\dfrac{f'(\xi)}{g'(\xi)} = k$（常数），或更一般地，涉及 $\frac{f(b)-f(a)}{g(b)-g(a)}$ 与导数比值的关系。

构造原理：将结论变形为 $f'(\xi) - k g'(\xi) = 0$，即 $[f(x) - k g(x)]'|_{x=\xi} = 0$。这提示我们构造一个线性组合函数。

辅助函数：

其中常数 $k$ 需要根据题目条件确定，以确保 $G(a)=G(b)$。这正是柯西中值定理证明中的关键构造（取 $k = \frac{f(b)-f(a)}{g(b)-g(a)}$）。

例 2（拉格朗日中值定理的证明）：设 $f(x)$ 在 $[a, b]$ 上连续，在 $(a, b)$ 内可导，证明存在 $\xi \in (a, b)$，使得 $f'(\xi) = \frac{f(b)-f(a)}{b-a}$。

证明：取 $g(x)=x$，则 $g'(x)=1 \neq 0$。令 $k = \frac{f(b)-f(a)}{b-a}$。构造辅助函数：

$ G(x) = f(x) - k \cdot (x-a) = f(x) - \frac{f(b)-f(a)}{b-a}(x-a)

$易验证$G(a)=f(a)$，$G(b)=f(b) - \frac{f(b)-f(a)}{b-a}(b-a) = f(a)$，故$G(a)=G(b)$。对$G(x)$应用罗尔定理，即得存在$\xi \in (a,b)$使$G’(\xi)=0$，亦即$f’(\xi) = k = \frac{f(b)-f(a)}{b-a}$。

3.3 模式三：乘积或商函数型#

结论特征：涉及两个函数及其导数的组合，如 $f'(\xi)g(\xi) + f(\xi)g'(\xi) = 0$，或 $\frac{f'(\xi)}{g(\xi)} - \frac{f(\xi)g'(\xi)}{[g(\xi)]^2} = 0$ 等。

构造原理：直接对应基本的求导法则。

• 若结论形如 $f'(\xi)g(\xi) + f(\xi)g'(\xi) = 0$，即 $(f \cdot g)'(\xi)=0$，则辅助函数为 $G(x)=f(x)g(x)$。
• 若结论形如 $f'(\xi)g(\xi) - f(\xi)g'(\xi) = 0$，即 $\left( \frac{f}{g} \right)'(\xi)=0$（假设 $g(\xi)\neq 0$），则辅助函数为 $G(x)=\frac{f(x)}{g(x)}$。

辅助函数：根据结论形式，直接取 $G(x)$ 为相应的乘积或商。

例 3：设 $f(x), g(x)$ 在 $[a, b]$ 上连续，在 $(a, b)$ 内可导，且 $g'(x) \neq 0$。证明存在 $\xi \in (a, b)$，使得 $\frac{f'(\xi)}{g'(\xi)} = \frac{f(\xi)-f(a)}{g(b)-g(\xi)}$。

证明：将结论交叉相乘并移项：

$ f’(\xi)[g(b)-g(\xi)] - g’(\xi)[f(\xi)-f(a)] = 0

$观察左边，它很像函数$H(x) = [f(x)-f(a)][g(b)-g(x)]$的导数（验证：$H’(x)=f’(x)[g(b)-g(x)] - g’(x)[f(x)-f(a)]$）。因此，构造辅助函数：

$ G(x) = [f(x)-f(a)][g(b)-g(x)]

$则$G(x)$在$[a,b]$上连续，在$(a,b)$内可导。且$G(a)=[f(a)-f(a)][g(b)-g(a)]=0$，$G(b)=[f(b)-f(a)][g(b)-g(b)]=0$。故$G(a)=G(b)$。由罗尔定理，存在$\xi \in (a,b)$使$G’(\xi)=0$，即得所证等式。

3.4 模式四：含特定因子或对称型#

结论特征：结论等式中含有 $(x-a)$、$(b-x)$、$(x-\xi)$ 等因子，或具有某种对称性。

构造原理：这类问题往往需要构造一个包含这些因子的函数，以便求导后能产生目标结构。常用技巧包括：

• 引入差值：如待证 $f'(\xi) = \frac{f(\xi)-f(a)}{\xi-a}$，可考虑构造 $G(x) = (x-a)[f(x)-f(a)]$ 或与之相关的函数。
• 利用对称性：对于区间 $[a,b]$，有时构造 $G(x) = f(x) - f(a+b-x)$，利用对称性得到 $G(a)=G(\frac{a+b}{2})=G(b)$ 等条件。
• 常数变易法：在拉格朗日定理的构造 $f(x) - kx$ 中，将 $kx$ 替换为更一般的线性函数 $kx + c$，通过选择 $c$ 来满足端点条件。

例 4：设 $f(x)$ 在 $[a, b]$ 上连续，在 $(a, b)$ 内可导，且 $f(a)=f(b)=0$。证明：存在 $\xi \in (a, b)$，使得 $f'(\xi) + f(\xi) = 0$。

证明：此为模式一的特例，$p(x) \equiv 1$。构造 $G(x)=f(x)e^{x}$。则 $G'(x)=e^x[f'(x)+f(x)]$，且 $G(a)=f(a)e^a=0$，$G(b)=f(b)e^b=0$。由罗尔定理即证。

3.5 模式五：高阶导数与多次应用#

结论特征：证明存在 $\xi$，使得 $f^{(n)}(\xi)=0$，或涉及高阶导数的等式。

构造原理：通常需要多次（迭代）应用罗尔定理。构造函数不一定需要显式的新形式，而是对原函数或其低阶导数反复应用中值定理。

• 若 $f(a)=f(b)$，则存在 $\xi_1 \in (a,b)$ 使 $f'(\xi_1)=0$。
• 若还有 $f'(a)=f'(b)$（或 $f'(a)=0, f'(b)=0$），则可对 $f'(x)$ 在适当区间上再次应用罗尔定理，得到 $f''(\xi_2)=0$。
• 依此类推，直到达到目标阶数。

有时，题目条件隐含了某个高阶导函数的端点值关系，需要构造一个“降阶”的辅助函数来启动这个过程。

例 5：设 $f(x)$ 在 $[0,1]$ 上三阶可导，且 $f(0)=f(1)=0$。令 $F(x)=x^3 f(x)$，证明：存在 $\xi \in (0,1)$，使得 $F'''(\xi)=0$。

分析：直接计算 $F'''$ 过于复杂。注意到 $F(0)=0 \cdot f(0)=0$，$F(1)=1^3 \cdot f(1)=0$。故由罗尔定理，存在 $\eta_1 \in (0,1)$ 使 $F'(\eta_1)=0$。

又 $F'(x)=3x^2 f(x) + x^3 f'(x)$，不能直接得到 $F'(0)=F'(1)=0$。但我们可以尝试对 $F'(x)$ 应用罗尔定理，需要找到两个点使其值相等。这通常需要更细致的分析或利用 $f(x)$ 的条件。此例展示了高阶问题中，构造函数法可能需与迭代应用中值定理结合。

5.1 构造函数法的心法#

1. 熟记模型：掌握本文总结的几种基本模式（线性组合、比值、乘积商、含因子型），看到类似结构能迅速反应。
2. 逆向求导：将待证等式尽量化为 $[G(x)]'|_{x=\xi} = 0$ 的形式，然后反推 $G(x)$。
3. 端点匹配：构造出 $G(x)$ 后，立即检查 $G(a)$ 与 $G(b)$（或需要相等的两个端点）是否可能相等。若不等，思考能否通过调整常数项、乘一个非零因子或选择其他点来创造等值条件。
4. 多函数处理：当涉及两个以上函数时，考虑将其组合（如做差、相除、相乘）成一个新函数，再对新函数应用中值定理。
5. 迭代与高阶：对于高阶导数问题，要有“逐阶下降”的意识，可能需要对原函数或辅助函数多次应用中值定理。

5.2 能力拓展#

构造函数法不仅是技巧，更体现了 化归与转化 的数学思想。在更高级的数学课程（如数学分析、常微分方程）中，这种通过构造辅助函数（或辅助方程）来证明存在性的方法无处不在。建议学有余力的同学：

• 研读《数学分析中的典型问题与方法》（裴礼文）中有关微分中值定理的章节。
• 练习全国大学生数学竞赛（CMC）历年真题中的证明题。
• 探索微分中值定理在不等式证明、函数零点估计等方面的应用。