中值定理辅助函数构造全攻略：从基础到竞赛级深度解析

题目：设 f(x) 在 [0,1] 上连续，在 (0,1) 内可导，且 f(1)=0。证明存在 ξ∈(0,1)，使得 f'(ξ) = -f(ξ)/ξ。

解析：

移项得：ξf'(ξ) + f(ξ) = 0。

观察左边，正是 (xf(x))' 的形式。

故构造 F(x) = xf(x)。

验证：F(0) = 0·f(0) = 0；F(1) = 1·f(1) = 0。由罗尔定理，存在 ξ∈(0,1) 使 F'(ξ)=0，即证。

题目：设 f(x), g(x) 在 [a,b] 上连续，在 (a,b) 内可导，且 g'(x)≠0。证明存在 ξ∈(a,b)，使得 frac{f(b)-f(a)}{g(b)-g(a)} = frac{f'(ξ)}{g'(ξ) - f'(ξ) ln g(ξ)} (假设g>0)。

解析：

此题较复杂，需逆向构造。将 ξ 换为 x，整理得：(f(b)-f(a))[g'(x) - f'(x)ln g(x)] = [g(b)-g(a)]f'(x)。

这种形式直接观察较难，建议尝试构造 F(x) = f(x) - k cdot g(x) ln g(x) 或类似形式，但在考试中，更常见的技巧是将等式变形为：frac{f'(ξ)}{f(b)-f(a)} = frac{g'(ξ) - f'(ξ)ln g(ξ)}{g(b)-g(a)}，这提示我们需要寻找一个函数，其导数包含 g' - f' ln g 这样的项，通常涉及 g(x)^{f(x)} 或类似复合结构，或者使用积分因子法处理 y' + (ln g)' y = 0 的结构。

注：此类题目核心在于识别出微分方程的结构，通常需结合积分因子 e^{int ln g dx} 或类似变换。

题目：设 f(x) 在 [0,1] 上二阶可导，且 f(0)=f(1)=0，最小值为 -1。证明存在 ξ∈(0,1)，使得 |f''(ξ)| ≥ 4。

解析：

此类不等式证明，常结合泰勒公式或极值原理。若设最小值点为 c，f(c)=-1。在 c 点展开 f(0) 和 f(1)：

f(0) = f(c) + f'(c)(0-c) + f''(ξ1)/2 (0-c)^2

f(1) = f(c) + f'(c)(1-c) + f''(ξ2)/2 (1-c)^2

由于 f(0)=f(1)=0, f(c)=-1，且 f'(c)=0 (极值点)，可得：

0 = -1 + 0 + f''(ξ1)/2 c^2 => f''(ξ1) = 2/c^2

0 = -1 + 0 + f''(ξ2)/2 (1-c)^2 => f''(ξ2) = 2/(1-c)^2

取最大值，当 c=0.5 时，两者均为 8 ≥ 4。此题虽未直接构造单一辅助函数，但利用了泰勒展开的“隐性构造”思想。