本节介绍的内容属于高中数学(常规教学大纲以外)的拓展知识,并不要求大多数中学生了解。
不等式的证明是高中数学中技巧性特别强的内容。本节补充了一些最常用的初等代数不等式和相关的基础例题,以便于读者在后续数学课程中遇到重要不等式时,能在这一节及时查漏补缺,了解它们常用于解决什么类型的问题。有的不等式可能还存在积分形式或是特殊的几何意义,但本节只侧重介绍它们在代数形式(不过其中可能有少数例题涉及指数函数 或对数函数 )下的简单应用。本节中各个小节的例题一般都按由易到难的顺序编排,在前面例题中给出的结论或方法也可能会在后面的例题中再次用到,以便巩固印象,也保证这一章节的内容适合按顺序阅读。有的例题可以使用多种常见不等式证明。我们在同时展示其多种证法的同时,也尽量将每个有多解的例题优先放在证法最简明、最易想到的对应不等式板块中。如果遇到有些例题的多种题解难易程度都非常接近(比如某例题用简单的不等式A和较高级的不等式B都能得到步骤数相近的简短论证),我们就将这样的例题放在更靠前、更基础的相关段落中。
本节不讨论技巧性偏复杂、难于想到的不等式证明方法。目前已有许多代数不等式原则上可以利用计算机机器证明 ,工作中实际遇到时可能不必一一费力手算。关于不等式及其证明策略的更一般的论述,可以移步不等式 专题教程或参考相关专著。
考虑到部分不等式有多种差异较大的汉语译名(例如丹麦姓氏Jensen在英语和丹麦语中的读音就很不一样,因此音译时容易造成较大差异),下文中也会直接用英文人名称呼这些译名不太统一的不等式,方便习惯不同译名的读者都能快速辨认它们。有的口口相传的以人名命名的不等式,但是实际上难以找到可信资料作证其命名由来(比如缺乏提出者的全名、原始论著、学术背景等关键信息)。本着对知识点负责的原则,在找到其确切、详实的参考资料之前,我们就不介绍其传闻名称,以免扩大讹误。请读者不要尽信从各类中学教科书及数学科普读物中了解到的数学野史。如果有需要了解某项数学知识的相关历史发展脉络,对低层次的普及读物上的信息只能信一半,更多、更可靠的信息应该是从知名的大学程度的教材、讲义、专著、同时代数学工作者回忆录中去查阅。
本节大部分内容都要求读者至少了解算术-几何平均值不等式和柯西不等式的基本用法,所以建议基础薄弱的读者先挑选前文中平均值不等式 和柯西不等式 这2个章节的例题做一做,如果问题不大即可先阅读本节的n元代数-几何平均值不等式部分,然后再根据需要选读本节的其余内容。
本节将介绍的有些重要的不等式(例如Jensen不等式)或重要的证法(例如切线法)与导数的关系密切,建议准备阅读此小节的读者先学习导数与切线方程 、利用导数证明不等式 、利用二阶导数判断函数凹凸性 这3节的内容。
在其它章节中已着重介绍过的不等式就不再专门列入本节,包括绝对值不等式 、伯努利不等式 、阿贝尔不等式 等。
先前在平均值不等式 章节学习的平均值不等式完全可以推广到包含更多变元的情形。
设
x
1
,
x
2
,
…
,
x
n
{\displaystyle x_{1},x_{2},\ldots ,x_{n}}
为
n
{\displaystyle n}
个正实数,称
A
n
=
x
1
+
x
2
+
⋯
+
x
n
n
{\displaystyle \mathbf {A} _{n}={\frac {x_{1}+x_{2}+\cdots +x_{n}}{n}}}
为它们的算术平均数 (arithmetic mean ),称
G
n
=
x
1
⋅
x
2
⋯
x
n
n
{\displaystyle \mathbf {G} _{n}={\sqrt[{n}]{x_{1}\cdot x_{2}\cdots x_{n}}}}
为它们的几何平均数 (geometric mean )。
一般形式的算术-几何平均值不等式 (inequality of arithmetic and geometric means )指出,对任意的正实数
x
1
,
…
,
x
n
{\displaystyle x_{1},\ldots ,x_{n}}
,总有:
A
n
≥
G
n
{\displaystyle \mathbf {A} _{n}\geq \mathbf {G} _{n}}
上述不等式中的等号当且仅当
x
1
=
x
2
=
⋯
=
x
n
{\displaystyle x_{1}=x_{2}=\cdots =x_{n}}
时才严格成立。算术-几何平均值不等式是表现算术平均数和几何平均数之间恒定的大小顺序关系。它也被简称为算几不等式 (AM-GM )。
其证明可见于维基百科平均值不等式 条目。这个不等式也可以扩展为包含n元的不等式链,其中最常用的是“n元的调和-几何-算术-平方平均值不等式”。人们常说的“平均值不等式”或“平均数不等式”指的也是该四大平均值组成的二元或n元不等式链。
本小节列出一些可用平均值不等式解决的包含3个变元的常见的不等式问题。例题主要是围绕3元的代数-几何平均值不等式的解题应用,少数可以只使用2元的代数-几何不等式分多次解决,但需要一定的代数观察能力和变形技巧。部分特别简单(不需要用到3元算术-几何平均值不等式)的3元不等式证明问题可以见于主干知识部分的平均值不等式 章节。
我们先介绍一些简单的求值问题。
相关例题1:
已知0 < x < 1,求函数
f
(
x
)
=
−
x
3
−
x
2
+
x
+
1
{\displaystyle f(x)=-x^{3}-x^{2}+x+1}
的最大值。
答案:
32
27
{\displaystyle {\frac {32}{27}}}
。
相关例题2:
求函数
f
(
x
)
=
x
2
1
−
x
2
(
0
<
x
<
1
)
{\displaystyle f(x)=x^{2}{\sqrt {1-x^{2}}}\quad (0<x<1)}
的最大值。
答案:
2
3
9
{\displaystyle {\frac {2{\sqrt {3}}}{9}}}
。
相关例题3:
已知0 < x < 2,求函数
f
(
x
)
=
6
x
(
4
−
x
2
)
{\displaystyle f(x)=6x(4-x^{2})}
的最大值。
答案:
32
3
3
{\displaystyle {\frac {32{\sqrt {3}}}{3}}}
。
其次,我们介绍通过“拼凑常数项升/降幂”来求最值的技巧。这种方法针对已知条件和待求证的式子中都具有相似的代数式,但是幂次不相同的情况。对于这类问题,可以巧凑常数项,然后利用不等式进行幂次的升/降,以便用上已知约束条件求解最值。
这种题型有2个要点需要注意:
待求证或求解的式子经常可以拆成多个形式等价的部分,先用不等式单独求解。
合并单独的不等式时,需要保证取等条件一致。为此,所需待定常数的取值一般会结合原不等式的取等条件作为线索来猜测。
相关例题4:
设
a
,
b
>
0
,
a
3
b
3
=
2
{\displaystyle a,b>0,a^{3}b^{3}=2}
,求证:
a
+
b
≤
2
{\displaystyle a+b\leq 2}
。
参考证明:
{
a
3
+
1
3
+
1
3
≥
3
a
3
⋅
1
3
⋅
1
3
3
=
3
a
b
3
+
1
3
+
1
3
≥
3
a
3
⋅
1
3
⋅
1
3
3
=
3
b
⇒
a
3
+
b
3
+
4
=
(
a
3
+
1
3
+
1
3
)
+
(
b
3
+
1
3
+
1
3
)
≥
3
a
+
3
b
=
3
(
a
+
b
)
⇒
a
3
+
b
3
+
4
3
≥
a
+
b
⇒
2
+
4
3
≥
a
+
b
⇒
a
+
b
≤
2
{\displaystyle {\begin{array}{l}\left\{{\begin{array}{l}a^{3}+1^{3}+1^{3}\geq 3{\sqrt[{3}]{a^{3}\cdot 1^{3}\cdot 1^{3}}}=3a\\b^{3}+1^{3}+1^{3}\geq 3{\sqrt[{3}]{a^{3}\cdot 1^{3}\cdot 1^{3}}}=3b\end{array}}\right.\\\Rightarrow a^{3}+b^{3}+4=(a^{3}+1^{3}+1^{3})+(b^{3}+1^{3}+1^{3})\geq 3a+3b=3(a+b)\\\Rightarrow {\frac {a^{3}+b^{3}+4}{3}}\geq a+b\quad \Rightarrow \quad {\frac {2+4}{3}}\geq a+b\quad \Rightarrow \quad a+b\leq 2\end{array}}}
证明完毕。
相关例题5:
设
a
,
b
>
0
,
a
3
+
b
3
=
2
{\displaystyle a,b>0,a^{3}+b^{3}=2}
,求
a
2
+
b
2
+
5
a
b
{\displaystyle a^{2}+b^{2}+5ab}
的最大值。
相关例题6:
设
a
,
b
,
c
>
0
{\displaystyle a,b,c>0}
,求证:
a
3
+
b
3
+
c
3
≥
a
b
+
b
c
+
c
a
{\displaystyle a^{3}+b^{3}+c^{3}\geq ab+bc+ca}
。
相关例题7:
设
a
,
b
>
0
,
a
+
b
=
2
{\displaystyle a,b>0,a+b=2}
,求证:
a
3
+
b
3
≥
2
{\displaystyle a^{3}+b^{3}\geq 2}
。
参考证明:
{
a
3
+
1
3
+
1
3
≥
3
(
1
⋅
1
⋅
a
)
=
3
a
b
3
+
1
3
+
1
3
≥
3
(
1
⋅
1
⋅
b
)
=
3
b
⇒
a
3
+
b
3
+
4
=
(
a
3
+
2
)
+
(
b
3
+
2
)
≥
3
a
+
3
b
=
3
(
a
+
b
)
{\displaystyle {\begin{array}{l}\left\{{\begin{array}{l}a^{3}+1^{3}+1^{3}\geq 3(1\cdot 1\cdot a)=3a\\b^{3}+1^{3}+1^{3}\geq 3(1\cdot 1\cdot b)=3b\end{array}}\right.\Rightarrow a^{3}+b^{3}+4=(a^{3}+2)+(b^{3}+2)\geq 3a+3b=3(a+b)\end{array}}}
又因为已知a + b = 2,所以:
a
3
+
b
3
≥
3
(
a
+
b
)
−
4
=
3
⋅
2
−
4
=
2
{\displaystyle a^{3}+b^{3}\geq 3(a+b)-4=3\cdot 2-4=2}
证明完毕。
最后,介绍一些同样需要技巧的代数式比较问题。
相关例题8:
设
a
,
b
,
c
>
0
,
a
+
b
+
c
=
1
{\displaystyle a,b,c>0,a+b+c=1}
,求
a
b
+
b
c
+
c
a
{\displaystyle ab+bc+ca}
的最大值。
答案:
1
3
{\displaystyle {\frac {1}{3}}}
。
点评:如果3个正数a、b、c的和为固定值,则
a
b
+
b
c
+
c
a
{\displaystyle ab+bc+ca}
有最大值;反过来,如果
a
b
+
b
c
+
c
a
{\displaystyle ab+bc+ca}
为固定值,则正数a、b、c的和有最小值。这是一个常用结论,其证明步骤也会经常被用到。
相关例题5:
设
a
,
b
,
c
>
0
,
a
b
+
b
c
+
a
c
=
1
{\displaystyle a,b,c>0,ab+bc+ac=1}
,求证:
(1)
1
a
+
1
b
+
1
c
≥
3
3
{\displaystyle {\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}\geq 3{\sqrt {3}}}
(2)
a
b
c
(
a
+
b
+
c
)
≤
1
3
{\displaystyle abc(a+b+c)\leq {\frac {1}{3}}}
参考证明:
(1)
a
b
+
b
c
+
c
a
≥
3
(
a
b
)
(
b
c
)
(
c
a
)
3
=
3
(
a
b
c
)
2
3
{\displaystyle ab+bc+ca\geq 3{\sqrt[{3}]{(ab)(bc)(ca)}}=3(abc)^{\frac {2}{3}}}
带入已知条件
a
b
+
b
c
+
c
a
=
1
{\displaystyle ab+bc+ca=1}
可得:
1
≥
3
(
a
b
c
)
2
3
⇒
a
b
c
≤
1
3
3
⇒
1
a
+
1
b
+
1
c
=
a
b
+
b
c
+
a
c
a
b
c
=
1
a
b
c
≤
3
3
{\displaystyle {\begin{array}{l}1\geq 3(abc)^{\frac {2}{3}}\quad \Rightarrow \quad abc\leq {\frac {1}{3{\sqrt {3}}}}\\\Rightarrow {\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}={\frac {ab+bc+ac}{abc}}={\frac {1}{abc}}\leq 3{\sqrt {3}}\end{array}}}
证明完毕。
(2)首先注意到下列2个条件:
{
a
b
c
(
a
+
b
+
c
)
=
(
a
b
)
(
c
a
)
+
(
b
c
)
(
a
b
)
+
(
c
a
)
(
b
c
)
a
b
+
b
c
+
c
a
=
1
{\displaystyle {\begin{array}{l}\left\{{\begin{array}{l}abc(a+b+c)=(ab)(ca)+(bc)(ab)+(ca)(bc)\\ab+bc+ca=1\end{array}}\right.\end{array}}}
它们的变量情况较复杂,但是具有形式上的一致性,可作如下换元:
x
=
a
b
>
0
,
y
=
b
c
>
0
,
z
=
c
a
>
0
{\displaystyle x=ab>0,y=bc>0,z=ca>0}
然后原问题转化如下问题:
已知
x
,
y
,
z
>
0
,
x
+
y
+
z
=
1
{\displaystyle x,y,z>0,x+y+z=1}
,求
x
y
+
y
z
+
z
x
{\displaystyle xy+yz+zx}
的最大值。
根据前面类似例题的思路,可以得到:
2
(
x
+
y
+
z
)
2
=
(
x
2
+
y
2
)
+
(
y
2
+
z
2
)
+
(
z
2
+
x
2
)
+
4
(
x
y
+
y
z
+
z
x
)
≥
2
x
y
+
2
y
z
+
2
z
x
+
4
(
x
y
+
y
z
+
z
x
)
=
6
(
x
y
+
y
z
+
z
x
)
{\displaystyle {\begin{array}{l}2(x+y+z)^{2}=(x^{2}+y^{2})+(y^{2}+z^{2})+(z^{2}+x^{2})+4(xy+yz+zx)\\\geq 2xy+2yz+2zx+4(xy+yz+zx)=6(xy+yz+zx)\end{array}}}
所以可得
(
x
+
y
+
z
)
2
≥
3
(
x
y
+
y
z
+
z
x
)
{\displaystyle (x+y+z)^{2}\geq 3(xy+yz+zx)}
。
将条件
x
+
y
+
z
=
1
{\displaystyle x+y+z=1}
代入可知:
a
b
c
(
a
+
b
+
c
)
=
(
a
b
)
(
c
a
)
+
(
b
c
)
(
a
b
)
+
(
c
a
)
(
b
c
)
=
x
y
+
y
z
+
z
x
≤
1
3
(
x
+
y
+
z
)
2
=
1
3
{\displaystyle {\begin{array}{l}abc(a+b+c)=(ab)(ca)+(bc)(ab)+(ca)(bc)\\=xy+yz+zx\leq {\frac {1}{3}}(x+y+z)^{2}={\frac {1}{3}}\end{array}}}
证明完毕。
相关例题10:
设
a
>
0
{\displaystyle a>0}
,求证:
a
2
+
1
a
2
−
2
≥
a
+
1
a
−
2
{\displaystyle {\sqrt {a^{2}+{\frac {1}{a^{2}}}}}-{\sqrt {2}}\geq a+{\frac {1}{a}}-2}
。
相关例题11:
设
a
,
b
,
c
>
0
{\displaystyle a,b,c>0}
,求证:
1
2
a
+
1
2
b
+
1
2
c
≥
1
b
+
c
+
1
c
+
a
+
1
c
+
a
{\displaystyle {\frac {1}{2a}}+{\frac {1}{2b}}+{\frac {1}{2c}}\geq {\frac {1}{b+c}}+{\frac {1}{c+a}}+{\frac {1}{c+a}}}
。
1957年,B·奥斯透(B. Ostle)和H·L·特尔维利尔(H. L. Terwilliger)提出对于不相等的任意2个正数a和b,存在不等式
a
−
b
ln
a
−
ln
b
>
a
b
{\displaystyle {\frac {a-b}{\ln a-\ln b}}>{\sqrt {ab}}}
;1966年,B·C·卡尔森(B. C. Carlson)提出对于不相等的任意2个正数a和b,存在不等式
a
+
b
2
>
a
−
b
ln
a
−
ln
b
{\displaystyle {\frac {a+b}{2}}>{\frac {a-b}{\ln a-\ln b}}}
[ 1] 。将它们合并到一起,并和算术-几何平均值不等式相联系,我们就得到本节的主角:
设
a
,
b
>
0
,
a
≠
b
{\displaystyle a,b>0,a\neq b}
,则有下列算术-对数-几何平均值不等式 (arithmetic-logarithmic-geometric mean inequality )[ 1] ,简称对数均值不等式 或A-L-G不等式 :
a
+
b
2
>
a
−
b
ln
a
−
ln
b
>
a
b
{\displaystyle {\frac {a+b}{2}}>{\frac {a-b}{\ln a-\ln b}}>{\sqrt {ab}}}
其中
a
−
b
ln
a
−
ln
b
{\displaystyle {\frac {a-b}{\ln a-\ln b}}}
叫做a和b的对数平均数 (logarithmic mean )[ 1] 。
不妨设
a
<
b
,
t
=
b
a
>
1
{\displaystyle a<b,t={\frac {b}{a}}>1}
,作换元b = t a即知原不等式可化为:
t
+
1
2
>
t
−
1
ln
t
>
t
{\displaystyle {\frac {t+1}{2}}>{\frac {t-1}{\ln t}}>{\sqrt {t}}}
于是原不等式等价于下列2个不等式同时成立:
左半边:
ln
x
>
2
(
x
−
1
)
x
+
1
{\displaystyle \ln x>{\frac {2(x-1)}{x+1}}}
(取
t
=
x
,
x
>
1
{\displaystyle t=x,x>1}
)
右半边:
x
−
1
x
>
2
ln
x
{\displaystyle x-{\frac {1}{x}}>2\ln x}
(取
t
=
x
2
,
x
>
1
{\displaystyle t=x^{2},x>1}
)
证明:先证左半边的不等式。设
f
(
x
)
=
ln
x
−
2
(
x
−
1
)
x
+
1
=
ln
x
−
4
x
+
1
+
2
(
x
≥
1
)
{\displaystyle f(x)=\ln x-{\frac {2(x-1)}{x+1}}=\ln x-{\frac {4}{x+1}}+2\quad (x\geq 1)}
,易得
f
′
(
x
)
=
1
x
+
4
(
x
+
1
)
2
{\displaystyle f'(x)={\frac {1}{x}}+{\frac {4}{(x+1)^{2}}}}
。
易知当x > 1时,恒有f'(x) > 0,即此时的f(x)严格单调递增。
又因为f(x)在x = 1时是连续的,所以
f
(
x
)
≥
f
(
1
)
=
ln
1
−
2
(
1
−
1
)
1
+
1
=
0
−
0
=
0
(
x
≥
1
)
⇒
ln
x
−
2
(
x
−
1
)
x
+
1
≥
0
(
x
≥
1
)
⇒
ln
x
≥
2
(
x
−
1
)
x
+
1
(
x
≥
1
)
{\displaystyle {\begin{array}{l}f(x)\geq f(1)=\ln 1-{\frac {2(1-1)}{1+1}}=0-0=0\quad (x\geq 1)\\\Rightarrow \ln x-{\frac {2(x-1)}{x+1}}\geq 0\quad (x\geq 1)\\\Rightarrow \ln x\geq {\frac {2(x-1)}{x+1}}\quad (x\geq 1)\end{array}}}
上述不等式中的等于号当且仅当x = 1时严格成立。
再证右半边的不等式。设
f
(
x
)
=
x
−
1
x
−
2
ln
x
(
x
≥
1
)
{\displaystyle f(x)=x-{\frac {1}{x}}-2\ln x\quad (x\geq 1)}
,易得
f
′
(
x
)
=
1
+
1
x
2
−
2
x
=
x
2
+
1
−
2
x
x
2
=
(
x
−
1
)
2
x
2
{\displaystyle f'(x)=1+{\frac {1}{x^{2}}}-{\frac {2}{x}}={\frac {x^{2}+1-2x}{x^{2}}}={\frac {(x-1)^{2}}{x^{2}}}}
。
易知当x > 1时,恒有f'(x) > 0。即此时的f(x)严格单调递增。
又因为f(x)在x = 1时是连续的,所以
f
(
x
)
≥
f
(
1
)
=
0
(
x
≥
1
)
⇒
x
−
1
x
−
2
ln
x
≥
0
(
x
≥
1
)
⇒
x
−
1
x
≥
2
ln
x
(
x
≥
1
)
{\displaystyle {\begin{array}{l}f(x)\geq f(1)=0\quad (x\geq 1)\\\Rightarrow x-{\frac {1}{x}}-2\ln x\geq 0\quad (x\geq 1)\\\Rightarrow x-{\frac {1}{x}}\geq 2\ln x\quad (x\geq 1)\end{array}}}
上述不等式中的等于号当且仅当x = 1时严格成立。
注意:对数平均值不等式中不存在取等号的可能性,它在这一点上与代数-几何不等式等许多其它常用不等式明显不同。因为当且仅当a = b时,它们的算术平均值才会刚好等于几何平均值,但是此时对数平均值会因分母为0而失去意义。
提示:对数均值不等式还存在以定积分 描述的积分形式。我们在本小节只会介绍其初等形式。[ 1]
使用对数平均值不等式解题时,常采用英文词首字母缩写,把对数平均值不等式中的算术平均值部分简称为A,对数平均值部分简称为L,几何平均值部分简称为G。由此对数均值不等式可以简记为
A
>
L
>
G
{\displaystyle A>L>G}
。这也是该不等式被称为“A-L-G不等式”的原因。
对数均值不等式的其它常用推论:
取
a
=
x
2
,
b
=
1
{\displaystyle a=x^{2},b=1}
,则有:
ln
2
(
x
−
1
)
x
+
1
<
ln
x
<
x
−
1
x
{\displaystyle \ln {\frac {2(x-1)}{x+1}}<\ln x<x-{\frac {1}{x}}}
。
取
a
=
e
x
1
,
b
=
e
x
2
{\displaystyle a=e^{x_{1}},b=e^{x_{2}}}
,则分别有
x
1
−
x
2
2
>
e
x
1
−
e
x
2
e
x
1
+
e
x
2
{\displaystyle {\frac {x_{1}-x_{2}}{2}}>{\frac {e^{x_{1}}-e^{x_{2}}}{e^{x_{1}}+e^{x_{2}}}}}
和
x
1
−
x
2
<
e
x
1
−
x
x
2
e
x
1
+
x
2
2
{\displaystyle x_{1}-x_{2}<{\frac {e^{x_{1}}-x^{x_{2}}}{e^{\frac {x_{1}+x_{2}}{2}}}}}
成立。
A-L-G与中国大陆高考导数压轴题中的极值点偏移考点 联系密切。本小节我们只讨论极值点偏移问题的不等式解法(即变形后套用A-L-G不等式解决此类问题),暂不提及其它传统的导数论证方法。
注意:(1)在常规数学考试中,A-L-G不等式的正确性需要现场证明,不能直接拿来使用。(2)我们在A-L-G不等式的证明过程用到了求导论证的技巧,所以它并不是一种完全独立于微积分理论的工具,只是可以找出一类问题的共性并简化一些证明步骤。
相关例题1:
求证:
∀
x
1
≠
x
2
,
e
x
1
+
x
2
2
<
e
x
1
−
e
x
2
x
1
−
x
2
<
e
x
1
+
e
x
2
2
{\displaystyle \forall x_{1}\neq x_{2},e^{\frac {x_{1}+x_{2}}{2}}<{\frac {e^{x_{1}}-e^{x_{2}}}{x_{1}-x_{2}}}<{\frac {e^{x_{1}}+e^{x_{2}}}{2}}}
。
相关例题2:
已知函数
f
(
x
)
=
e
x
,
x
∈
R
{\displaystyle f(x)=e^{x},x\in \mathbb {R} }
。设a < b,比较
f
(
a
)
+
f
(
b
)
2
{\displaystyle {\frac {f(a)+f(b)}{2}}}
与
f
(
b
)
−
f
(
a
)
b
−
a
{\displaystyle {\frac {f(b)-f(a)}{b-a}}}
的大小,并说明理由。
(出自2013年中国大陆高考理科数学陕西卷第21题第(3)问(压轴解答题)。)
相关例题3:
已知
f
(
x
)
=
ln
x
x
,
f
(
x
1
)
=
f
(
x
2
)
(
x
1
≠
x
2
)
{\displaystyle f(x)={\frac {\ln x}{x}},f(x_{1})=f(x_{2})\quad (x_{1}\neq x_{2})}
,比较
x
1
+
x
2
{\displaystyle x_{1}+x_{2}}
与2e的大小。
相关例题4:
已知函数
f
(
x
)
=
e
x
−
x
2
−
a
x
(
a
∈
R
)
{\displaystyle f(x)=e^{x}-x^{2}-ax\quad (a\in \mathbb {R} )}
有2个极值点
x
1
,
x
2
(
x
1
<
x
2
)
{\displaystyle x_{1},x_{2}\quad (x_{1}<x_{2})}
,求证:
e
x
1
+
e
x
2
>
4
{\displaystyle e^{x_{1}}+e^{x_{2}}>4}
。
相关例题5:
已知函数
f
(
x
)
=
e
x
−
a
x
+
a
(
a
∈
R
)
{\displaystyle f(x)=e^{x}-ax+a\quad (a\in \mathbb {R} )}
存在2个不同的零点
x
1
,
x
2
(
1
<
x
1
<
x
2
)
{\displaystyle x_{1},x_{2}\quad (1<x_{1}<x_{2})}
,求证:
x
1
x
2
<
x
1
+
x
2
{\displaystyle x_{1}x_{2}<x_{1}+x_{2}}
。
排序不等式是一个不怎么起眼的不等式,它在许多地方都不会使用,因为平均值不等式或柯西不等式都可以取代它,并且在叙述方面也比较困难。排序不等式是这样的:
设
a
1
⩽
a
2
⩽
⋯
⩽
a
n
,
b
1
⩽
b
2
⩽
⋯
⩽
b
n
,
{
c
1
,
c
2
,
⋯
,
c
n
}
=
{
b
1
,
b
2
,
⋯
,
b
n
}
{\displaystyle a_{1}\leqslant a_{2}\leqslant \cdots \leqslant a_{n},b_{1}\leqslant b_{2}\leqslant \cdots \leqslant b_{n},\{c_{1},c_{2},\cdots ,c_{n}\}=\{b_{1},b_{2},\cdots ,b_{n}\}}
,那么有
∑
i
=
1
n
a
i
b
i
⩾
∑
i
=
1
n
a
i
c
i
⩾
∑
i
=
1
n
a
i
b
n
+
1
−
i
{\displaystyle \sum _{i=1}^{n}a_{i}b_{i}\geqslant \sum _{i=1}^{n}a_{i}c_{i}\geqslant \sum _{i=1}^{n}a_{i}b_{n+1-i}}
即顺序和大于等于乱序和大于等于正序和。
我们一般用调整法证明这个不等式。
∀
n
,
k
,
t
n
∈
N
+
{\displaystyle \forall n,k,t_{n}\in \mathbb {N} ^{+}}
有
t
n
<
n
,
k
<
n
{\displaystyle t_{n}<n,k<n}
,有
(
a
n
−
a
k
)
(
b
n
−
b
t
n
)
⩾
0
{\displaystyle (a_{n}-a_{k})(b_{n}-b_{t_{n}})\geqslant 0}
。那么可以得到
a
n
b
n
+
a
k
b
t
n
⩾
a
k
b
k
+
a
n
b
t
n
{\displaystyle a_{n}b_{n}+a_{k}b_{t_{n}}\geqslant a_{k}b_{k}+a_{n}b_{t_{n}}}
,我们把
b
n
,
b
t
n
{\displaystyle b_{n},b_{t_{n}}}
交换,和将变大。我们不停重复这个过程,乱序变为顺序,和变为最大。同理可以证明乱序和大于等于反序和。
在使用排序不等式时,一定要注意两个数组能得出大小顺序 ,否则不能使用。当然,在求证的是一个高度对称的式子是,我们可以设出一个大小来使用排序不等式。
切比雪夫不等式可以用排序不等式得到,但是极其不常用。它主要的用途是让书写更方便。
设
a
1
⩽
a
2
⩽
⋯
⩽
a
n
,
b
1
⩽
b
2
⩽
⋯
⩽
b
n
{\displaystyle a_{1}\leqslant a_{2}\leqslant \cdots \leqslant a_{n},b_{1}\leqslant b_{2}\leqslant \cdots \leqslant b_{n}}
,那么
∑
i
=
1
n
a
i
b
n
+
1
−
i
⩽
1
n
(
∑
i
=
1
n
a
i
)
(
∑
i
=
1
n
b
i
)
⩽
∑
i
=
1
n
a
i
b
i
{\displaystyle \sum _{i=1}^{n}a_{i}b_{n+1-i}\leqslant {\frac {1}{n}}\left(\sum _{i=1}^{n}a_{i}\right)\left(\sum _{i=1}^{n}b_{i}\right)\leqslant \sum _{i=1}^{n}a_{i}b_{i}}
证明 :由排序不等式可知:
∑
i
=
1
n
a
i
b
i
⩾
∑
i
=
1
n
a
i
b
i
∑
i
=
1
n
a
i
b
i
⩾
∑
i
=
1
n
a
i
b
i
+
1
∑
i
=
1
n
a
i
b
i
⩾
∑
i
=
1
n
a
i
b
i
+
2
⋮
∑
i
=
1
n
a
i
b
i
⩾
∑
i
=
1
n
a
i
b
i
+
n
−
1
{\displaystyle {\begin{aligned}&\sum _{i=1}^{n}a_{i}b_{i}\geqslant \sum _{i=1}^{n}a_{i}b_{i}\\&\sum _{i=1}^{n}a_{i}b_{i}\geqslant \sum _{i=1}^{n}a_{i}b_{i+1}\\&\sum _{i=1}^{n}a_{i}b_{i}\geqslant \sum _{i=1}^{n}a_{i}b_{i+2}\\&\vdots \\&\sum _{i=1}^{n}a_{i}b_{i}\geqslant \sum _{i=1}^{n}a_{i}b_{i+n-1}\end{aligned}}}
我们把这n个式子加起来,得到
n
∑
i
=
1
n
a
i
b
i
⩾
(
∑
i
=
1
n
a
i
)
(
∑
i
=
1
n
b
i
)
{\displaystyle n\sum _{i=1}^{n}a_{i}b_{i}\geqslant \left(\sum _{i=1}^{n}a_{i}\right)\left(\sum _{i=1}^{n}b_{i}\right)}
即原不等式右半边得证。同理可以证明不等式左半边。那么切比雪夫不等式得证。
对于一个函数
f
(
x
)
{\displaystyle f(x)}
,如果满足
∀
x
1
,
x
2
∈
I
{\displaystyle \forall x_{1},x_{2}\in I}
都有
f
(
x
1
+
x
2
2
)
⩽
1
2
[
f
(
x
1
)
+
f
(
x
2
)
]
{\displaystyle f\left({\frac {x_{1}+x_{2}}{2}}\right)\leqslant {\frac {1}{2}}[f(x_{1})+f(x_{2})]}
那么我们称
f
(
x
)
{\displaystyle f(x)}
在区间
I
{\displaystyle I}
上是下凸的。将其中的小于等于号改成大于等于号,那么这个函数就是上凸的。有时我们称下凸为凸,称上凸为凹。
判定一个函数是否为下凸函数一般有两个方法:扣定义、求二阶导数。不难发现,对于任意一个下凸函数,其二阶导数在区间内恒为正值。虽然求二阶导数的方法不需要什么技巧性,但是它有时是不能用的。比如对于函数
f
(
x
)
=∣
x
∣
{\displaystyle f(x)=\mid x\mid }
,它显然是一个下凸函数(由图像可以看出来),但它是不能求导的。不过题目中一般不会出现很难说明是下凸的函数,所以求二阶到还是最保险的方法。
相关例题:
证明函数
f
1
(
x
)
=
1
1
−
x
,
f
2
(
x
)
=
x
1
−
x
(
0
<
x
<
1
)
{\displaystyle f_{1}(x)={\frac {1}{\sqrt {1-x}}},f_{2}(x)={\frac {x}{\sqrt {1-x}}}(0<x<1)}
都是下凸函数。
参考证明:
不难发现
d
2
f
1
(
x
)
d
x
2
=
3
4
(
1
−
x
)
−
5
2
,
d
2
f
2
(
x
)
d
x
2
=
1
−
x
4
(
1
−
x
)
5
2
{\displaystyle {\frac {d^{2}f_{1}(x)}{dx^{2}}}={\frac {3}{4}}(1-x)^{-{\frac {5}{2}}},{\frac {d^{2}f_{2}(x)}{dx^{2}}}={\frac {1-x}{4(1-x)^{\frac {5}{2}}}}}
(求导过程略),且
∀
x
∈
(
0
,
1
)
,
f
1
″
(
x
)
>
0
,
f
2
″
(
x
)
>
0
{\displaystyle \forall x\in (0,1),f_{1}''(x)>0,f_{2}''(x)>0}
,得证。
图中的男人就是约翰·延森(Johan Ludwig William Valdemar Jensen,1859年—1925年)。很明显,他制造了延森不等式。
区间I上的下凸函数
f
(
x
)
{\displaystyle f(x)}
一定满足如下的延森不等式 (Jensen inequality ):
∀
x
1
,
x
2
,
x
3
,
.
.
.
,
x
n
∈
I
,
∑
i
=
1
n
f
(
x
i
)
n
≥
f
(
∑
i
=
1
n
x
i
n
)
{\displaystyle \forall x_{1},x_{2},x_{3},...,x_{n}\in I,{\frac {\sum _{i=1}^{n}f(x_{i})}{n}}\geq f({\frac {\sum _{i=1}^{n}x_{i}}{n}})}
当且仅当
x
1
=
x
2
=
x
3
=
.
.
.
=
x
n
{\displaystyle x_{1}=x_{2}=x_{3}=...=x_{n}}
时上式中的等号成立。
区间I上的下凸函数
f
(
x
)
{\displaystyle f(x)}
一定满足如下加权形式的延森不等式 (weighted Jensen inequality ):
∀
x
1
,
x
2
,
x
3
,
.
.
.
,
x
n
∈
I
,
∑
i
=
1
n
λ
i
=
1
,
∑
i
=
1
n
λ
i
f
(
x
i
)
≥
f
(
∑
i
=
1
n
λ
i
x
i
)
{\displaystyle \forall x_{1},x_{2},x_{3},...,x_{n}\in I,\sum _{i=1}^{n}\lambda _{i}=1,\sum _{i=1}^{n}\lambda _{i}f(x_{i})\geq f(\sum _{i=1}^{n}\lambda _{i}x_{i})}
当且仅当
x
1
=
x
2
=
x
3
=
.
.
.
=
x
n
{\displaystyle x_{1}=x_{2}=x_{3}=...=x_{n}}
时上式中的等号成立。
它们以丹麦业余数学家约翰·延森 命名。
为了应用Jensen不等式,需要根据题目的形式特点,寻找合适的上凸或下凸函数。比较常见的是设以下函数作为辅助函数:
f
(
x
)
=
sin
x
(
x
∈
[
0
,
π
]
)
{\displaystyle f(x)=\sin x\quad (x\in [0,\pi ])}
f
(
x
)
=
cos
x
(
x
∈
[
0
,
π
2
]
o
r
[
π
2
,
π
]
)
{\displaystyle f(x)=\cos x\quad (x\in [0,{\frac {\pi }{2}}]\ or\ [{\frac {\pi }{2}},\pi ])}
f
(
x
)
=
tan
x
(
x
∈
[
0
,
π
2
)
)
{\displaystyle f(x)=\tan x\quad (x\in [0,{\frac {\pi }{2}}))}
f
(
x
)
=
ln
x
{\displaystyle f(x)=\ln x}
或
f
(
x
)
=
l
g
x
(
x
>
0
)
{\displaystyle f(x)=lgx\quad (x>0)}
f
(
x
)
=
x
ln
x
{\displaystyle f(x)=x\ln x}
或
f
(
x
)
=
x
l
g
x
(
x
>
0
)
{\displaystyle f(x)=xlgx\quad (x>0)}
最后2个辅助函数常用于需要进行对数变换的题型,而且有时会不确定用二者中的哪一个,这时可以分别都常试一下。
相关例题1:
已知函数
f
(
x
)
=
x
ln
x
{\displaystyle f(x)=x\ln x}
,且
0
<
a
<
b
{\displaystyle 0<a<b}
,求证:
g
(
a
)
+
g
(
b
)
−
2
g
(
a
+
b
2
)
>
0
{\displaystyle g(a)+g(b)-2g({\frac {a+b}{2}})>0}
。
相关例题2:
若
a
1
,
a
2
,
.
.
.
,
a
n
{\displaystyle a_{1},a_{2},...,a_{n}}
是一组实数,且
∑
i
=
1
n
a
i
=
k
{\displaystyle \sum _{i=1}^{n}\limits a_{i}=k}
。假设n与k都是固定的常数,求
∑
i
=
1
n
a
i
2
{\displaystyle \sum _{i=1}^{n}\limits a_{i}^{2}}
的最小值。
相关例题3:
设
a
,
b
>
0
,
a
+
b
=
1
{\displaystyle a,b>0,a+b=1}
,求证:
1
+
a
2
+
1
+
b
2
≥
5
{\displaystyle {\sqrt {1+a^{2}}}+{\sqrt {1+b^{2}}}\geq {\sqrt {5}}}
。
相关例题4:
设
a
,
b
,
c
>
0
,
a
+
b
+
c
=
1
{\displaystyle a,b,c>0,a+b+c=1}
,求证:
a
+
5
+
b
+
5
+
c
+
5
≤
4
3
{\displaystyle {\sqrt {a+5}}+{\sqrt {b+5}}+{\sqrt {c+5}}\leq 4{\sqrt {3}}}
。
参考证明2(仅用到算术-几何平均值不等式):
我们考虑利用巧配系数升幂的技巧,设置3个待定常系数
k
1
,
k
2
,
k
3
{\displaystyle k_{1},k_{2},k_{3}}
,并分别构造以下的3个不等式:
{
k
1
⋅
a
+
5
≤
k
1
2
+
(
a
+
5
)
2
(
k
1
>
0
)
k
2
⋅
b
+
5
≤
k
2
2
+
(
b
+
5
)
2
(
k
2
>
0
)
k
3
⋅
c
+
5
≤
k
3
2
+
(
c
+
5
)
2
(
k
3
>
0
)
{\displaystyle \left\{{\begin{array}{l}k_{1}\cdot {\sqrt {a+5}}\leq {\frac {k_{1}^{2}+(a+5)}{2}}\quad (k_{1}>0)\\k_{2}\cdot {\sqrt {b+5}}\leq {\frac {k_{2}^{2}+(b+5)}{2}}\quad (k_{2}>0)\\k_{3}\cdot {\sqrt {c+5}}\leq {\frac {k_{3}^{2}+(c+5)}{2}}\quad (k_{3}>0)\end{array}}\right.}
以上各式中的等号分别当且仅当
k
1
=
a
+
5
,
k
2
=
b
+
5
,
k
3
=
c
+
5
{\displaystyle k_{1}={\sqrt {a+5}},k_{2}={\sqrt {b+5}},k_{3}={\sqrt {c+5}}}
时成立。
由于已知条件是a、b、c的一次代数式,而上述3个不等式的右侧累加后刚好也能得到a、b、c的一次代数式。
因此只要取等条件合适,就能通过连加上述3个不等式来得证原不等式。
我们接下来的想法是选取合适的
k
1
,
k
2
,
k
3
{\displaystyle k_{1},k_{2},k_{3}}
,以便论证:
k
1
a
+
5
+
k
2
b
+
5
+
k
3
c
+
5
≤
k
1
2
+
(
a
+
5
)
2
+
k
2
2
+
(
b
+
5
)
2
+
k
3
2
+
(
c
+
5
)
2
≥
4
3
=
k
1
2
+
k
2
2
+
k
3
2
2
+
(
a
+
b
+
c
)
+
15
2
≥
4
3
{\displaystyle {\begin{array}{l}k_{1}{\sqrt {a+5}}+k_{2}{\sqrt {b+5}}+k_{3}{\sqrt {c+5}}\\\leq {\frac {k_{1}^{2}+(a+5)}{2}}+{\frac {k_{2}^{2}+(b+5)}{2}}+{\frac {k_{3}^{2}+(c+5)}{2}}\geq 4{\sqrt {3}}\\={\frac {k_{1}^{2}+k_{2}^{2}+k_{3}^{2}}{2}}+{\frac {(a+b+c)+15}{2}}\geq 4{\sqrt {3}}\end{array}}}
由于原不等式的左侧是关于a、b、c的轮换对称多项式 ,所以容易猜想当等号成立时,a、b、c的取值应该地位一致,即a = b = c。
再结合限制条件a + b + c = 1,易知原不等式的取等条件应该是
a
=
b
=
c
=
1
3
{\displaystyle a=b=c={\frac {1}{3}}}
。
另一方面,要使从原不等式中拆出的3个子不等式同时成立,需要同时保证
k
1
=
a
+
5
,
k
2
=
b
+
5
,
k
3
=
c
+
5
{\displaystyle k_{1}={\sqrt {a+5}},k_{2}={\sqrt {b+5}},k_{3}={\sqrt {c+5}}}
,
继而可知所需的
k
1
=
k
2
=
k
3
=
16
3
{\displaystyle k_{1}=k_{2}=k_{3}={\sqrt {\frac {16}{3}}}}
。即有:
16
3
⋅
a
+
5
+
16
3
⋅
b
+
5
+
16
3
⋅
c
+
5
≤
(
16
3
)
2
+
(
16
3
)
2
+
(
16
3
)
2
2
+
(
a
+
b
+
c
)
+
15
2
⇒
16
3
(
a
+
5
+
b
+
5
+
c
+
5
)
≤
3
⋅
16
3
2
+
(
a
+
b
+
c
)
+
15
2
⇒
a
+
5
+
b
+
5
+
c
+
5
≤
(
8
+
(
a
+
b
+
c
)
+
15
2
)
⋅
3
16
{\displaystyle {\begin{array}{l}{\sqrt {\frac {16}{3}}}\cdot {\sqrt {a+5}}+{\sqrt {\frac {16}{3}}}\cdot {\sqrt {b+5}}+{\sqrt {\frac {16}{3}}}\cdot {\sqrt {c+5}}\leq {\frac {({\sqrt {\frac {16}{3}}})^{2}+({\sqrt {\frac {16}{3}}})^{2}+({\sqrt {\frac {16}{3}}})^{2}}{2}}+{\frac {(a+b+c)+15}{2}}\\\Rightarrow {\frac {\sqrt {16}}{3}}({\sqrt {a+5}}+{\sqrt {b+5}}+{\sqrt {c+5}})\leq {\frac {3\cdot {\frac {16}{3}}}{2}}+{\frac {(a+b+c)+15}{2}}\\\Rightarrow {\sqrt {a+5}}+{\sqrt {b+5}}+{\sqrt {c+5}}\leq (8+{\frac {(a+b+c)+15}{2}})\cdot {\sqrt {\frac {3}{16}}}\end{array}}}
将已知条件a + b + c = 1代入,可得:
a
+
5
+
b
+
5
+
c
+
5
≤
(
8
+
1
+
15
2
)
⋅
3
16
=
16
⋅
3
16
=
3
⋅
16
=
4
3
{\displaystyle {\begin{array}{l}{\sqrt {a+5}}+{\sqrt {b+5}}+{\sqrt {c+5}}\leq (8+{\frac {1+15}{2}})\cdot {\sqrt {\frac {3}{16}}}\\=16\cdot {\sqrt {\frac {3}{16}}}={\sqrt {3\cdot 16}}=4{\sqrt {3}}\end{array}}}
上式中的等号当且仅当
a
=
b
=
c
=
1
3
{\displaystyle a=b=c={\frac {1}{3}}}
时同时成立。证明完毕。
下面,我们先假定读者能从字面上直观理解“凸集 ”一词的含义,由此引出接下来的对数凸性的定义:
对数凸函数 (logarithmically convex function )是同时满足以下定义的函数:
定义在实数向量空间中凸集内,函数值为正数。
函数进行对数变换后为(下)凸函数。
如果一个函数是对数凸函数,也可以说这个函数是对数(下)凸的 或者说具有对数(下)凸性 。根据定义,对数凸函数可以在进行对数变换后,保证Jensen不等式的成立。如果仔细观察算术-几何不等式,可以发现算术-几何不等式描述的也是一种对数凸性,所以它也容易利用Jensen不等式直接证明。
相关例题1:
已知
x
,
y
,
z
>
0
{\displaystyle x,y,z>0}
,且
x
+
y
+
z
=
1
{\displaystyle x+y+z=1}
,求证:
(
1
x
2
+
x
)
(
1
y
2
+
y
)
(
1
z
2
+
z
)
≥
(
28
3
)
3
{\displaystyle ({\frac {1}{x^{2}}}+x)({\frac {1}{y^{2}}}+y)({\frac {1}{z^{2}}}+z)\geq ({\frac {28}{3}})^{3}}
。
分析与提示:对要证明的不等式两边同时取对数,可得:
ln
(
1
x
2
+
x
)
+
ln
(
1
y
2
+
y
)
+
ln
(
1
z
2
+
z
)
≥
3
ln
(
28
3
)
{\displaystyle \ln({\frac {1}{x^{2}}}+x)+\ln({\frac {1}{y^{2}}}+y)+\ln({\frac {1}{z^{2}}}+z)\geq 3\ln({\frac {28}{3}})}
容易想到设辅助函数
f
(
t
)
=
ln
(
1
t
2
+
t
)
{\displaystyle f(t)=\ln({\frac {1}{t^{2}}}+t)}
,但是因为
f
(
t
)
{\displaystyle f(t)}
不是
(
0
,
+
∞
)
{\displaystyle (0,+\infty )}
上凹凸性保持不变的函数,不能急着直接套用Jensen不等式。注意到
x
,
y
,
z
>
0
{\displaystyle x,y,z>0}
,且
x
+
y
+
z
=
1
{\displaystyle x+y+z=1}
,这说明至少可以肯定
0
<
x
,
y
,
z
<
1
{\displaystyle 0<x,y,z<1}
,容易发现
f
(
t
)
{\displaystyle f(t)}
在
(
0
,
1
)
{\displaystyle (0,1)}
这个小范围内还是可以证明下凸性的,因此仍能使用Jensen不等式,但是要限制辅助函数的变量取值范围。
相关例题2:
已知
x
>
1
,
y
>
1
{\displaystyle x>1,y>1}
,求证:
(
x
+
y
)
ln
(
x
+
y
2
)
≤
x
ln
x
+
y
ln
y
{\displaystyle (x+y)\ln({\frac {x+y}{2}})\leq x\ln x+y\ln y}
。
相关例题3:
若
a
,
b
,
x
,
y
>
0
{\displaystyle a,b,x,y>0}
,求证:
(
x
+
y
)
ln
x
+
y
a
+
b
≤
x
ln
x
a
+
y
ln
y
b
{\displaystyle (x+y)\ln {\frac {x+y}{a+b}}\leq x\ln {\frac {x}{a}}+y\ln {\frac {y}{b}}}
。
设a, b, c > 0,则有
a
b
+
c
+
b
c
+
a
+
c
a
+
b
≥
3
2
{\displaystyle {\frac {a}{b+c}}+{\frac {b}{c+a}}+{\frac {c}{a+b}}\geq {\frac {3}{2}}}
。