答案: 存在唯一的 ξ∈(a,b),使 S1(ξ)=3S2(ξ)。
解题思路: f′(x)>0 说明曲线严格递增,因此两个面积可写成“上方函数减下方函数”的积分。把面积关系改写为一个连续函数的零点问题,用端点异号证明存在,再用严格递增证明唯一。
详细解答: 由拉格朗日中值定理,对任意 a≤t1<t2≤b,存在 c∈(t1,t2) 使
f(t2)−f(t1)=f′(c)(t2−t1)>0.
故 f 在 [a,b] 上严格递增。以 x∈[a,b] 为暂定的横坐标,在 a≤t≤x 上有 f(x)≥f(t),在 x≤t≤b 上有 f(t)≥f(x),所以两面积为
S1(x)=∫ax[f(x)−f(t)]dt,S2(x)=∫xb[f(t)−f(x)]dt.
定义面积差函数
H(x)=S1(x)−3S2(x).
由于 f 连续,两个积分及 H 都在 [a,b] 上连续。端点处有
H(a)=−3∫ab[f(t)−f(a)]dt<0,
H(b)=∫ab[f(b)−f(t)]dt>0.
严格不等号来自 f 的严格递增性:第一式的被积函数在 (a,b] 上为正,第二式的被积函数在 [a,b) 上为正。由零点存在定理,至少有一个 ξ∈(a,b) 满足 H(ξ)=0,即 S1(ξ)=3S2(ξ)。
接着证明唯一。先把面积写成便于求导的形式:
S1(x)=(x−a)f(x)−∫axf(t)dt,
S2(x)=∫xbf(t)dt−(b−x)f(x).
在 (a,b) 内,用乘积法则及微积分基本定理求导,得到
S1′(x)=f(x)+(x−a)f′(x)−f(x)=(x−a)f′(x),
S2′(x)=−f(x)+f(x)−(b−x)f′(x)=−(b−x)f′(x).
因此
H′(x)=[(x−a)+3(b−x)]f′(x)>0(a<x<b).
于是 H 严格递增,只能有一个零点,所求 ξ 唯一。