广东海洋大学数学与计算机学院，广东 湛江

收稿日期：2023年11月13日；录用日期：2023年12月14日；发布日期：2023年12月27日

摘要

不等式证明是高等数学中比较常见且难度较大的一种题型。本文讨论 ${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)dx}$ 与 ${\displaystyle {\int }_a^{b}f\left(x\right)dx}$ 的不等式关系，通过证明得到以下结果：设 $f\left(x\right)$ 在 $\left[a,b\right]$ 上可积，当 $f\left(x\right)$ 满足以下两个条件：1) 当 $a\le x\le \frac{a+b}{2}$ 时， $f\left(x\right)\le f\left(\frac{a+b}{2}\right)$ ；2) 当 $\frac{a+b}{2}\le x\le b$ 时， $f\left(x\right)\ge f\left(\frac{a+b}{2}\right)$ ，则有： ${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)dx}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)dx}$ 。应用这个积分不等式的结果，我们巧妙地构建函数 $f\left(x\right)$ ，轻松地证明了一些按通常方法较难证明的实数不等式，以此来拓展解题思路，学以致用。

关键词

不等式证明，积分不等式，单调性，定积分

A Class of Integral Inequalities and Their Applications

Hongqing Wang

School of Mathematic and Computer Science, Guangdong Ocean University, Zhanjiang Guangdong

Received: Nov. 13^th, 2023; accepted: Dec. 14^th, 2023; published: Dec. 27^th, 2023

ABSTRACT

In this paper we discuss the relationship between ${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)dx}$ and ${\displaystyle {\int }_a^{b}f\left(x\right)dx}$ , and obtain that if $f\left(x\right)$ is integrable on $\left[a,b\right]$ and satisfies the following two conditions: 1) $f\left(x\right)\le f\left(\frac{a+b}{2}\right)$ for $a\le x\le \frac{a+b}{2}$ ; 2) $f\left(x\right)\ge f\left(\frac{a+b}{2}\right)$ for $\frac{a+b}{2}\le x\le b$ , Then ${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)dx}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)dx}$ . By using this result we prove some real number inequalities which are more difficulty to be shown by using the usual methods.

Keywords:Proof of Inequalities, Integral Inequality, Monotony, Definite Integration

Copyright © 2023 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

我们知道，不等式的证明是高等数学中的一种常见题型，由于不等式证明的题目往往具有较强的综合性，在考研试题中也是比较常见且难度较大的一种题型，它需要考生掌握一些特殊的解题技巧。本文将从积分不等式的角度来探讨一种新的证明不等式的方法。

定积分在高等数学和经济数学中都是十分重要和非常有用的内容 [1] [2] [3] [4] ，比较两个定积分的大小是定积分的理论在实际应用中的一个重点和难点，关于积分不等式的证明也是考研试题中常考的题型。同时，关于各种各样的积分不等式的研究已经引起广大担任高等数学课或经济数学课的高校教师广泛关注，并取得了很多成果 [5] [6] 。但至今未见有人研究 ${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}$ 与 ${\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ 的关系。本文通过讨论两个积分式 ${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}$ 与 ${\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ 的不等式关系，得到以下几个有意义的结果，并应用其结果进一步探讨一些实数范围内的不等式证明。

2. 问题描述和主要结果

2.1. 定理1及其证明

定理1 设 $f\left(x\right)$ 在 $\left[a,b\right]$ 上可积且满足以下两个条件：

(1) 当 $a\le x\le \frac{a+b}{2}$ 时， $f\left(x\right)\le f\left(\frac{a+b}{2}\right)$ ；

(2) 当 $\frac{a+b}{2}\le x\le b$ 时， $f\left(x\right)\ge f\left(\frac{a+b}{2}\right)$ ，

则有： ${\displaystyle {\int }_a^{b}xf\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ 。

证明：由(1)得，

$x-\frac{a+b}{2}\le 0$ ， (1)

$f\left(\frac{a+b}{2}\right)-f\left(x\right)\ge 0$ ， (2)

由(1)和(2)得， $\left(x-\frac{a+b}{2}\right)\left[f\left(\frac{a+b}{2}\right)-f\left(x\right)\right]\le 0$ 。

即 $\left(x-\frac{a+b}{2}\right)f\left(\frac{a+b}{2}\right)-\left(x-\frac{a+b}{2}\right)f\left(x\right)\le 0$ 。

即 $xf\left(\frac{a+b}{2}\right)-xf\left(x\right)\le \frac{a+b}{2}f\left(\frac{a+b}{2}\right)-\frac{a+b}{2}f\left(x\right)$ 。

两边乘以(−1)，得： $x\text{}f\left(x\right)-x\text{}f\left(\frac{a+b}{2}\right)\ge \frac{a+b}{2}f\left(x\right)-\frac{a+b}{2}f\left(\frac{a+b}{2}\right)$

两边同时取定积分，得：

${\displaystyle {\int }_a^{\frac{a+b}{2}}\left[x\text{}f\left(x\right)-x\text{}f\left(\frac{a+b}{2}\right)\right]\text{d}x}\ge {\displaystyle {\int }_a^{\frac{a+b}{2}}\left[\frac{a+b}{2}f\left(x\right)-\frac{a+b}{2}f\left(\frac{a+b}{2}\right)\right]\text{d}x}$

即

${\displaystyle {\int }_a^{\frac{a+b}{2}}xf\left(x\right)\text{d}x}-\frac{{\left(\frac{a+b}{2}\right)}^2-a^2}{2}f\left(\frac{a+b}{2}\right)\ge \frac{a+b}{2}{\displaystyle {\int }_a^{\frac{a+b}{2}}f\left(x\right)\text{d}x}-\frac{b^2-a^2}{4}f\left(\frac{a+b}{2}\right)$ ， (3)

由(2)得，

$x-\frac{a+b}{2}\ge 0$ ， (4)

且

$f\left(x\right)-f\left(\frac{a+b}{2}\right)\ge 0$ ， (5)

由(4)和(5)得， $\left(x-\frac{a+b}{2}\right)\left[f\left(x\right)-f\left(\frac{a+b}{2}\right)\right]\ge 0$ ，

即 $\left(x-\frac{a+b}{2}\right)f\left(x\right)-\left(x-\frac{a+b}{2}\right)f\left(\frac{a+b}{2}\right)\ge 0$ ，从而有：

$x\text{}f\left(x\right)-x\text{}f\left(\frac{a+b}{2}\right)\ge \frac{a+b}{2}f\left(x\right)-\frac{a+b}{2}f\left(\frac{a+b}{2}\right)$

两边同时取定积分，得： ${\displaystyle {\int }_{\frac{a+b}{2}}^b\left[x\text{}f\left(x\right)-x\text{}f\left(\frac{a+b}{2}\right)\right]\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_{\frac{a+b}{2}}^b\left[f\left(x\right)-f\left(\frac{a+b}{2}\right)\right]\text{d}x}$

即

${\displaystyle {\int }_{\frac{a+b}{2}}^{b}x\text{}f\left(x\right)\text{d}x}-\frac{b^2-{\left(\frac{a+b}{2}\right)}^2}{2}f\left(\frac{a+b}{2}\right)\ge \frac{a+b}{2}{\displaystyle {\int }_{\frac{a+b}{2}}^{b}f\left(x\right)\text{d}x}-\frac{b^2-a^2}{4}f\left(\frac{a+b}{2}\right)$ ， (6)

(3) + (6)得， ${\displaystyle {\int }_a^{b}xf\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，结论成立。

2.2. 定理2及其推论

对定理1的前提条件进行简化，可以得到以下结论。

定理2 若 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加，则 ${\displaystyle {\int }_a^{b}xf\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ 。

推论1 若 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调减少，则 ${\displaystyle {\int }_a^{b}xf\left(x\right)\text{d}x}\le \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ 。

证明：令 $g\left(x\right)=-f\left(x\right)$ ，因 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调减少，故 $g\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加。由定理2得，

${\displaystyle {\int }_a^{b}xg\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}g\left(x\right)\text{d}x}$ ，

从而有：

${\displaystyle {\int }_a^{b}xf\left(x\right)\text{d}x}\le \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ 。

推论2 若 $f\left(x\right)$ 在 $\left(-a,a\right)$ 上单调增加，则 ${\displaystyle {\int }_{-a}^{a}x\text{}f\left(x\right)\text{d}x}\ge 0$ 。其证明直接由定理2得到，故从略。

推论3 若 $f\left(x\right)$ 在 $\left(-a,a\right)$ 上单调减少，则 ${\displaystyle {\int }_{-a}^{a}x\text{}f\left(x\right)\text{d}x}\le 0$ 。其证明直接由推论1得到，故从略。

推论4 若 $f\left(x\right)$ 在 $\left(-a,a\right)$ 上单调减少，且 $x\text{}f\left(x\right)\ge 0$ 则 ${\displaystyle {\int }_{-a}^{a}x\text{}f\left(x\right)\text{d}x}=0$ 。

证明：因 $x\text{}f\left(x\right)\ge 0$ ， $x\in \left(-a,a\right)$ ，故 ${\displaystyle {\int }_{-a}^{a}xf\left(x\right)\text{d}x}\ge 0$ 。再由推论3知 ${\displaystyle {\int }_{-a}^{a}xf\left(x\right)\text{d}x}\le 0$ 。要同时满足这两种情况，只有： ${\displaystyle {\int }_{-a}^{a}xf\left(x\right)\text{d}x}=0$ ，因此结论成立。

推论5 若 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加且非负， $a\ge 0$ ，则有：

${\displaystyle {\int }_a^b{x}^{n}f\left(x\right)\text{d}x}\ge {\left(\frac{a+b}{2}\right)}^n{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，其中n为正整数。

证明：由于 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加且非负， $a\ge 0$ ，故 $x\text{}f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加。因为n为正整数，由定理2，得： ${\displaystyle {\int }_a^b{x}^{n}f\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^b{x}^{n-1}f\left(x\right)\text{d}x}$ 。由此递归可得到：

${\displaystyle {\int }_a^b{x}^{n}f\left(x\right)\text{d}x}\ge {\left(\frac{a+b}{2}\right)}^n{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，因此结论成立。

推论6 若 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调减少且非负， $a\ge 0$ ，则有：

${\displaystyle {\int }_a^b{x}^{n}f\left(x\right)\text{d}x}\le {\left(\frac{a+b}{2}\right)}^n{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，其中n为正整数。其证明与推论5的证明完全相似。

3. 积分不等式结果的应用

对于一些按通常方法较难证明的实数不等式，我们可以构建函数 $f\left(x\right)$ ，应用以上积分不等式的结果，把这些实数不等式证明出来。

例1证明： $\frac{b^3-a^3}{3}\ge \frac{1}{4}\left(b^3-a^3-a^{2}b+a{b}^2\right)$ ，其中 $a,b\in R$ 。

证明：令 $f\left(x\right)=x$ ，则 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加。由定理2得知：

${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，

即：

${\displaystyle {\int }_a^b{x}^2\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}x\text{d}x}$

经过简单计算可得：

$\frac{b^3-a^3}{3}\ge \frac{1}{4}\left(b^3-a^3-a^{2}b+a{b}^2\right)$ ，结论得证。

例2证明： $\frac{1}{n+2}\left(b^{n+2}-a^{n+2}\right)\le \frac{a+b}{2\left(n+1\right)}\left(b^{n+1}-a^{n+1}\right)$ ，其中 $b\ge a>0$ ， $n<-2$ 。

证明：令 $f\left(x\right)=x^n$ ，则 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调减少。由推论1得知：

${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}\le \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ 。经过简单计算可得：

$\frac{1}{n+2}\left(b^{n+2}-a^{n+2}\right)\le \frac{a+b}{2\left(n+1\right)}\left(b^{n+1}-a^{n+1}\right)$ 。

例3证明： $a\cos a-b\cos b+\sin b-\sin a\ge \frac{a+b}{2}\left(\cos a-\cos b\right)$ ，其中： $\frac{\pi }{2}>b\ge a>0$ 。

证明 令 $f\left(x\right)=\sin x$ ，则 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加，由定理2得知：

${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，经过简单计算可得：

$a\cos a-b\cos b+\sin b-\sin a\ge \frac{a+b}{2}\left(\cos a-\cos b\right)$ 。

例4证明： $b\sin b-a\sin a+\cos b-\cos a\le \frac{a+b}{2}\left(\sin b-\sin a\right)$ ，其中： $\pi >b\ge a>0$

证明 令 $f\left(x\right)=\cos x$ ，则 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调减少。由推论1得知：

${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}\le \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，经过简单计算可得：

$b\sin b-a\sin a+\cos b-\cos a\le \frac{a+b}{2}\left(\sin b-\sin a\right)$ .

例5证明： $b{\text{e}}^b-a{\text{e}}^a-{\text{e}}^b+{\text{e}}^a\ge \frac{a+b}{2}\left({\text{e}}^b-{\text{e}}^a\right)$ ，其中 $a,b\in R$ 。

证明 令 $f\left(x\right)={\text{e}}^x$ ，则 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加。由定理2得知：

${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，经过简单计算可得：

$b{\text{e}}^b-a{\text{e}}^a-{\text{e}}^b+{\text{e}}^a\ge \frac{a+b}{2}\left({\text{e}}^b-{\text{e}}^a\right)$ .

例6证明： $b^2\ln b-a^2\ln a\ge \left(a+b\right)\left(b\ln b-a\ln a\right)-\frac{1}{2}{b}^2+\frac{1}{2}{a}^2$ ， $0<a\le b$ 。

证明 令 $f\left(x\right)=\ln x$ ，则 $f\left(x\right)$ 在 $\left(a,b\right)$ 上单调增加。由定理2得知：

${\displaystyle {\int }_a^{b}x\text{}f\left(x\right)\text{d}x}\ge \frac{a+b}{2}{\displaystyle {\int }_a^{b}f\left(x\right)\text{d}x}$ ，经过简单计算可得：

$\frac{1}{2}{b}^2\ln b-\frac{1}{2}{a}^2\ln a-\frac{1}{4}{b}^2+\frac{1}{4}{a}^2\ge \frac{a+b}{2}\left(b\ln b-a\ln a\right)+\frac{a^2-b^2}{2}$ ，化简即得：

$b^2\ln b-a^2\ln a\ge \left(a+b\right)\left(b\ln b-a\ln a\right)-\frac{1}{2}{b}^2+\frac{1}{2}{a}^2$ .

4. 结论

通过以上实数不等式的证明可知，灵活运用定理1、定理2及其推论中的积分不等式结果，针对不同的实数不等式，巧妙地构建恰当的函数 $f\left(x\right)$ ，可以让我们轻松地证明一些按通常方法较难证明的实数不等式，以此来强化我们的逻辑推理能力，拓展解题思路，积累解题技巧，切实地提高我们的解题能力。

文章引用

王红青. 一类积分不等式的证明及其应用
A Class of Integral Inequalities and Their Applications[J]. 理论数学, 2023, 13(12): 3610-3615. https://doi.org/10.12677/PM.2023.1312374

参考文献