中册 4.4 积分估值与积分不等式 第16题

数学分析早年真题

📝 题目

16.证明下列命题. (1)函数 $f(x)$ 在 $[0,1]$ 上单调不增.证明对任何 $\alpha \in(0,1), \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \alpha \int_{0}^{1} f(x) \mathrm{d} x$ . (2)设 $f(x)$ 在 $[0,1]$ 上连续且单调减少,$f(x)>0$ .求证对于任意的 $0<\alpha<\beta<1$ 有 $\beta \int_{0}^{\alpha} f(x) \mathrm{d} x>\alpha \int_{a}^{\beta} f(x) \mathrm{d} x$ . (3)设函数 $f(x)$ 在 $[0,1]$ 上连续,单调递减,$f(x) \geqslant 0, F(x)=\int_{0}^{x} f(t) \mathrm{d} t$ .求证 $$ x F(1) \leqslant F(x) \leqslant 2 \int_{0}^{1} F(x) \mathrm{d} x . \text { } $$

💡 答案解析

\section*{解题过程:} (1)方法 1:改写 $\int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \alpha \int_{0}^{\alpha} f(x) \mathrm{d} x+\alpha \int_{\alpha}^{1} f(x) \mathrm{d} x$ 为 $$ (1-\alpha) \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \alpha \int_{\alpha}^{1} f(x) \mathrm{d} x \text { 或 } \frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \frac{1}{1-\alpha} \int_{\alpha}^{1} f(x) \mathrm{d} x \text {. } $$ 问题等价于证明:对任意 $\alpha \in[0,1]$ ,成立 $\displaystyle \frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \frac{1}{1-\alpha} \int_{\alpha}^{1} f(x) \mathrm{d} x$ . 由定积分中值定理,$\exists \xi_{1} \in[0, a]$ ,使 $(1-a) \int_{0}^{a} f(x) \mathrm{d} x=a(1-a) f\left(\xi_{1}\right)$ ; $$ \exists \xi_{2} \in[a, 1] \text {, 使 } a \int_{a}^{1} f(x) \mathrm{d} x=a(1-a) f\left(\xi_{2}\right) $$ 显然,$\xi_{1} \leqslant \xi_{2}$ .由 $f(x)$ 在 $[0,1]$ 上单调不增有 $f\left(\xi_{1}\right) \geqslant f\left(\xi_{2}\right)$ .故原不等式 $\int_{0}^{a} f(x) \mathrm{d} x \geqslant a \int_{0}^{1} f(x) \mathrm{d} x$成立. 方法 2:设 $F(\alpha)=\int_{0}^{\alpha} f(x) \mathrm{d} x-\alpha \int_{0}^{1} f(x) \mathrm{d} x$ ,则 $F^{\prime}(\alpha)=f(\alpha)-\int_{0}^{1} f(x) \mathrm{d} x$ 。由积分第一中值定理,$\exists \xi \in[0,1]$ 使得 $f(\xi)=\int_{0}^{1} f(x) \mathrm{d} x$ ,即 $F^{\prime}(\alpha)=f(\alpha)-f(\xi)$ . 由于 $f(x)$ 单调减少,所以当 $0<\alpha<\xi$ 时,$F^{\prime}(\alpha) \geqslant 0$ ,即 $F(\alpha)$ 单调增加;当 $\xi<\alpha<1$时,$F^{\prime}(\alpha) \leqslant 0$ ,即 $F(\alpha)$ 单 调 减 少.由 $F(0)=F(1)=0$ 得 $\forall \alpha \in[0,1]$ ,成 立 $F(\alpha) \geqslant 0$ ,即 $\int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \alpha \int_{0}^{1} f(x) \mathrm{d} x$. 方法3:当 $\alpha=0$ 时,不等式显然成立. 当 $\alpha \in(0,1]$ 时,令 $x=\alpha t$ ,利用 $f(x)$ 单调减少得 $$ \int_{0}^{\alpha} f(x) \mathrm{d} x=\alpha \int_{0}^{1} f(\alpha t) \mathrm{d} t \geqslant \alpha \int_{0}^{1} f(t) \mathrm{d} t $$ 令 $F(x)=\alpha \int_{0}^{x} f(\alpha t) \mathrm{d} t-\alpha \int_{0}^{x} f(t) \mathrm{d} t$ ,则 $F^{\prime}(x)=\alpha f(\alpha x)-\alpha f(x) \geqslant 0$ ,所以 $F(x)$ 单调增加.又因为 $F(0)=0$ ,所以 $F(1) \geqslant F(0)=0$ ,即 $\alpha \int_{0}^{1} f(\alpha t) \mathrm{d} t-\alpha \int_{0}^{1} f(t) \mathrm{d} t \geqslant 0$ ,所以 $\int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \alpha \int_{0}^{1} f(x) \mathrm{d} x$ . (2)在 $[0, \alpha]$ 上 $f(x) \geqslant f(\alpha)$ ,故 $\displaystyle \frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \frac{1}{\alpha} \int_{0}^{\alpha} f(\alpha) \mathrm{d} x=f(\alpha)$ .由中值定理,$\displaystyle \frac{1}{\beta-\alpha} \int_{\alpha}^{\beta} f(x) \mathrm{d} x=f\left(\xi_{1}\right), \alpha<\xi_{1}<\beta$ ,于是 $$ \frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \frac{1}{\alpha} \int_{0}^{\alpha} f(\alpha) \mathrm{d} x=f(\alpha) \geqslant \frac{1}{\beta-\alpha} \int_{a}^{\beta} f(x) \mathrm{d} x $$ 从而 $$ \left(\frac{\beta}{\alpha}-1\right) \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \int_{a}^{\beta} f(x) \mathrm{d} x . $$ 两边同乘 $\displaystyle \frac{\alpha}{\beta}$ 得 $\displaystyle \quad\left(1-\frac{\alpha}{\beta}\right) \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \frac{\alpha}{\beta} \int_{\alpha}^{\beta} f(x) \mathrm{d} x$ 。 又由 $0<\alpha<\beta<1$ 得 $\displaystyle 1-\frac{\alpha}{\beta}<1$ .由 $f(x)>0$ 有 $\int_{0}^{\alpha} f(x) \mathrm{d} x>0$ ,故 $\beta \int_{0}^{\alpha} f(x) \mathrm{d} x>\alpha \int_{\alpha}^{\beta} f(x) \mathrm{d} x$ . (3)转换为证明 $x \int_{0}^{1} f(t) \mathrm{d} t \leqslant \int_{0}^{x} f(t) \mathrm{d} t \leqslant \int_{0}^{1} f(t) \mathrm{d} t \leqslant 2 \int_{0}^{1} F(x) \mathrm{d} x$ . 由(1)得 $x \int_{0}^{1} f(t) \mathrm{d} t \leqslant \int_{0}^{x} f(t) \mathrm{d} t$ ,即 $x F(1) \leqslant F(x)$ . 对 $x \int_{0}^{1} f(t) \mathrm{d} t \leqslant \int_{0}^{x} f(t) \mathrm{d} t=F(x)$ 积分得 $$ \frac{1}{2} \int_{0}^{1} f(t) \mathrm{d} t \leqslant \int_{0}^{1} F(x) \mathrm{d} x \text {, 即 } \int_{0}^{1} f(t) \mathrm{d} t \leqslant 2 \int_{0}^{1} F(x) \mathrm{d} x \text {. } $$ 由 $f(x) \geqslant 0$ 得 $\int_{0}^{1} f(t) \mathrm{d} t \geqslant \int_{0}^{x} f(t) \mathrm{d} t=F(x)$ .于是 $x F(1) \leqslant F(x) \leqslant 2 \int_{0}^{1} F(x) \mathrm{d} x$ .

📋 详细解题步骤

步骤 1/7
目标:证明(1)中的不等式等价形式
将原不等式 $\int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \alpha \int_{0}^{1} f(x) \mathrm{d} x$ 改写为 $(1-\alpha) \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \alpha \int_{\alpha}^{1} f(x) \mathrm{d} x$,即 $\frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \frac{1}{1-\alpha} \int_{\alpha}^{1} f(x) \mathrm{d} x$。
公式:$\frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geqslant \frac{1}{1-\alpha} \int_{\alpha}^{1} f(x) \mathrm{d} x$
提示:注意 $\alpha \in (0,1)$,分母不为零。
步骤 2/7
目标:应用积分中值定理
由积分中值定理,存在 $\xi_1 \in [0, \alpha]$ 使得 $\int_{0}^{\alpha} f(x) \mathrm{d} x = \alpha f(\xi_1)$;存在 $\xi_2 \in [\alpha, 1]$ 使得 $\int_{\alpha}^{1} f(x) \mathrm{d} x = (1-\alpha) f(\xi_2)$。
公式:$\int_{0}^{\alpha} f(x) \mathrm{d} x = \alpha f(\xi_1)$, $\int_{\alpha}^{1} f(x) \mathrm{d} x = (1-\alpha) f(\xi_2)$
提示:注意中值定理要求函数连续,这里 $f$ 单调不增,故连续。
步骤 3/7
目标:利用单调性比较中值点函数值
由于 $\xi_1 \leq \alpha \leq \xi_2$ 且 $f$ 单调不增,故 $f(\xi_1) \geq f(\xi_2)$。代入得 $\frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x = f(\xi_1) \geq f(\xi_2) = \frac{1}{1-\alpha} \int_{\alpha}^{1} f(x) \mathrm{d} x$,从而原不等式成立。
提示:单调不增意味着自变量越大函数值越小。
步骤 4/7
目标:证明(2)中的不等式
由 $f$ 单调减少,在 $[0, \alpha]$ 上 $f(x) \geq f(\alpha)$,故 $\frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geq f(\alpha)$。由积分中值定理,存在 $\xi_1 \in (\alpha, \beta)$ 使得 $\frac{1}{\beta-\alpha} \int_{\alpha}^{\beta} f(x) \mathrm{d} x = f(\xi_1) \leq f(\alpha)$。因此 $\frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geq \frac{1}{\beta-\alpha} \int_{\alpha}^{\beta} f(x) \mathrm{d} x$。
公式:$\frac{1}{\alpha} \int_{0}^{\alpha} f(x) \mathrm{d} x \geq \frac{1}{\beta-\alpha} \int_{\alpha}^{\beta} f(x) \mathrm{d} x$
提示:注意 $f(\alpha) \geq f(\xi_1)$ 是因为 $\xi_1 > \alpha$ 且 $f$ 单调减少。
步骤 5/7
目标:整理得到最终不等式
由上式得 $(\beta-\alpha) \int_{0}^{\alpha} f(x) \mathrm{d} x \geq \alpha \int_{\alpha}^{\beta} f(x) \mathrm{d} x$,即 $\beta \int_{0}^{\alpha} f(x) \mathrm{d} x \geq \alpha \int_{\alpha}^{\beta} f(x) \mathrm{d} x + \alpha \int_{0}^{\alpha} f(x) \mathrm{d} x$。由于 $f(x)>0$,$\int_{0}^{\alpha} f(x) \mathrm{d} x > 0$,且 $\alpha < \beta$,故 $\beta \int_{0}^{\alpha} f(x) \mathrm{d} x > \alpha \int_{\alpha}^{\beta} f(x) \mathrm{d} x$。
公式:$\beta \int_{0}^{\alpha} f(x) \mathrm{d} x > \alpha \int_{\alpha}^{\beta} f(x) \mathrm{d} x$
提示:严格不等式来自 $\alpha < \beta$ 和 $\int_{0}^{\alpha} f(x) \mathrm{d} x > 0$。
步骤 6/7
目标:证明(3)中的左边不等式
由(1)的结论,取 $\alpha = x$,得 $\int_{0}^{x} f(t) \mathrm{d} t \geq x \int_{0}^{1} f(t) \mathrm{d} t$,即 $F(x) \geq x F(1)$。
公式:$F(x) \geq x F(1)$
提示:直接应用(1)的结论,注意 $f$ 单调递减。
步骤 7/7
目标:证明(3)中的右边不等式
对 $F(x) \geq x F(1)$ 两边在 $[0,1]$ 上积分得 $\int_{0}^{1} F(x) \mathrm{d} x \geq F(1) \int_{0}^{1} x \mathrm{d} x = \frac{1}{2} F(1)$,即 $F(1) \leq 2 \int_{0}^{1} F(x) \mathrm{d} x$。又因为 $f(x) \geq 0$,$F(x) = \int_{0}^{x} f(t) \mathrm{d} t \leq \int_{0}^{1} f(t) \mathrm{d} t = F(1)$,所以 $F(x) \leq F(1) \leq 2 \int_{0}^{1} F(x) \mathrm{d} x$。
公式:$F(x) \leq 2 \int_{0}^{1} F(x) \mathrm{d} x$
提示:注意 $F(x)$ 单调递增且非负。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。