积分中值定理公式证明——微积分的桥梁与直觉验证

解：
∫₀² x² dx = [x³/3]₀² = 8/3
平均值：f(ξ) = (8/3)/(2−0) = 4/3
解 ξ² = 4/3，得 ξ = 2/√3 ≈ 1.1547 ∈ (0, 2) ✅

解：
∫₀^π sin x dx = [−cos x]₀^π = −(−1) − (−1) = 2
平均高度：2/(π−0) = 2/π ≈ 0.6366
解 sin ξ = 2/π，得 ξ = arcsin(2/π) ≈ 0.6901 ∈ (0, π) ✅

几何意义：正弦波在0到π之间的“平均高度”约为0.637倍峰值，对应一个锐角。

证明：
构造辅助函数 F(ξ) = ∫_a^ξ f(x)dx − ∫_ξ^b f(x)dx
= 2∫_a^ξ f(x)dx − ∫_a^b f(x)dx
显然 F(a) = −∫_a^b f(x)dx，F(b) = ∫_a^b f(x)dx
若 ∫_a^b f(x)dx = 0，则 F(a) = F(b) = 0，取任意ξ即可；
否则 F(a) < 0 < F(b)，由介值定理，存在 ξ ∈ (a, b) 使 F(ξ) = 0，即得证。

解：
由拉格朗日中值定理：f(x) = f(x) − f(0) = f′(ξ)x（ξ ∈ (0,x)）
故 |f(x)| ≤ Mx
但更精确的估计需用积分中值定理：
∫₀¹ f(x)dx = f(ξ)(1−0) = f(ξ)（ξ ∈ (0,1)）
而 f(ξ) = ∫₀^ξ f′(t)dt，故 |f(ξ)| ≤ Mξ，且 |f(1−ξ)| ≤ M(1−ξ)
通过优化 max ξ(1−ξ) = 1/4（当ξ=1/2），得证。

解析：
（1）偶函数满足 f(−x)=f(x)，故 ∫_−a^a f(x)dx = 2∫₀^a f(x)dx。
对 [0,a] 应用第一积分中值定理：∫₀^a f(x)dx = a f(ξ)（ξ∈(0,a)），得证。
（2）奇函数积分恒为0，但如 f(x)=x+1 在 [−1,1] 上非奇非偶；严格奇函数如 f(x)=x 显然 f(0)=0。但若定义 f(x)=x (x≠0), f(0)=5，则积分仍为0，但无零点——再次强调连续性的重要性。

构造法：
设 F(x) = e^x ∫₀^x f(t)dt，则 F(0)=F(1)=0。
由罗尔定理，存在 ξ ∈ (0,1) 使 F′(ξ)=0。
计算导数：F′(x) = e^xf(x) + e^x∫₀^x f(t)dt = e^x[f(x) + ∫₀^x f(t)dt]
令 F′(ξ)=0，得 f(ξ) + ∫₀^ξ f(t)dt = 0。
但这不是目标式。换思路：
考虑 G(x) = (1+x) ∫₀^x f(t)dt，则 G(0)=0，G(1) = 2×0=0。
G′(x) = ∫₀^x f(t)dt + (1+x)f(x)。
由罗尔定理，存在 ξ 使 G′(ξ)=0，即：
∫₀^ξ f(t)dt + (1+ξ)f(ξ) = 0。
再对第一个积分用积分中值定理：∫₀^ξ f(t)dt = ξ f(η)（η∈(0,ξ)）
代入得：ξ f(η) + (1+ξ)f(ξ) = 0。
若再假设 f 单调，可进一步推出 f(ξ) + ξ f(ξ) = 0，但原题无此条件，说明需更巧妙构造。

标准解法：令 H(x) = e^x ∫₀^x f(t)dt，则 H(0)=0, H(1)=e∫₀¹ f=0。
H′(x) = e^x[f(x) + ∫₀^x f(t)dt]。
再令 K(x) = e^x ∫₀^x f(t)dt，重复应用……
最终结论：存在 ξ ∈ (0,1) 使 f(ξ) = −ξ f(ξ)，即 f(ξ)(1+ξ)=0。因 1+ξ≠0，故 f(ξ)=0？
修正：原题应为“存在ξ使 f(ξ) + ξ f′(ξ) = 0”更合理。但若按题面，可证：
设 F(x)=∫₀^x f(t)dt，则 F(0)=F(1)=0，F′=f。
考虑 G(x)=xF(x)，则 G(0)=G(1)=0，G′(x)=F(x)+xf(x)。
由罗尔定理，存在 ξ 使 G′(ξ)=0，即 F(ξ) + ξ f(ξ) = 0。
由积分中值定理，F(ξ)=ξ f(η)，故 ξ f(η) + ξ f(ξ) = 0 → f(η) + f(ξ) = 0。
若 f 连续，由介值性，存在 ζ 使 f(ζ)=0，但非直接结论。
本题本质：综合运用积分中值定理公式证明与罗尔定理。