多项式拟合法求中值定理-多项式拟合法求中值

在众多的数学证明技巧中，多项式拟合法以其灵动的几何直观和强大的代数威力著称。它巧妙地避开了直接处理复杂积分的繁琐计算，转而利用多项式的根与系数关系，将积分问题转化为多项式恒等式问题。这种方法不仅适用于实函数，在复函数及高阶多项式推广中依然沿用，是连接纯粹代数与连续性的经典范式。

核心概念与基本思路

该方法的核心逻辑在于利用“容斥原理”的逆向思维。我们首先构造一个次数为 $m$ 的多项式 $P(x)$，使得 $P(x)$ 在区间 $[a, b]$ 上与目标函数 $f(x)$ 在端点处值相等，即 $P(a) = P(b) = f(a) = f(b)$。由于 $P(x)$ 的次数为 $m$，由代数基本定理可知，$P(x) - f(x)$ 在闭区间 $[a, b]$ 内存在 $m+1$ 个根。这 $m+1$ 个根中必然包含区间 $[a, b]$ 内部的 $m+1$ 个点。由于这两项在端点值相同且次数不同，中间必然存在一个点 $c in (a, b)$，使得 $P(c) = f(c)$。此时，积分 $int_a^b f(x)dx$ 的值恰好等于 $P(c)$ 的值，而 $P(c)$ 的值为 $0$（若取 $P(x)=f(x)$）或 $P(a)$（若构造特殊形式），通过调整构造细节，可证明存在 $c$ 使得 $f(c)=f(a)$ 或 $f'(c)=0$ 等结论。

• 构造多项式：选取次数较低的多项式，使其在端点取值匹配原函数。
• 构造恒等式：利用代数基本定理，将多项式差值分解为线性因子。
• 推导中值点：通过零点分布确定满足条件的中间点 $c$。
• 积分转化：利用积分中值定理或黎曼和性质，将积分转化为多项式值。

以下将通过具体案例演示该方法如何优雅地解决看似复杂的问题。

案例一：证明存在 $c in (a, b)$，使得 $f(c) = f(a)$

设函数 $f(x)$ 在 $[0, 1]$ 上连续，目标证明存在 $c in (0, 1)$ 满足 $f(c) = f(0)$。构造多项式 $P(x) = (x - f(0))f(x)$，这是一个次数为 $n$ 的多项式。显然 $P(0) = 0$。若我们能证明存在 $c in (0, 1)$ 使得 $P(c) = 0$，则必有 $(c - f(0))f(c) = 0$，从而 $f(c) = 0$ 或 $c = f(0)$。若 $f(c)=0$ 则证毕；若 $c=f(0)$，则需调整构造。更经典的构造是构造 $Q(x) = f(x) - f(a)^m (x-a)^m$ 或利用拉格朗日插值多项式。经过严谨推导，可以构造出一个多项式 $P(x)$，其在 $[a, b]$ 上有 $m+1$ 个不同的根，其中必有一个根在开区间内，该根对应的函数值即为中值点。具体而言，构造 $P(x) = int_a^x f(t)dt - (x-a)(x-b)k$ 等变形均可，但最直观的构造是利用 $f(x)$ 自身的插值多项式 $L_n(x)$ 在区间端点回归到函数本身，从而 $L_n(x)=f(x)$，且 $L_n(x)$ 次数低，其在区间内有特定根分布，从而得出结论。

案例二：证明存在 $c in (a, b)$，使得 $f(c) = f(a)$ 或 $f(c) = f(b)$

这是多项式拟合法最经典的推广形式。设 $f(x)$ 在 $[a, b]$ 上连续。构造多项式 $P(x) = f(x) - f(a)$。显然 $P(a) = 0$。我们需要证明 $P(x)$ 在 $(a, b)$ 内存在零点。根据代数基本定理，$P(x)$ 的根与 $f(x)$ 的系数有关。若 $P(x)$ 的次数 $m$ 小于 $b-a$，则 $P(x)$ 在 $[a, b]$ 内必有 $m$ 个根。但这并非直接的中值定理。更准确的构造是利用 $f(x)$ 在 $[a, b]$ 上的积分性质。构造多项式 $G(x) = int_a^x f(t)dt$，这是 $f(x)$ 的不定积分（取下限为 $a$）。若 $f(x)$ 的周期为 $T$，则其积分增长有限，可通过构造周期多项式来逼近。对于一般连续函数，构造 $H(x) = int_a^x f(t)dt - C(x-a)$ 其中 $C(x-a)$ 是某个低次多项式。若取 $H(x)$ 次数足够低，则 $H(x)$ 在 $[a, b]$ 内必有根，即存在 $x$ 使得 $int_a^x f(t)dt = C(x-a)$。这通常用于证明平均值定理。若要直接证明 $f(c)=f(a)$，可构造 $P(x) = int_a^x (f(t) - f(a))dt$。由于 $f$ 连续，$P(a)=0$，且 $P'(x) = f(x) - f(a)$。若 $f(x)$ 有界，则 $int_a^b (f(x)-f(a))dx$ 有界。构造多项式 $Q(x)$ 使其逼近 $f(x)$ 并取特定形式，使得 $Q(b)-Q(a)=0$ 且 $Q'(c)=0$ 等。最直接的构造是构造 $P(x)$ 为 $f(x)$ 在区间上的插值多项式，其次数小于 $b-a$。若构造得法得当，根据代数基本定理，$P(x)-f(x)$ 在 $[a, b]$ 内有 $k$ 个根，分布均匀，从而确定 $c$ 点。

通过上述案例可以看出，多项式拟合法并非简单的技巧堆砌，而是基于代数基本定理的深刻洞察。它将连续函数的局部性质转化为低次多项式的代数性质，这种转化具有高度的通用性和推广性。