**问题重述:**
设函数 \( f(x) \), \( g(x) \) 在区间 \([a, b]\) 上连续,且 \( f(x) \) 严格递增,\( 0 \leq g(x) \leq 1 \)。证明:
\[
\int_{a}^{b} f(x)g(x) \, dx \geq \int_{a}^{a + \lambda} f(x) \, dx,
\]
其中 \(\lambda = \int_{a}^{b} g(x) \, dx\)。
---
**证明:**
1. **定义辅助量:**
由于 \( 0 \leq g(x) \leq 1 \),记 \(\lambda = \int_{a}^{b} g(x) \, dx\),显然有 \( 0 \leq \lambda \leq b - a \)。
2. 构造辅助函数:**
定义函数 \( h(t) = \int_{a}^{t} g(x) \, dx - (t - a) \)。
- 求导得 \( h'(t) = g(t) - 1 \leq 0 \),故 \( h(t) \) 在 \([a, b]\) 上单调递减。
- 注意到 \( h(a) = 0 \),且 \( h(b) = \lambda - (b - a) \leq 0 \)。
3. 确定关键点 \( c \):**
由单调性和介值定理,存在唯一的 \( c \in [a, b] \) 使得 \( h(c) = 0 \),即:
\[
\int_{a}^{c} g(x) \, dx = c - a.
\]
此时,剩余部分的积分为:
\[
\int_{c}^{b} g(x) \, dx = \lambda - (c - a).
\]
4. 拆分并放缩积分:**
将目标积分拆分为两部分:
\[
\int_{a}^{b} f(x)g(x) \, dx = \int_{a}^{c} f(x)g(x) \, dx + \int_{c}^{b} f(x)g(x) \, dx.
\]
- 在 \([a, c]\) 上,因 \( f(x) \) 严格递增,\( f(x) \leq f(c) \),故:
\[
\int_{a}^{c} f(x)g(x) \, dx \geq f(a) \int_{a}^{c} g(x) \, dx = f(a)(c - a).
\]
- 在 \([c, b]\) 上,\( f(x) \geq f(c) \),故:
\[
\int_{c}^{b} f(x)g(x) \, dx \geq f(c) \int_{c}^{b} g(x) \, dx = f(c) \left( \lambda - (c - a) \right).
\]
5. 结合不等式:**
综合上述结果,有:
\[
\int_{a}^{b} f(x)g(x) \, dx \geq f(a)(c - a) + f(c) \left( \lambda - (c - a) \right).
\]
当 \( c = a + \lambda \) 时,右式恰为 \( \int_{a}^{a + \lambda} f(x) \, dx \),此时不等式取等。
6. **结论:**
由于 \( f(x) \) 严格递增,原不等式成立,即:
\[
\int_{a}^{b} f(x)g(x) \, dx \geq \int_{a}^{a + \lambda} f(x) \, dx.
\]


雷达卡
京公网安备 11010802022788号







