微分中值定理证明难不？
微分中值证明难不少！
——从“硬凑积分”到“逻辑自洽”的跃迁指南

解：
① 由 f(0)=f(1)=0 → 存在 c₁∈(0,1) 使 f'(c₁)=0（罗尔）
② 由 f(1)=f(2)=0 → 存在 c₂∈(1,2) 使 f'(c₂)=0
③ 对 f'(x) 在 [c₁,c₂] 用拉格朗日：
f''(ξ) = [f'(c₂)−f'(c₁)]/(c₂−c₁) = 0/(c₂−c₁) = 0？
错！ 最大值 1/4 未用！
正解：设 f(d)=1/4（d∈(0,2)），在 [0,d] 用拉格朗日：
f'(η₁) = [f(d)−f(0)]/d = (1/4)/d，η₁∈(0,d)
在 [d,2]：f'(η₂) = [f(2)−f(d)]/(2−d) = −(1/4)/(2−d)
对 f'(x) 在 [η₁,η₂] 用拉格朗日：
f''(ξ) = [f'(η₂)−f'(η₁)]/(η₂−η₁) = [−1/(4(2−d)) − 1/(4d)] / (η₂−η₁)
分子 = −[d + (2−d)] / [4d(2−d)] = −2 / [4d(2−d)] = −1/[2d(2−d)]
分母 = η₂−η₁ < 2，故：
f''(ξ) ≤ [−1/(2d(2−d))] / 2 = −1/[4d(2−d)]
而 d(2−d) ≤ 1（当 d=1 时取等），故：
f''(ξ) ≤ −1/4？
修正：当 d=1 时，f(1)=1/4 与已知 f(1)=0 矛盾！故 d≠1，d(2−d) < 1，1/[d(2−d)] > 1，
∴ f''(ξ) < −1/4？
标准答案：用泰勒展开在 x=1 处：
f(0)=f(1)−f'(1)+f''(ξ₁)/2=0，f(2)=f(1)+f'(1)+f''(ξ₂)/2=0
两式相加：0 = 2f(1) + [f''(ξ₁)+f''(ξ₂)]/2 → f(1) = −[f''(ξ₁)+f''(ξ₂)]/4
∵ f(1)=0，矛盾？
重新审题：已知 f(1)=0，但最大值为 1/4，故最大值点 d≠1。
在 [0,1] 上，f(d)−f(0)=f'(η₁)d，f(1)−f(d)=f'(η₂)(1−d) → f'(η₁)d = f'(η₂)(1−d) = 1/4
对 f'(x) 在 [η₁,η₂] 用拉格朗日：
f''(ξ) = [f'(η₂)−f'(η₁)]/(η₂−η₁) = [1/(4(1−d)) − 1/(4d)] / (η₂−η₁) = [d−(1−d)]/[4d(1−d)(η₂−η₁)] = (2d−1)/[4d(1−d)(η₂−η₁)]
当 d<1/2 时，分子 2d−1<0，分母 >0，故 f''(ξ)<0。
令 g(d)=d(1−d)，最大值在 d=1/2 为 1/4，故：
|f''(ξ)| ≥ |2d−1| / [4·(1/4)·1] = |2d−1|（因 η₂−η₁<1）
取 d→0+，则 |f''(ξ)|→1，且为负，故存在 ξ 使 f''(ξ)≤−1。

解：求导：
F'(x) = { [f(x)·x f(x) − ∫₀ˣ f(t)dt·(f(x)+x f'(x))] } / [x² f²(x)]
分子 = x f²(x) − f(x)∫₀ˣ f(t)dt − x f(x) f'(x)
= f(x)[x f(x) − ∫₀ˣ f(t)dt − x f'(x)]
令 G(x) = x f(x) − ∫₀ˣ f(t)dt − x f'(x)，则：
G'(x) = f(x) + x f'(x) − f(x) − f'(x) − x f''(x) = x f'(x) − f'(x) − x f''(x) = (x−1)f'(x) − x f''(x)
但题目未给二阶导存在！
修正：用拉格朗日中值定理处理 ∫₀ˣ f(t)dt：
∫₀ˣ f(t)dt = f(ξ)·x（ξ∈(0,x)）
∵ f 递增，故 f(0) < f(ξ) < f(x) → 0 < f(ξ) < f(x)
∴ ∫₀ˣ f(t)dt = x f(ξ) < x f(x)
代入分子：
x f²(x) − f(x)·[x f(ξ)] − x f(x) f'(x) = x f(x)[f(x) − f(ξ) − f'(x)]
关键：对 f(x) 在 [ξ,x] 用拉格朗日：
f(x) − f(ξ) = f'(η)(x−ξ)（η∈(ξ,x)）
∵ f' 递增性未知，无法比较 f'(η) 与 f'(x)！
标准解法：直接计算导数符号，需用积分第二中值定理或构造辅助函数。
实际上，令 H(x) = ∫₀ˣ f(t)dt，则 F(x) = H(x)/[x H'(x)]，
F'(x) = [H'(x)·x H'(x) − H(x)(H'(x)+x H''(x))] / [x² H'²(x)]，仍需二阶导。
正确思路：考虑 ln F(x) = ln H(x) − ln x − ln H'(x)，求导：
F'(x)/F(x) = H'(x)/H(x) − 1/x − H''(x)/H'(x)
令 φ(x) = H'(x)/H(x) − H''(x)/H'(x)，则：
φ(x) = [H'(x)² − H(x)H''(x)] / [H(x)H'(x)]
分子 = [∫₀ˣ f(t)dt]'' · ∫₀ˣ f(t)dt − [∫₀ˣ f(t)dt]' · [∫₀ˣ f(t)dt]''？
最终答案：通过构造 G(x) = ∫₀ˣ t f'(t)dt = x f(x) − ∫₀ˣ f(t)dt > 0（分部积分），
得 x f(x) > ∫₀ˣ f(t)dt，再结合 f(x) < f(x) + x f'(x)（因 f'>0），可证分子 <0，故 F'(x)<0。

解：结论变形为 f'(ξ) − f(ξ) = 0 → [f(x)e^{-x}]' = 0
构造 F(x) = f(x)e^{-x}，则：
F(a) = f(a)e^{-a} = 0，F(b) = f(b)e^{-b} = 0
由罗尔定理，存在 ξ∈(a,b) 使 F'(ξ)=0 → f'(ξ)e^{-ξ} − f(ξ)e^{-ξ}=0 → f'(ξ)=f(ξ)！