考研数学二第12题｜定积分应用深度解析

▶ 验证2：区间分割对称性分析

将区间 $ [0,2] $ 分为 $ [0,1] $ 与 $ [1,2] $，设：

若假设 $ f(x) $ 关于 $ x=1 $ 对称，即 $ f(1+t) + f(1-t) = 2k $（常数），则：

但题干未给对称性条件，故此假设不成立。然而，结合 $ f(0)=1 $, $ f(2)=3 $，发现 $ frac{f(0)+f(2)}{2} = 2 $，提示中点 $ x=1 $ 可能为“加权平均点”。进一步计算：

尝试构造满足条件的函数：设 $ f(x) = ax^2 + bx + c $，则：

发现矛盾说明：满足所有条件的函数并非二次函数，需考虑更高阶函数或分段函数。但题干要求 $ f'(x) $ 连续，排除分段可能。此时需引入关键洞察：

▶ 验证3：函数线性性证明（核心突破）

设 $ g(x) = f(x)
- (x + 1) $，则：

• $ g(0) = f(0)
  - 1 = 0 $
• $ g(2) = f(2)
  - 3 = 0 $
• $ g(x) $ 在 $ [0,2] $ 连续，$ g'(x) = f'(x)
  - 1 $ 连续
• $ int_0^2 g(x) dx = int_0^2 [f(x)
  - x
  - 1] dx = 4
  - int_0^2(x+1)dx = 4
  - 6 = -2 $

由罗尔定理，存在 $ xi in (0,2) $ 使 $ g'(xi)=0 $，即 $ f'(xi)=1 $。但无法直接得 $ g(x) equiv 0 $。转而构造：

选择 $ k $ 使 $ int_0^2 h(x) dx = 0 $，则：

即 $ int_0^2 [f(x)-2] dx = 0 $。结合 $ f(0)-2=-1 < 0 $, $ f(2)-2=1 > 0 $，由积分零点定理，$ f(x)-2 $ 在 $ [0,2] $ 至少有一个零点。若 $ f(x)-2 $ 有且仅有一个零点，则必为 $ x=1 $，但需证明唯一性。

关键突破：考虑函数 $ F(x) = int_0^x f(t) dt $，则 $ F''(x) = f'(x) $ 连续，$ F(0)=0 $, $ F(2)=4 $。由泰勒展开：

相加得：

但 $ F(1) = int_0^1 f(x) dx $, $ F(2)-F(1) = int_1^2 f(x) dx $。若 $ f(1) neq 2 $，设 $ f(1) = 2 + delta $（$delta neq 0$），由 $ f'(x) $ 连续，存在邻域 $ (1-varepsilon, 1+varepsilon) $ 使 $ f(x) > 2 + delta/2 $ 或 $ < 2 + delta/2 $，导致 $ int_0^2 f(x) dx neq 4 $，矛盾！故 $ delta=0 $，即 $ f(1)=2 $。

▶ 验证4：反证法排除非常规情形

假设 $ f(1) neq 2 $，分两种情况：

1. 若 $ f(1) > 2 $：因 $ f(0)=1 < 2 $, $ f(1)>2 $，由介值定理，存在 $ a in (0,1) $ 使 $ f(a)=2 $；同理，$ f(1)>2 $, $ f(2)=3>2 $，若 $ f(x) $ 在 $ [1,2] $ 无零点，则 $ int_1^2 f(x) dx > 2 $；而 $ int_0^1 f(x) dx $：因 $ f(0)=1 $, $ f(a)=2 $, $ f(1)>2 $，最小值可能低于2，但 $ f'(x) $ 连续意味着 $ f(x) $ 光滑上升，无法在 $ [0,a] $ 积分过低补偿 $ [a,2] $ 的高位。定量估计：设 $ m = min_{xin[0,2]} f'(x) $, $ M = max f'(x) $，由拉格朗日中值定理：