查看“︁高中数学/不等式与数列/常用不等式补充”︁的源代码

== 阅读指南 ==
[[File:Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]
本节介绍的内容属于高中数学（常规教学大纲以外）的拓展知识，并不要求大多数中学生了解。

不等式的证明是高中数学中技巧性特别强的内容。本节补充了一些最常用的初等代数不等式和相关的基础例题，以便于读者在后续数学课程中遇到重要不等式时，能在这一节及时查漏补缺，了解它们常用于解决什么类型的问题。有的不等式可能还存在积分形式或是特殊的几何意义，但本节只侧重介绍它们在代数形式（不过其中可能有少数例题涉及[[高中数学/函数与三角/指数函数|指数函数]]或[[高中数学/函数与三角/对数函数|对数函数]]）下的简单应用。本节中各个小节的例题一般都按由易到难的顺序编排，在前面例题中给出的结论或方法也可能会在后面的例题中再次用到，以便巩固印象，也保证这一章节的内容适合按顺序阅读。有的例题可以使用多种常见不等式证明。我们在同时展示其多种证法的同时，也尽量将每个有多解的例题优先放在证法最简明、最易想到的对应不等式板块中。如果遇到有些例题的多种题解难易程度都非常接近（比如某例题用简单的不等式A和较高级的不等式B都能得到步骤数相近的简短论证），我们就将这样的例题放在更靠前、更基础的相关段落中。

本节不讨论技巧性偏复杂、难于想到的不等式证明方法。目前已有许多代数不等式原则上可以利用计算机[[w:机器证明|机器证明]]，工作中实际遇到时可能不必一一费力手算。关于不等式及其证明策略的更一般的论述，可以移步[[不等式]]专题教程或参考相关专著。

考虑到部分不等式有多种差异较大的汉语译名（例如丹麦姓氏Jensen在英语和丹麦语中的读音就很不一样，因此音译时容易造成较大差异），下文中也会直接用英文人名称呼这些译名不太统一的不等式，方便习惯不同译名的读者都能快速辨认它们。有的口口相传的以人名命名的不等式，但是实际上难以找到可信资料作证其命名由来（比如缺乏提出者的全名、原始论著、学术背景等关键信息）。本着对知识点负责的原则，在找到其确切、详实的参考资料之前，我们就不介绍其传闻名称，以免扩大讹误。请读者不要尽信从各类中学教科书及数学科普读物中了解到的数学野史。如果有需要了解某项数学知识的相关历史发展脉络，对低层次的普及读物上的信息只能信一半，更多、更可靠的信息应该是从知名的大学程度的教材、讲义、专著、同时代数学工作者回忆录中去查阅。

=== 预备知识 ===
本节大部分内容都要求读者至少了解算术-几何平均值不等式和柯西不等式的基本用法，所以建议基础薄弱的读者先挑选前文中[[高中数学/不等式与数列/平均值不等式|平均值不等式]]和[[高中数学/不等式与数列/柯西不等式|柯西不等式]]这2个章节的例题做一做，如果问题不大即可先阅读本节的n元代数-几何平均值不等式部分，然后再根据需要选读本节的其余内容。

本节将介绍的有些重要的不等式（例如Jensen不等式）或重要的证法（例如切线法）与导数的关系密切，建议准备阅读此小节的读者先学习[[高中数学/微积分初步/导数与切线方程|导数与切线方程]]、[[高中数学/微积分初步/利用导数证明不等式|利用导数证明不等式]]、[[高中数学/微积分初步/二阶导数与函数的凹凸性|利用二阶导数判断函数凹凸性]]这3节的内容。

在其它章节中已着重介绍过的不等式就不再专门列入本节，包括[[高中数学/不等式与数列/不等式的基本性质#绝对值不等式|绝对值不等式]]、[[高中数学/组合计数/二项式定理与伯努利不等式|伯努利不等式]]、[[高中数学/不等式与数列/阿贝尔求和公式|阿贝尔不等式]]等。

== 基础知识 ==
=== n元的代数-几何平均值不等式 ===
==== 代数-几何平均值不等式的一般形式及其证明 ====
先前在[[高中数学/不等式与数列/平均值不等式|平均值不等式]]章节学习的平均值不等式完全可以推广到包含更多变元的情形。

<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">设<math>x_1,x_2, \ldots, x_n</math>为<math>n</math>个正实数，称<math>\mathbf{A}_n = \frac{x_1 + x_2 + \cdots + x_n}{n}</math>为它们的'''算术平均数'''（'''arithmetic mean'''），称<math>\mathbf{G}_n = \sqrt[n]{x_1 \cdot x_2 \cdots x_n}</math>为它们的'''几何平均数'''（'''geometric mean'''）。<br />
一般形式的'''算术-几何平均值不等式'''（'''inequality of arithmetic and geometric means'''）指出，对任意的正实数<math>x_1, \ldots, x_n</math>，总有：
<center><math>\mathbf{A}_n \ge \mathbf{G}_n </math></center>
上述不等式中的等号当且仅当<math>x_1 = x_2 = \cdots = x_n</math>时才严格成立。算术-几何平均值不等式是表现算术平均数和几何平均数之间恒定的大小顺序关系。它也被簡稱为'''算几不等式'''（'''AM-GM'''）。
</font>
</blockquote>

其证明可见于维基百科[[w:平均值不等式|平均值不等式]]条目。这个不等式也可以扩展为包含n元的不等式链，其中最常用的是“n元的调和-几何-算术-平方平均值不等式”。人们常说的“平均值不等式”或“平均数不等式”指的也是该四大平均值组成的二元或n元不等式链。

==== 3元情形下的应用 ====
本小节列出一些可用平均值不等式解决的包含3个变元的常见的不等式问题。例题主要是围绕3元的代数-几何平均值不等式的解题应用，少数可以只使用2元的代数-几何不等式分多次解决，但需要一定的代数观察能力和变形技巧。部分特别简单（不需要用到3元算术-几何平均值不等式）的3元不等式证明问题可以见于主干知识部分的[[高中数学/不等式与数列/平均值不等式|平均值不等式]]章节。

我们先介绍一些简单的求值问题。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知0 < x < 1，求函数<math>f(x) = - x^3 - x^2 + x + 1</math>的最大值。

<!-- 本小节例题1的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 <math>
 \begin{array}{l}
  f(x) = - x^2 (x+1) + (x+1) = (1 - x^2) (x+1) = (1 - x)(1 + x)^2 \\
  = 4 \cdot (1 - x) \cdot \frac{1 + x}{2} \cdot \frac{1 + x}{2} \le 4 ((1-x) + \frac{\frac{x+1}{2} + \frac{x+1}{2}}{3})^3 = \frac{32}{27}
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac{x + 1}{2} = 1 - x</math>（即<math>x = \frac 1 3</math>）时成立。<br />
 所以<math>f(x)_{max} = f(\frac 1 3) = \frac{32}{27}</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：<math>\frac{32}{27}</math>。</p>
</div>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
求函数<math>f(x) = x^2 \sqrt{1 - x^2} \quad (0 < x < 1)</math>的最大值。

<!-- 本小节例题2的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 <math>f(x) = \sqrt{x^4 (1 - x^2)} = \sqrt{4 \cdot \frac{x^2}{2} \cdot \frac{x^2}{2} \cdot (1-x^2)}</math><br />
 又因为其中的：<br />
 <math>\frac{x^2}{2} \cdot \frac{x^2}{2} \cdot (1-x^2) \le (\frac{\frac{x^2}{2} + \frac{x^2}{2} + (1 - x^2)}{3})^3 = \frac{1}{27}</math><br />
 上式中的等号当且仅当<math>\frac{x^2}{2} = (1 - x^2)</math>（即<math>x = \frac{\sqrt{6}}{3}</math>）时成立。<br />
 所以<math>f(x) \le \sqrt{4 \cdot \frac{1}{27}} = \frac{2 \sqrt{3}}{9}</math>，即<math>f(x)_{max} = f(\frac{\sqrt{6}}{3}) = \frac{2 \sqrt{3}}{9}</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：<math>\frac{ 2 \sqrt{3}}{9}</math>。</p>
</div>

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知0 < x < 2，求函数<math>f(x) = 6x (4 - x^2)</math>的最大值。

<!-- 本小节例题3的解答 -->
<div class="collapsible hints" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>分析与提示：易知<math>f(x) = 2x \cdot (2 + x) \cdot 3 (2 - x)</math><br />
 因为0 < x < 2，所以上式中的3个因式都大于0。于是尝试考虑使用均值不等式：<br />
 <math>f(x) \le (\frac{2x + (2 + x) + 3 (2 - x)}{3})^3 = \frac{8^3}{27}</math><br />
 但由于其取等条件<math>2x = (2 + x) = 3 (2 - x)</math>不能同时成立，所以这种思路求不出最值，需要借助其它的办法变形后再求解。<br />
 由于问题中的代数式取值始终是非负的，这里改为采用平方后再求最值的方法求解。
 </p>
</div>
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 由于<math>\forall x \in (0, 2), f(x) > 0</math>，所以<math>f(x) = \sqrt{f(x)^2}</math>，我们转而先求<math>f(x)^2</math>的最大值再开算术平方即可。<br />
 <math>
 \begin{array}{l}
  f(x)^2 = (6x (4 - x^2))^2 = 36 x^2 (4 - x^2)^2 \\
  = 18 \cdot 2 x^2 \cdot (4 - x^2) \cdot (4 - x^2) \\
  \le 18 \cdot (\frac{2x^2 + (4 - x^2) + (4 - x^2)}{3})^3 = 18 \cdot \frac{8^3}{27}
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>2x^2 = (4 - x^2)</math>（即<math>x = \frac{2 \sqrt{3}}{3}</math>）时成立。<br />
 这说明<math>f(x)_{max}^2 = f(\frac{2 \sqrt{3}}{3})^2 = 18 \cdot \frac{8^3}{27}</math>，也即<math>f(x)_{max} = \frac{32 \sqrt{3}}{3}</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：<math>\frac{32 \sqrt{3}}{3}</math>。</p>
</div>

其次，我们介绍通过“拼凑常数项升/降幂”来求最值的技巧。这种方法针对已知条件和待求证的式子中都具有相似的代数式，但是幂次不相同的情况。对于这类问题，可以巧凑常数项，然后利用不等式进行幂次的升/降，以便用上已知约束条件求解最值。

这种题型有2个要点需要注意：
* 待求证或求解的式子经常可以拆成多个形式等价的部分，先用不等式单独求解。
* 合并单独的不等式时，需要保证取等条件一致。为此，所需待定常数的取值一般会结合原不等式的取等条件作为线索来猜测。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
设<math>a, b > 0, a^3 b^3 = 2</math>，求证：<math>a + b \le 2</math>。

<!-- 本小节例题4的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明：<br />
 <math>
 \begin{array}{l}
  \left\{
  \begin{array}{l}
   a^3 + 1^3 + 1^3 \ge 3 \sqrt[3]{a^3 \cdot 1^3 \cdot 1^3} = 3a \\
   b^3 + 1^3 + 1^3 \ge 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) \ge 3a + 3b = 3 (a+b) \\
  \Rightarrow \frac{a^3 + b^3 + 4}{3} \ge a + b \quad \Rightarrow \quad \frac{2 + 4}{3} \ge a + b \quad \Rightarrow \quad a + b \le 2
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
设<math>a, b > 0, a^3 + b^3 = 2</math>，求<math>a^2 + b^2 + 5ab</math>的最大值。

<!-- 本小节例题5的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 <math>
 \begin{array}{l}
  \left\{
  \begin{array}{l}
   1 \cdot a \cdot a \le \frac{1^3 + a^3 + a^3}{3} \\
   1 \cdot b \cdot b \le \frac{1^3 + b^3 + b^3}{3} \\
   1 \cdot a \cdot b \le \frac{1^3 + a^3 + b^3}{3}
  \end{array}
  \right. \\
  \Rightarrow
  a^2 + b^2 + 5ab \le \frac{1 + a^3 + a^3}{3} + \frac{1 + b^3 + b^3}{3} + 5 \cdot \frac{1 + a^3 + b^3}{3} = \frac{7 + 7 (x^3 + y^3)}{3}
 \end{array}
 </math><br />
 因为已知<math>a^3 + b^3 = 2</math>，所以有<math>a^2 + b^2 + 5ab \le \frac{7 + 7 \cdot 2}{3} = 7</math>，并且式中的等号当且仅当a = b = 1时成立。<br />
 所以原式的最大值为7。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：7。</p>
</div>

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
设<math>a, b, c > 0</math>，求证：<math>a^3 + b^3 + c^3 \ge ab + bc + ca</math>。

<!-- 本小节例题6的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明：<br />
 <math>
 \begin{array}{l}
  \left\{
  \begin{array}{l}
   a^3 + b^3 + 1^3 \ge 3 \cdot a \cdot b \cdot 1 \\
   b^3 + c^3 + 1^3 \ge 3 \cdot b \cdot c \cdot 1 \\
   c^3 + a^3 + 1^3 \ge 3 \cdot c \cdot a \cdot 1
  \end{array}
  \right. \\
  \Rightarrow
  3 + 2 (a^3 + b^3 + c^3) = (a^3 + b^3 + 1^3) + (b^3 + c^3 + 1^3) + (b^3 + a^3 + 1^3) \\
  \ge (3 \cdot a \cdot b \cdot 1) + 3 (\cdot b \cdot c \cdot 1) + 3 (\cdot c \cdot a \cdot 1) \\
  = 3 (ab + bc + ca) = 2 (ab + bc + ca) + (ab + bc + ca) \ge 2 (ab + bc + ca) + 3 \sqrt[3]{ab \cdot bc \cdot ca} \\
  = 2 (ab + bc + ca) + 3 \sqrt[3]{(abc)^2} = 3 \sqrt[3]{1^2}
 \end{array}
 </math><br />
 因为已知abc = 1，即有<math>3 + 2 (a^3 + b^3 + c^3) \ge 2 (ab + bc + ca) + 3</math>，<br />
 即<math>a^3 + b^3 + c^3 \ge ab + bc + ca</math>。证明完毕。
 </p>
</div>

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
设<math>a, b > 0, a + b = 2</math>，求证：<math>a^3 + b^3 \ge 2</math>。

<!-- 本小节例题7的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明：<br />
 <math>
 \begin{array}{l}
  \left\{
  \begin{array}{l}
   a^3 + 1^3 + 1^3 \ge 3 (1 \cdot 1 \cdot a) = 3a \\
   b^3 + 1^3 + 1^3 \ge 3 (1 \cdot 1 \cdot b) = 3b
  \end{array}
  \right.
  \Rightarrow a^3 + b^3 + 4 = (a^3 + 2) + (b^3 + 2) \ge 3a + 3b = 3 (a + b)
 \end{array}
 </math><br />
 又因为已知a + b = 2，所以：<br />
 <math>a^3 + b^3 \ge 3 (a + b) - 4 = 3 \cdot 2 - 4 = 2</math><br />
 证明完毕。
 </p>
</div>

最后，介绍一些同样需要技巧的代数式比较问题。

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
设<math>a, b, c >0, a + b + c = 1</math>，求<math>ab + bc + ca</math>的最大值。

<!-- 本小节例题8的解答 -->
<div class="collapsible hints" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>分析与提示：解题的关键在于寻找<math>a + b + c</math>与<math>ab + bc + ca</math>之间的联系。将已知条件<math>a + b + c = 1</math>的两边同时进行平方，可以得到包含<math>ab + bc + ca</math>的等式。</p>
</div>
<div class="collapsible answers" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答1：<br />
 将已知条件<math>a + b + c = 1</math>的两边同时平方得：<br />
 <math>a^2 + b^2 + c^2 + 2ab + 2bc + 2ac = 1</math><br />
 将上式两侧同时翻倍，可得：<br />
 <math>(a^2 + b^2) + (b^2 + c^2) + (c^2 + a^2) + 4(ab + bc + ac) = 2</math><br />
 因为<math>a^2 + b^2 \ge 2ab, b^2 + c^2 \ge 2bc, c^2 + a^2 \ge 2ac</math>，<br />
 所以<math>2 \ge 2ab + 2bc + 2ac + 4(ab + bc + ac) = 6(ab + bc + ca)</math>。<br />
 所以<math>ab + bc + ca \le \frac 1 3</math>。
 </p>
</div>
<div class="collapsible " style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答2（用到权方和不等式）：<br />
 由权方和不等式可知：<br />
 <math>\sqrt{\frac{a^2 + b^2 + c^2}{3}} \ge \frac{a + b + c}{3} = \frac 1 3</math><br />
 故<math>a^2 + b^2 + c^2</math>的最小值为<math>\frac 1 3</math>。<br />
 又因为<math>(a + b + c)^2 = a^2 + b^2 + c^2 + 2(ab + bc + ca) = 1</math>，<br />
 当<math>ab + bc + ca</math>取最大值时，<math>a^2 + b^2 + c^2</math>恰好取最小值。<br />
 故<math>ab + bc + ca</math>的最大值也为<math>\frac 1 3</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：<math>\frac 1 3</math>。</p>
</div>
<div class="collapsible " style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>点评：如果3个正数a、b、c的和为固定值，则<math>ab + bc + ca</math>有最大值；反过来，如果<math>ab + bc + ca</math>为固定值，则正数a、b、c的和有最小值。这是一个常用结论，其证明步骤也会经常被用到。</p>
</div>

<!-- 本小节例题9 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
设<math>a, b, c > 0, ab + bc + ac = 1</math>，求证：<br />
(1)<math>\frac 1 a + \frac 1 b + \frac 1 c \ge 3 \sqrt{3}</math><br />
(2)<math>abc(a + b + c) \le \frac 1 3</math>

<!-- 本小节例题9的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明：<br />
 (1)<math>ab + bc + ca \ge 3 \sqrt[3]{(ab)(bc)(ca)} = 3 (abc)^{\frac 2 3}</math><br />
 带入已知条件<math>ab + bc + ca = 1</math>可得：<br />
 <math>
 \begin{array}{l}
  1 \ge 3 (abc)^{\frac 2 3} \quad \Rightarrow \quad abc \le \frac{1}{3 \sqrt{3}} \\
  \Rightarrow \frac 1 a + \frac 1 b + \frac 1 c = \frac{ab + bc + ac}{abc} = \frac{1}{abc} \le 3 \sqrt{3}
 \end{array}
 </math><br />
 证明完毕。<br />
 (2)首先注意到下列2个条件：<br />
 <math>
 \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}
 </math><br />
 它们的变量情况较复杂，但是具有形式上的一致性，可作如下换元：<br />
 <math>x = ab > 0, y = bc > 0, z = ca > 0</math><br />
 然后原问题转化如下问题：<br />
 已知<math>x, y, z > 0, x + y + z = 1</math>，求<math>xy + yz + zx</math>的最大值。<br />
 根据前面类似例题的思路，可以得到：<br />
 <math>
 \begin{array}{l}
  2(x + y + z)^2 = (x^2+y^2) + (y^2+z^2) + (z^2+x^2) + 4(xy + yz + zx) \\
  \ge 2xy + 2yz + 2zx + 4(xy + yz + zx) = 6(xy + yz + zx)
 \end{array}
 </math><br />
 所以可得<math>(x + y + z)^2 \ge 3(xy + yz + zx)</math>。<br />
 将条件<math>x + y + z = 1</math>代入可知：<br />
 <math>
 \begin{array}{l}
  abc(a + b + c) = (ab)(ca) + (bc)(ab) + (ca)(bc) \\
  = xy + yz + zx \le \frac{1}{3} (x + y + z)^2 = \frac 1 3
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题10 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题10：
设<math>a > 0</math>，求证：<math>\sqrt{a^2 + \frac{1}{a^2}} - \sqrt{2} \ge a + \frac 1 a - 2</math>。

<!-- 本小节例题10的解答 -->
<div class="collapsible proofs" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明1：<br />
 用换元法，设<math>x = a + \frac 1 a</math>，那么<math>a^2 + \frac{1}{a^2} = (a + \frac{1}{a})^2 - 2 = x^2 - 2</math>。<br />
 由基本不等式可知：<br />
 <math>x = a + \frac 1 a \ge 2 \sqrt{a \frac 1 a} = 2</math><br />
 上式中的等号当且仅当<math>a = 1</math>时成立。<br />
 <math>
 \begin{array}{l}
  \sqrt{a^2 + \frac{1}{a^2}} - \sqrt{2} \ge a + \frac 1 a - 2 \\
  \Leftrightarrow \sqrt{(a + \frac{1}{a})^2 - 2} - \sqrt{2} \ge (a + \frac 1 a) - 2 \\
  \Leftrightarrow \sqrt{x^2 - 2} - \sqrt{2} \ge x - 2 \\
  \Leftrightarrow \sqrt{x^2 - 2} \ge x + \sqrt{2} - 2 > 0 \\
  \Leftrightarrow (\sqrt{x^2 - 2})^2 \ge (x + (\sqrt{2} - 2))^2 \\
  \Leftrightarrow x^2 - 2 \ge x^2 + 2(\sqrt{2} - 2)x + (\sqrt{2} - 2)^2 \\
  \Leftrightarrow x^2 - 2 \ge x^2 + 2(\sqrt{2} - 2)x + (2 - 4\sqrt{2} + 4) \\
  \Leftrightarrow 4\sqrt{2} - 8 \ge 2 (\sqrt{2} - 2)x \quad \Leftrightarrow \quad 2 \ge x
 \end{array}
 </math><br />
 上述的最后一个式子是显然成立的。证明完毕。
 </p>
</div>
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明2：<br />
 因为<math>a^2 > 0, \frac{1}{a^2} > 0</math>，由基本不等式可知：<br />
 <math>a^2 + \frac{1}{a^2} \ge 2</math><br />
 上式中的等号当且仅当<math>a = 1</math>时成立。<br />
 <math>
 \begin{array}{l}
  \Rightarrow \sqrt{a^2 + \frac{1}{a^2}} \ge \sqrt{2} \\
  \Rightarrow (a + \frac 1 a) + \sqrt{a^2 + \frac{1}{a^2}} \ge 2 + \sqrt{2} \\
  \Rightarrow \frac{1}{(a + \frac 1 a) + \sqrt{a^2 + \frac{1}{a^2}}} \le \frac{1}{2 + \sqrt{2}} \\
 \end{array}
 </math><br />
 对上式的两侧同时进行分母有理化：<br />
 <math>
 \begin{array}{l}
  \frac{(a + \frac 1 a) - \sqrt{a^2 + \frac{1}{a^2}}}{((a + \frac 1 a) + \sqrt{a^2 + \frac{1}{a^2}})((a + \frac 1 a) - \sqrt{a^2 + \frac{1}{a^2}})} \le \frac{2 - \sqrt{2}}{(2 + \sqrt{2})(2 - \sqrt{2})} \\
  \Rightarrow \frac{(a + \frac 1 a) - \sqrt{a^2 + \frac{1}{a^2}}}{(a + \frac 1 a)^2 - (\sqrt{a^2 + \frac{1}{a^2}})^2} \le \frac{2 - \sqrt{2}}{2^2 - (\sqrt{2})^2} \\
  \Rightarrow \frac{a + \frac 1 a - \sqrt{a^2 + \frac{1}{a^2}}}{(a^2 + 2 + \frac{1}{a^2}) - (a^2 + \frac{1}{a^2})} \le \frac{2 - \sqrt{2}}{4 - 2} \\
  \Rightarrow \frac{a + \frac 1 a - \sqrt{a^2 + \frac{1}{a^2}}}{2} \le \frac{2 - \sqrt{2}}{2} \\
  \Rightarrow \sqrt{a^2 + \frac{1}{a^2}} - \sqrt{2} \ge a + \frac 1 a - 2
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题11 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题11：
设<math>a, b, c > 0</math>，求证：<math>\frac{1}{2a} + \frac{1}{2b} + \frac{1}{2c} \ge \frac{1}{b+c} + \frac{1}{c+a} + \frac{1}{c+a}</math>。

<!-- 本小节例题11的解答 -->
<div class="collapsible proofs" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明1：<br />
 因为<math>a, b > 0</math>，所以由平均值不等式可知：<br />
 <math>
 \begin{array}{l}
  \left\{
  \begin{array}{l}
	\frac 1 a + \frac 1 b \ge 2 \sqrt{\frac 1 a \frac 1 b} = 2 \frac{1}{\sqrt{ab}} \\
	a + b \ge 2 \sqrt{ab}
  \end{array}
  \right. \\
  \Rightarrow \frac 1 a + \frac 1 b \ge 2 \frac{1}{\sqrt{ab}} \ge 2 \times \frac{2}{a + b} = \frac{4}{a + b}
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>a = b</math>时成立。<br />
 同理可得下列3个式子：<br />
 <math>
 \left\{
 \begin{array}{l}
  \frac 1 a + \frac 1 b \ge \frac{4}{a + b} \\
  \frac 1 b + \frac 1 c \ge \frac{4}{b + c} \\
  \frac 1 c + \frac 1 a \ge \frac{4}{c + a}
 \end{array}
 \right.
 </math><br />
 以上各式中的等号当且仅当<math>a = b = c</math>时同时成立。<br />
 叠加以上3个式子可得：<br />
 <math>
 \begin{array}{l}
  (\frac 1 a + \frac 1 b) + (\frac 1 b + \frac 1 c) + (\frac 1 c + \frac 1 a) \ge \frac{4}{a + b} + \frac{4}{b + c} + \frac{4}{c + a} \\
  \Rightarrow
  2 (\frac 1 a + \frac 1 b + \frac 1 c) \ge 4 (\frac{1}{a + b} + \frac{1}{b + c} + \frac{1}{c + a}) \\
  \Rightarrow
  \frac 1 2 (\frac 1 a + \frac 1 b + \frac 1 c) \ge (\frac{1}{a + b} + \frac{1}{b + c} + \frac{1}{c + a})
 \end{array}
 </math><br />
 证明完毕。<br />
 </p>
</div>
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明2（用到下文中的柯西不等式）：<br />
 <math>
 \begin{array}{l}
  (\frac{1}{2a} + \frac{1}{2b} + \frac{1}{2c})^2 = (\frac{1}{2a} + \frac{1}{2b} + \frac{1}{2c}) (\frac{1}{2a} + \frac{1}{2b} + \frac{1}{2c}) \\
  \ge (\frac{1}{2 \sqrt{ab}} + \frac{1}{2 \sqrt{bc}} + \frac{1}{2 \sqrt{ca}})^2 \\
  \ge (\frac{1}{a + b} + \frac{1}{b + c} + \frac{1}{c + a})^2
 \end{array}
 </math><br />
 上述式子中的第1个不等式是柯西不等式，第2个不等式是平均值不等式，当且仅当<math>a = b = c</math>时以上各等式严格成立。<br />
 此即<math>\frac{1}{2a} + \frac{1}{2b} + \frac{1}{2c} \ge \frac{1}{a + b} + \frac{1}{b + c} + \frac{1}{c + a}</math>。证明完毕。<br />
 </p>
</div>

=== 平均值不等式的补充 ===
==== 算术-对数-几何平均值不等式 ====
1957年，B·奥斯透（B. Ostle）和H·L·特尔维利尔（H. L. Terwilliger）提出对于不相等的任意2个正数a和b，存在不等式<math>\frac{a - b}{\ln a - \ln b} > \sqrt{ab}</math>；1966年，B·C·卡尔森（B. C. Carlson）提出对于不相等的任意2个正数a和b，存在不等式<math>\frac{a + b}{2} > \frac{a - b}{\ln a - \ln b}</math><ref name="Sándor_2015">{{cite web |url= http://nntdm.net/papers/nntdm-21/NNTDM-21-1-31-35.pdf |format=pdf |title=A Basic Logarithmic Inequality, And The Logarithmic Mean |author=József Sándor |work=''Notes on Number Theory and Discrete Mathematics'' |issn=1310-5132 |vol=21 |issue=1 |pages=31-35 |language=en |year=2015}}</ref>。将它们合并到一起，并和算术-几何平均值不等式相联系，我们就得到本节的主角：

<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
设<math>a, b > 0, a \neq b</math>，则有下列'''算术-对数-几何平均值不等式'''（'''arithmetic-logarithmic-geometric mean inequality'''）<ref name="Sándor_2015" />，简称'''对数均值不等式'''或'''A-L-G不等式'''：
: <math>\frac{a + b}{2} > \frac{a - b}{\ln a - \ln b} > \sqrt{ab}</math>
其中<math>\frac{a - b}{\ln a - \ln b}</math>叫做a和b的'''对数平均数'''（'''logarithmic mean'''）<ref name="Sándor_2015" />。

不妨设<math>a < b, t = \frac b a > 1</math>，作换元b = t a即知原不等式可化为：
: <math>\frac{t + 1}{2} > \frac{t-1}{\ln t} > \sqrt{t}</math>
于是原不等式等价于下列2个不等式同时成立：
* 左半边：<math>\ln x > \frac{2(x-1)}{x+1}</math> (取<math>t = x, x > 1</math>)
* 右半边：<math>x - \frac 1 x > 2 \ln x</math> (取<math>t = x^2, x > 1</math>)
</font>
</blockquote>

证明：先证左半边的不等式。设<math>f(x) = \ln x - \frac{2(x-1)}{x+1} = \ln x - \frac{4}{x+1} + 2 \quad (x \ge 1)</math>，易得<math>f'(x) = \frac 1 x + \frac{4}{(x+1)^2}</math>。<br />
易知当x > 1时，恒有f'(x) > 0，即此时的f(x)严格单调递增。<br />
又因为f(x)在x = 1时是连续的，所以<br />
<math>
\begin{array}{l}
 f(x) \ge f(1) = \ln 1 - \frac{2(1-1)}{1+1} = 0 - 0 = 0 \quad (x \ge 1) \\
 \Rightarrow \ln x - \frac{2(x-1)}{x+1} \ge 0 \quad (x \ge 1) \\
 \Rightarrow \ln x \ge \frac{2(x-1)}{x+1} \quad (x \ge 1)
\end{array}
</math><br />
上述不等式中的等于号当且仅当x = 1时严格成立。

再证右半边的不等式。设<math>f(x) = x - \frac 1 x - 2 \ln x \quad (x \ge 1)</math>，易得<math>f'(x) = 1 + \frac{1}{x^2} - \frac 2 x = \frac{x^2 + 1 - 2x}{x^2} = \frac{(x-1)^2}{x^2}</math>。<br />
易知当x > 1时，恒有f'(x) > 0。即此时的f(x)严格单调递增。<br />
又因为f(x)在x = 1时是连续的，所以<br />
<math>
\begin{array}{l}
 f(x) \ge f(1) = 0 \quad (x \ge 1) \\
 \Rightarrow x - \frac 1 x - 2 \ln x \ge 0 \quad (x \ge 1) \\
 \Rightarrow x - \frac 1 x \ge 2 \ln x \quad (x \ge 1)
\end{array}
</math><br />
上述不等式中的等于号当且仅当x = 1时严格成立。

[[File:Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：对数平均值不等式中不存在取等号的可能性，它在这一点上与代数-几何不等式等许多其它常用不等式明显不同。因为当且仅当a = b时，它们的算术平均值才会刚好等于几何平均值，但是此时对数平均值会因分母为0而失去意义。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：对数均值不等式还存在以[[高中数学/微积分初步/定积分的定义与直接计算|定积分]]描述的积分形式。我们在本小节只会介绍其初等形式。<ref name="Sándor_2015" />

使用对数平均值不等式解题时，常采用英文词首字母缩写，把对数平均值不等式中的算术平均值部分简称为A，对数平均值部分简称为L，几何平均值部分简称为G。由此对数均值不等式可以简记为<math>A > L > G</math>。这也是该不等式被称为“A-L-G不等式”的原因。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
对数均值不等式的其它常用推论：
* 取<math>a = x^2, b = 1</math>，则有：<math>\ln \frac{2(x-1)}{x+1} < \ln x < x - \frac 1 x</math>。
* 取<math>a = e^{x_1}, b = e^{x_2}</math>，则分别有<math>\frac{x_1 - x_2}{2} > \frac{e^{x_1} - e^{x_2}}{e^{x_1} + e^{x_2}}</math>和<math>x_1 - x_2 < \frac{e^{x_1} - x^{x_2}}{e^{\frac{x_1 + x_2}{2}}}
</math>成立。
</blockquote>

A-L-G与中国大陆高考导数压轴题中的[[高中数学/微积分初步/利用导数证明不等式#极值点偏移|极值点偏移考点]]联系密切。本小节我们只讨论极值点偏移问题的不等式解法（即变形后套用A-L-G不等式解决此类问题），暂不提及其它传统的导数论证方法。

[[File:Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：(1)在常规数学考试中，A-L-G不等式的正确性需要现场证明，不能直接拿来使用。(2)我们在A-L-G不等式的证明过程用到了求导论证的技巧，所以它并不是一种完全独立于微积分理论的工具，只是可以找出一类问题的共性并简化一些证明步骤。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
求证：<math>\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}</math>。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知函数<math>f(x) = e^x, x \in \mathbb{R}</math>。设a < b，比较<math>\frac{f(a) + f(b)}{2}</math>与<math>\frac{f(b) - f(a)}{b - a}</math>的大小，并说明理由。<br />
（出自2013年中国大陆高考理科数学陕西卷第21题第(3)问（压轴解答题）。）

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知<math>f(x) = \frac{\ln x}{x}, f(x_1) = f(x_2) \quad (x_1 \neq x_2)</math>，比较<math>x_1 + x_2</math>与2e的大小。

<!-- 本小节例题3的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答1：<br />
 易知f(x)的定义域是x > 0，并且可由[[高中数学/微积分初步/导数与单调性和极值的关系|求导法]]判断出f(x)的唯一极大值（从而也最大值）是<math>f(e) = \frac 1 e</math>。<br />
 <math>f(x_1) = f(x_2) \quad \Rightarrow \quad \frac{\ln x_1}{x_1} = \frac{\ln x_2}{x_2}</math><br />
 注意到<math>x_1 < x_2</math>，由[[高中数学/预备知识/初高中衔接内容|合分比公式]]可知：<br />
 <math>
 \begin{array}{l}
  \frac{\ln x_1 - \ln x_2}{x_1 - x_2} = \frac{\ln x_1}{x_1} < f(x)_{max} = \frac 1 e \quad (x_1, x_2 > 0) \\
  \Rightarrow \frac{x_1 - x_2}{\ln x_1 - \ln x_2} > e
 \end{array}
 </math><br />
 注意所以上述不等式链中的不等号不能达到取等条件。这是因为<math>x_1 < x_2</math>，而f(x)只有一个最大值点，从而不可能出现<math>\frac{\ln x_1}{x_1} = \frac{\ln x_2}{x_2} = f(x)_{max}</math>的情况。<br />
 再由对数均值不等式可知：<br />
 <math>
 \begin{array}{l}
  \frac{x_1 + x_2}{2} > \frac{x_1 - x_2}{\ln x_1 - \ln x_2} > e \\
  \Rightarrow x_1 + x_2 > 2e
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答2：<br />
 <math>x_1 + x_2 > 2e \quad \Leftrightarrow \quad \frac{x_1 + x_2}{2} > e</math><br />
 我们尝试证明一个强化命题：<math>\frac{x_1 + x_2}{2} > \sqrt{x_1 x_2} > e \quad (x_1 < x_2)</math>，为此只需要证明其右半部分：<br />
 <math>
 \begin{array}{l}
  \sqrt{x_1 x_2} > e \\
  \Rightarrow x_1 x_2 > e^2 \\
  \Rightarrow \ln (x_1 x_2) > \ln (e^2) \\
  \Rightarrow \ln x_1 + \ln x_2 > 2 \ln e = 2
 \end{array}
 </math><br />
 考虑到已知题设条件<math>f(x_1) = f(x_2)</math>，可得：<br />
 <math>\frac{\ln x_1}{x_1} = \frac{\ln x_2}{x_2}</math><br />
 不妨设<math>t = \frac{x_1}{x_2}</math>，可得：<br />
 <math>
 \left\{
 \begin{array}{l}
  \ln t = \ln (\frac{x_1}{x_2}) = \ln x_1 - \ln x_2 \\
  t = \frac{x_1}{x_2} = \frac{\ln x_1}{\ln x_2}
 \end{array}
 \right.
 </math><br />
 我们接下来打算解出<math>\ln x_1, \ln x_2</math>的解析式，从上式中选取所需的部分联立方程组：<br />
 <math>
 \left\{
 \begin{array}{l}
  \ln t = \ln x_1 - \ln x_2 \\
  t = \frac{\ln x_1}{\ln x_2}
 \end{array}
 \right.
 </math><br />
 解得：<math>\ln x_1 = \frac{t \ln t}{t - 1}, \ln x_2 = \frac{\ln t}{t - 1}</math>。<br />
 <math>
 \begin{array}{l}
  \ln x_1 + \ln x_2 > 2 \\
  \Rightarrow \frac{t \ln t}{t - 1} + \frac{\ln t}{t - 1} > 2 \\
  \Rightarrow \frac{(t+1) \ln t}{t - 1} > 2 \\
  \Rightarrow \ln t > \frac{2(t-1)}{t+1} \quad (0 < t < 1)
 \end{array}
 </math><br />
 这是对数平均值不等式的常见变形，显然是成立的，从而原命题得证。
 </p>
</div>
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答3：<br />
 由求导法易知f(x)有唯一的极大值点（从而也是最大值点）<math>f(x)_{max} = \frac 1 e</math>。<br />
 由<math>x_1 < x_2, f(x_1) = f(x_2)</math>易知：<br />
 <math>\frac{\ln x_1}{x_1} = \frac{\ln x_2}{x_2} < f(x)_{max} = \frac 1 e</math><br />
 设a满足<math>\frac{\ln x_1}{x_1} = \frac 1 a < \frac 1 e</math>，则a > e。<br />
 再设<math>t = \frac{x_1}{x_2}</math>，易知0 < t < 1。<br />
 我们列出下列方程组以求解<math>x_1, x_2</math>的解析式：<br />
 <math>
 \left\{
 \begin{array}{l}
  x_1 = a \ln x_1 \\
  x_2 = a \ln x_2 \\
  \frac{x_1}{x_2} = t
 \end{array}
 \right.
 </math><br />
 解得：<math>x_1 = \frac{at \ln t}{t - 1}, x_2 = \frac{a \ln t}{t - 1}</math><br />
 于是<math>x_1 + x_2 = \frac{a(t+1) \ln t}{t-1} = a \cdot \frac{(t+1) \ln t}{t-1}</math><br />
 由于a > e，要证<math>x_1 + x_2 > 2e</math>，只要证<math>\frac{(t+1) \ln t}{t-1} > 2</math>，也即要证<math>\ln t > \frac{2(t-1)}{t+1} \quad (0 < t < 1)</math>。<br />
 这是对数平均值不等式的常见变形，显然是成立的，从而原命题得证。
 </p>
</div>
<div class="collapsible remarks" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>点评：在进行涉及对数均值的不等式变形中，作换元<math>t = \frac{x_1}{x_2}</math>经常使用的技巧，必要时还可以对此换元式的两端同时取对数然后与其它同时包含<math>\ln x_1, \ln x_2</math>的已知关系式联立方程组。</p>
</div>

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知函数<math>f(x) = e^x - x^2 - ax \quad (a \in \mathbb{R})</math>有2个极值点<math>x_1, x_2 \quad (x_1 < x_2)</math>，求证：<math>e^{x_1} + e^{x_2} > 4</math>。<br />

<!-- 本小节例题4的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 易得<math>f'(x) = e^x - 2x - a</math>。<br />
 因为已知<math>x_1, x_2</math>是f(x)的极值点，所以：<br />
 <math>
 \left\{
 \begin{array}{l}
  e^{x_1} - 2 x_1 - a \\
  e^{x_2} - 2 x_2 - a
 \end{array}
 \right.
 \quad \Rightarrow \quad e^{x_1} - e^{x_2} = 2 (x_1 - x_2)
 \quad \Rightarrow \quad 2 = \frac{e^{x_1} - e^{x_2}}{x_1 - x_2}
 </math><br />
 由对数均值不等式可知：<br />
 <math>
 2 = \frac{e^{x_1} - e^{x_2}}{x_1 - x_2} < \frac{e^{x_1} + e^{x_2}}{2}
 \quad \Rightarrow \quad 4 < e^{x_1} + e^{x_2}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知函数<math>f(x) = e^x - ax + a \quad (a \in \mathbb{R})</math>存在2个不同的零点<math>x_1, x_2 \quad (1 < x_1 < x_2)</math>，求证：<math>x_1 x_2 < x_1 + x_2</math>。

<!-- 本小节例题5的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 由题意可知<math>x_1 - 1 > 0, x_2 - 1 > 0</math>，于是：<br />
 <math>
 \begin{array}{l}
  x_1 x_2 < x_1 + x_2 \\
  \Leftrightarrow x_1 x_2 - x_1 - x_2 + 1 < 1 \\
  \Leftrightarrow (x_1 - 1) (x_2 - 1) < 1 \\
  \Leftrightarrow \sqrt{(x_1 - 1)(x_2 - 1)} < 1
 \end{array}
 </math><br />
 考虑到<math>x_1 < x_2, (x_1 - 1) \neq (x_2 - 1)</math>，所以由对数均值不等式可知：<br />
 <math>\sqrt{(x_1 - 1)(x_2 - 1)} < \frac{(x_1 - 1) - (x_2 - 1)}{\ln (x_1 - 1) - \ln (x_2 - 1)} = \frac{x_1 - x_2}{\ln (x_1 - 1) - \ln (x_2 - 1)}</math><br />
 然后从已知条件中继续拼凑所需信息。因为<math>x_1, x_2</math>是f(x)的2个不同的零点，所以：<br />
 <math>
 \left\{
 \begin{array}{l}
  e^{x_1} - a x_1 + a = 0 \\
  e^{x_2} - a x_2 + a = 0
 \end{array}
 \right.
 \quad \Rightarrow \quad
 \left\{
 \begin{array}{l}
  e^{x_1} = a (x_1 - 1) \\
  e^{x_2} = a (x_2 - 1)
 \end{array}
 \right.
 \quad \Rightarrow \quad
 \left\{
 \begin{array}{l}
  \frac{e^{x_1}}{a} = x_1 - 1 \\
  \frac{e^{x_2}}{a} = x_2 - 1
 \end{array}
 \right.
 </math><br />
 <math>
 \begin{array}{l}
  \sqrt{(x_1 - 1)(x_2 - 1)} < \frac{(x_1 - 1) - (x_2 - 1)}{\ln (x_1 - 1) - \ln (x_2 - 1)}
  = \frac{x_1 - x_2}{\ln (\frac{e^{x_1}}{a}) - \ln (\frac{e^{x_2}}{a})} \\
  = \frac{x_1 - x_2}{(\ln e^{x_1} - \ln a) - (\ln e^{x_2} - \ln a)}
  = \frac{x_1 - x_2}{x_1 - \ln a - x_2 + \ln a}
  = \frac{x_1 - x_2}{x_1 - x_2} = 1
 \end{array}
 </math><br />
 注意到上式右侧恰好等于1，就是我们需要证明的结论，故原命题得证。
 </p>
</div>
<div class="collapsible " style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>点评：此题省略了对符合题意的成对零点<math>x_1, x_2</math>存在性的讨论，故解题时只需要关心如何由已知条件得到结论。而对其双零点存在性有疑惑的读者，但我们仍然在此对其存在性作一个简要小论述，也算是说明这道题的题设合理性。从数形结合的角度分析，题目所描述的2个零点就是指数函数对应的曲线<math>C: y = e^x</math>与过定点(1, 0 )的直线L: y = a(x - 1)的2个交点的横坐标。由于曲线C与直线L可以在第一象限内相切，由求导法可得二者相切点的横坐标为<math>x = \ln a</math>，进而可以求出指数函数在该点处的切线斜率，记为<math>k_c</math>。因为指数函数在第一象限内不存在[[高中数学/微积分初步/极限#几种双曲线的渐近线|渐近线]]，所以结合图象走势分析易知，当直线L的斜率大于刚好相切时的临界值<math>k_c</math>时，它就会与指数函数的曲线C产生2个不同的交点。</p>
</div>

===排序不等式===
排序不等式是一个不怎么起眼的不等式，它在许多地方都不会使用，因为平均值不等式或柯西不等式都可以取代它，并且在叙述方面也比较困难。排序不等式是这样的：

<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
设<math>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\}</math>，那么有

<math>\sum_{i=1}^{n}a_ib_i\geqslant\sum_{i=1}^{n}a_ic_i\geqslant\sum_{i=1}^{n}a_ib_{n+1-i}</math>

即顺序和大于等于乱序和大于等于正序和。
</font>
</blockquote>
我们一般用调整法证明这个不等式。<math>\forall n,k,t_n\in\mathbb{N}^{+}</math>有<math>t_n<n,k<n</math>，有<math>(a_n-a_k)(b_n-b_{t_n})\geqslant 0</math>。那么可以得到<math>a_nb_n+a_kb_{t_n}\geqslant a_kb_k+a_nb_{t_n}</math>，我们把<math>b_n,b_{t_n}</math>交换，和将变大。我们不停重复这个过程，乱序变为顺序，和变为最大。同理可以证明乱序和大于等于反序和。

在使用排序不等式时，一定要注意'''两个数组能得出大小顺序'''，否则不能使用。当然，在求证的是一个高度对称的式子是，我们可以设出一个大小来使用排序不等式。

====切比雪夫不等式====
切比雪夫不等式可以用排序不等式得到，但是极其不常用。它主要的用途是让书写更方便。
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
设<math>a_1\leqslant a_2\leqslant\cdots\leqslant a_n,b_1\leqslant b_2\leqslant\cdots\leqslant b_n</math>，那么

<math>\sum_{i=1}^{n}a_ib_{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_ib_i</math>
</font>
</blockquote>

'''证明'''：由排序不等式可知：

<math>
\begin{aligned}
&\sum_{i=1}^{n}a_ib_i\geqslant\sum_{i=1}^{n}a_ib_i \\
&\sum_{i=1}^{n}a_ib_i\geqslant\sum_{i=1}^{n}a_ib_{i+1} \\
&\sum_{i=1}^{n}a_ib_i\geqslant\sum_{i=1}^{n}a_ib_{i+2} \\
&\vdots \\
&\sum_{i=1}^{n}a_ib_i\geqslant\sum_{i=1}^{n}a_ib_{i+n-1}
\end{aligned}
</math>

我们把这n个式子加起来，得到

<math>n\sum_{i=1}^{n}a_ib_i\geqslant\left(\sum_{i=1}^{n}a_i\right)\left(\sum_{i=1}^{n}b_i\right)</math>

即原不等式右半边得证。同理可以证明不等式左半边。那么切比雪夫不等式得证。

=== 上凸与下凸函数 ===
对于一个函数<math>f(x)</math>，如果满足<math>\forall x_1,x_2\in I</math>都有

<math>f\left(\frac{x_1+x_2}{2}\right)\leqslant\frac{1}{2}[f(x_1)+f(x_2)]</math>

那么我们称<math>f(x)</math>在区间<math>I</math>上是下凸的。将其中的小于等于号改成大于等于号，那么这个函数就是上凸的。有时我们称下凸为凸，称上凸为凹。

判定一个函数是否为下凸函数一般有两个方法：扣定义、求二阶导数。不难发现，对于任意一个下凸函数，其二阶导数在区间内恒为正值。虽然求二阶导数的方法不需要什么技巧性，但是它有时是不能用的。比如对于函数<math>f(x)=\mid x\mid</math>，它显然是一个下凸函数（由图像可以看出来），但它是不能求导的。不过题目中一般不会出现很难说明是下凸的函数，所以求二阶到还是最保险的方法。

[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题：
证明函数<math>f_1(x)=\frac{1}{\sqrt{1-x}},f_2(x)=\frac{x}{\sqrt{1-x}}(0<x<1)</math>都是下凸函数。

 <div class="collapsible proof" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>
 参考证明：<br/>
 不难发现<math>\frac{d^2f_1(x)}{dx^2}=\frac{3}{4}(1-x)^{-\frac{5}{2}},\frac{d^2f_2(x)}{dx^2}=\frac{1-x}{4(1-x)^{\frac{5}{2}}}</math>（求导过程略），且<math>\forall x\in(0,1),f_1''(x)>0,f_2''(x)>0</math>，得证。
 </p>
 </div>

=== 延森不等式 ===
==== 延森不等式及其证明 ====
[[File:Johan Ludvig William Valdemar Jensen by Vilhelm Rieger.jpg |thumb |150px |图中的男人就是約翰·延森（Johan Ludwig William Valdemar Jensen，1859年—1925年）。很明显，他制造了延森不等式。]]
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">区间I上的下凸函数<math>f(x)</math>一定满足如下的'''延森不等式'''（'''Jensen inequality'''）：<br />
<math>\forall x_1, x_2, x_3, ..., x_n \in I, \frac{\sum_{i=1}^n f(x_i)}{n} \ge f(\frac{\sum_{i=1}^n x_i}{n})</math><br />
当且仅当<math>x_1 = x_2 = x_3 = ... = x_n</math>时上式中的等号成立。

区间I上的下凸函数<math>f(x)</math>一定满足如下'''加权形式的延森不等式'''（'''weighted Jensen inequality'''）：<br />
<math>\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) \ge f(\sum_{i=1}^n \lambda_i x_i)</math><br />
当且仅当<math>x_1 = x_2 = x_3 = ... = x_n</math>时上式中的等号成立。

它们以丹麦业余数学家[[w:約翰·延森|約翰·延森]]命名。
</font>
</blockquote>

==== 延森不等式的简单应用 ====
为了应用Jensen不等式，需要根据题目的形式特点，寻找合适的上凸或下凸函数。比较常见的是设以下函数作为辅助函数：
* <math>f(x) = \sin x \quad (x \in [0, \pi])</math>
* <math>f(x) = \cos x \quad (x \in [0, \frac \pi 2] \ or \ [\frac \pi 2, \pi])</math>
* <math>f(x) = \tan x \quad (x \in [0, \frac \pi 2))</math>
* <math>f(x) = \ln x</math>或<math>f(x) = lg x \quad (x > 0)</math>
* <math>f(x) = x \ln x</math>或<math>f(x) = x lg x \quad (x > 0)</math>
最后2个辅助函数常用于需要进行对数变换的题型，而且有时会不确定用二者中的哪一个，这时可以分别都常试一下。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知函数<math>f(x) = x \ln x</math>，且<math>0 < a < b</math>，求证：<math>g(a) + g(b) - 2 g(\frac{a+b}{2}) > 0</math>。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
若<math>a_1, a_2, ..., a_n</math>是一组实数，且<math>\sum_{i=1}^n\limits a_i = k</math>。假设n与k都是固定的常数，求<math>\sum_{i=1}^n\limits a_i^2</math>的最小值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
设<math>a, b > 0, a + b = 1</math>，求证：<math>\sqrt{1 + a^2} + \sqrt{1 + b^2} \ge \sqrt{5}</math>。

<!-- 本小节例题3的解答 -->
 <div class="collapsible proof" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明：<br />
 设函数<math>f(x) = \sqrt{1 + x^2}</math>，易知<math>f(x)</math>是下凸函数。应用加权形式的Jensen不等式并利用已知条件<math>a + b = 1</math>，可知：<br />
 <math>\frac{f(a) + f(b)}{2} \ge f(\frac{a+b}{2}) = f(\frac 1 2)</math>，当且仅当<math>a = b = \frac{1}{2}</math>时等号成立。<br />
 带入<math>f(x)</math>的具体表达式可得：<br />
 <math>\frac{\sqrt{1 + a^2} + \sqrt{1 + b^2}}{2} \ge \sqrt{1 + (\frac 1 2)^2} = \frac{\sqrt{5}}{2} \Leftrightarrow \sqrt{1 + a^2} + \sqrt{1 + b^2} \ge \sqrt{5}</math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
设<math>a, b, c > 0, a + b + c  = 1</math>，求证：<math>\sqrt{a+5} + \sqrt{b+5} + \sqrt{c+5} \le 4 \sqrt{3}</math>。

<!-- 本小节例题4的解答 -->
<div class="collapsible proof" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明1：<br />
 设<math>f(x) = \sqrt{x+5} \quad (x \ge -5)</math>，易得<math>f'(x) = - \frac{1}{\sqrt{x+5}}</math>。<br />
 进而可知<math>\forall x > -5, f'(x) < 0</math>。即f(x)是定义域内的上凸函数。<br />
 应用普通形式的Jensen不等式可得：<br />
 <math>
 \begin{array}{l}
  \frac{f(a) + f(b) + f(c)}{3} \le f(\frac{a+b+c}{3}) \\
  \Rightarrow \frac{\sqrt{a+5} + \sqrt{b+5} + \sqrt{c+5}}{3} \le \sqrt{\frac{a+b+c}{3} + 5}
 \end{array}
 </math><br />
 上式中的等号当且仅当a = b = c时取等号。又因为已知a + b + c = 1，将其代入上式可知：<br />
 <math>
 \begin{array}{l}
  \sqrt{a+5} + \sqrt{b+5} + \sqrt{c+5} \le 3 \sqrt{\frac{a+b+c}{3} + 5} \\
  = 3 \sqrt{\frac 1 3 + 5} = 3 \sqrt{\frac{16}{3}} = 4 \sqrt{3}
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>
<div class="collapsible proof" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明2（仅用到算术-几何平均值不等式）：<br />
 我们考虑利用巧配系数升幂的技巧，设置3个待定常系数<math>k_1, k_2, k_3</math>，并分别构造以下的3个不等式：<br />
 <math>
 \left\{
 \begin{array}{l}
  k_1 \cdot \sqrt{a + 5} \le \frac{k_1^2 + (a + 5)}{2} \quad (k_1 > 0) \\
  k_2 \cdot \sqrt{b + 5} \le \frac{k_2^2 + (b + 5)}{2} \quad (k_2 > 0) \\
  k_3 \cdot \sqrt{c + 5} \le \frac{k_3^2 + (c + 5)}{2} \quad (k_3 > 0)
 \end{array}
 \right.
 </math><br />
 以上各式中的等号分别当且仅当<math>k_1 = \sqrt{a + 5}, k_2 = \sqrt{b + 5}, k_3 = \sqrt{c + 5}</math>时成立。<br />
 由于已知条件是a、b、c的一次代数式，而上述3个不等式的右侧累加后刚好也能得到a、b、c的一次代数式。<br />
 因此只要取等条件合适，就能通过连加上述3个不等式来得证原不等式。<br />
 我们接下来的想法是选取合适的<math>k_1, k_2, k_3</math>，以便论证：<br />
 <math>
 \begin{array}{l}
  k_1 \sqrt{a+5} + k_2 \sqrt{b+5} + k_3 \sqrt{c+5} \\
  \le \frac{k_1^2 + (a + 5)}{2} + \frac{k_2^2 + (b + 5)}{2} + \frac{k_3^2 + (c + 5)}{2} \ge 4 \sqrt{3} \\
  = \frac{k_1^2 + k_2^2 + k_3^2}{2} + \frac{(a + b + c) + 15}{2} \ge 4 \sqrt{3}
 \end{array}
 </math><br />
 由于原不等式的左侧是关于a、b、c的[[w:对称多项式|轮换对称多项式]]，所以容易猜想当等号成立时，a、b、c的取值应该地位一致，即a = b = c。<br />
 再结合限制条件a + b + c = 1，易知原不等式的取等条件应该是<math>a = b = c = \frac 1 3</math>。<br />
 另一方面，要使从原不等式中拆出的3个子不等式同时成立，需要同时保证<math>k_1 = \sqrt{a + 5}, k_2 = \sqrt{b + 5}, k_3 = \sqrt{c + 5}</math>，<br />
 继而可知所需的<math>k_1 = k_2 = k_3 = \sqrt{\frac{16}{3}}</math>。即有：<br />
 <math>
 \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}
  \le \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})
  \le \frac{3 \cdot \frac{16}{3}}{2} + \frac{(a + b + c) + 15}{2} \\
  \Rightarrow
  \sqrt{a+5} + \sqrt{b+5} + \sqrt{c+5}
  \le (8 + \frac{(a + b + c) + 15}{2}) \cdot \sqrt{\frac{3}{16}}
 \end{array}
 </math><br />
 将已知条件a + b + c = 1代入，可得：<br />
 <math>
 \begin{array}{l}
  \sqrt{a+5} + \sqrt{b+5} + \sqrt{c+5}
  \le (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}
 </math><br />
 上式中的等号当且仅当<math>a = b = c = \frac 1 3</math>时同时成立。证明完毕。
 </p>
</div>

==== 需要进行对数变换的问题 ====
下面，我们先假定读者能从字面上直观理解“[[w:凸集|凸集]]”一词的含义，由此引出接下来的对数凸性的定义：

<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
'''对数凸函数'''（'''logarithmically convex function'''）是同时满足以下定义的函数：
* 定义在实数向量空间中凸集内，函数值为正数。
* 函数进行对数变换后为（下）凸函数。
</font>
</blockquote>

如果一个函数是对数凸函数，也可以说这个函数是'''对数（下）凸的'''或者说具有'''对数（下）凸性'''。根据定义，对数凸函数可以在进行对数变换后，保证Jensen不等式的成立。如果仔细观察算术-几何不等式，可以发现算术-几何不等式描述的也是一种对数凸性，所以它也容易利用Jensen不等式直接证明。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知<math>x, y, z > 0</math>，且<math>x + y + z = 1</math>，求证：<math>(\frac{1}{x^2} + x)(\frac{1}{y^2} + y)(\frac{1}{z^2} + z) \ge (\frac{28}{3})^3</math>。

<!-- 本小节例题1的解答 -->
<div class="collapsible hint" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>分析与提示：对要证明的不等式两边同时取对数，可得：<br />
 <math>\ln (\frac{1}{x^2} + x) + \ln (\frac{1}{y^2} + y) + \ln (\frac{1}{z^2} + z) \ge 3 \ln (\frac{28}{3})</math><br />
 容易想到设辅助函数<math>f(t) = \ln (\frac{1}{t^2} + t)</math>，但是因为<math>f(t)</math>不是<math>(0, + \infty)</math>上凹凸性保持不变的函数，不能急着直接套用Jensen不等式。注意到<math>x, y, z > 0</math>，且<math>x + y + z = 1</math>，这说明至少可以肯定<math>0 < x, y, z < 1</math>，容易发现<math>f(t)</math>在<math>(0, 1)</math>这个小范围内还是可以证明下凸性的，因此仍能使用Jensen不等式，但是要限制辅助函数的变量取值范围。
 </p>
</div>
<div class="collapsible proof" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明：<br />
 设函数<math>f(t) = \ln (\frac{1}{t^2} + t) \quad (0 < t < 1)</math>，易知<math>f(t)</math>是下凸函数。应用普通形式的Jensen不等式并利用已知条件<math>x + y + z = 1</math>，可知：<br />
 <math>\frac{f(x) + f(y) + f(z)}{3} \ge f(\frac{x + y + z}{3}) = f(\frac 1 3)</math>，当且仅当<math>x = y = z = \frac{1}{3}</math>时等号成立。<br />
 带入<math>f(t)</math>的具体表达式可得：<br />
 <math>\frac{\ln (\frac{1}{x^2} + x) + \ln (\frac{1}{y^2} + y) + \ln (\frac{1}{z^2} + z)}{3} \ge \ln (\frac{1}{(\frac 1 3)^2} + (\frac 1 3))</math><br />
 即<math>\ln (\frac{1}{x^2} + x) + \ln (\frac{1}{y^2} + y) + \ln (\frac{1}{z^2} + z) \ge 3 \ln (\frac{1}{(\frac 1 3)^2} + (\frac 1 3)) = 3 \ln (\frac{1}{\frac 1 9} + \frac 1 3) = \ln (9 + \frac 1 3)^3 = \ln (\frac{28}{3})^3</math>。<br />
 即<math>\ln ((\frac{1}{x^2} + x)(\frac{1}{y^2} + y)(\frac{1}{z^2} + z)) \ge \ln (\frac{28}{3})^3</math>，即<math>(\frac{1}{x^2} + x)(\frac{1}{y^2} + y)(\frac{1}{z^2} + z) \ge \ln (\frac{28}{3})^3</math>。证明完毕。
 </p>
</div>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>x > 1, y > 1</math>，求证：<math>(x+y) \ln (\frac{x+y}{2}) \le x \ln x + y \ln y</math>。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
若<math>a, b, x, y > 0</math>，求证：<math>(x+y) \ln \frac{x+y}{a+b} \le x \ln \frac x a + y \ln \frac y b</math>。

<!-- 本小节例题3的解答 -->
<div class="collapsible hints" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>分析与提示：原不等式等价于<math>\frac{x+y}{a+b} \ln \frac{x+y}{a+b} \le \frac{x}{a+b} \ln \frac x a + \frac{y}{a+b} \ln \frac y b</math>。<br />
 根据不等式右侧对数函数中的变量形式，可以先把<math>\frac x a</math>和<math>\frac y b</math>尽量看成一个整体变量。根据这个原则，适当拆分系数可得：<br />
 <math>\frac{x+y}{a+b} \ln (\frac{a}{a+b} \frac x a + \frac{b}{a+b} \frac y b) \le \frac{a}{a+b} (\frac x a) \ln (\frac x a) + \frac{b}{a+b} (\frac y b) \ln (\frac y b)</math>。
 </p>
</div>
<div class="collapsible proof" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明1：<br />
 设函数<math>f(t) = t \ln t</math>，易知<math>f(t)</math>是下凸函数。应用加权形式的Jensen不等式可知：<br />
 <math>f(\lambda_1 (\frac x a) + \lambda_2 (\frac y b)) \le \lambda_1 f(\frac x a) + \lambda_2 f(\frac y b))</math>，当且仅当<math>\frac x a = \frac y b</math>时等号成立。<br />
 其中取<math>\lambda_1 = \frac{a}{a+b}</math>，取<math>\lambda_2 = \frac{b}{a+b}</math>，显然满足<math>\lambda_1 + \lambda_2 = 1</math>。<br />
 带入<math>f(t)</math>的具体表达式可得：<br />
 <math>
 \begin{array}{l}
  (\lambda_1 (\frac x a) + \lambda_2 (\frac y b)) \ln (\lambda_1 (\frac x a) + \lambda_2 (\frac y b)) \le \lambda_1 (\frac x a) \ln (\frac x a) + \lambda_2 (\frac y b) \ln (\frac y b) \\
  \Leftrightarrow ((\frac{a}{a+b}) (\frac x a) + (\frac{b}{a+b}) (\frac y b)) \ln ((\frac{a}{a+b}) (\frac x a) + (\frac{a}{a+b}) (\frac y b)) \le 
  (\frac{a}{a+b}) (\frac x a) \ln (\frac x a) + (\frac{b}{a+b}) (\frac y b) \ln (\frac y b) \\
  \Leftrightarrow ((\frac{x}{a+b}) + (\frac{y}{a+b}) \ln (\frac{x}{a+b} + \frac{y}{a+b}) \le \frac{x}{a+b} \ln \frac x a + \frac{y}{a+b} \ln \frac y b \\
  \Leftrightarrow ((\frac{x}{a+b}) + (\frac{y}{a+b}) \ln \frac{x+y}{a+b} \le \frac{x}{a+b} \ln \frac x a + \frac{y}{a+b} \ln \frac y b \\
  \Leftrightarrow ((x + y) \ln \frac{x+y}{a+b} \le x \ln \frac x a + y \ln \frac y b
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>
<div class="collapsible proof" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明2：<br />
 作换元<math>m = \frac x a, n = \frac y b</math>，待证式变为：<br />
 <math>(am+bn) \ln \frac{a^2 m + b^2 n}{a+b} \le am \ln m + bn \ln n</math><br />
 观察不等式右边的形式，为了拼凑好合适的加权系数以便可以套用Jensen不等式，可以将其变形为：<br />
 <math>\frac{am+bn}{a+b} \ln \frac{a^2 m + b^2 n}{a+b} \le \frac{a}{a+b} (m \ln m) + \frac{b}{a+b} (n \ln n)</math><br />
 我们只需要证明上式即可。<br />
 设函数<math>f(t) = t \ln t</math>，易知<math>f(t)</math>是下凸函数。应用加权形式的Jensen不等式可知：<br />
 <math>f(\lambda_1 m + \lambda_2 n) \le \lambda_1 f(m) + \lambda_2 f(n)</math>，当且仅当<math>m = n</math>（即<math>\frac x a = \frac y b</math>）时等号成立。<br />
 其中取<math>\lambda_1 = \frac{a}{a+b}</math>，取<math>\lambda_2 = \frac{b}{a+b}</math>，显然满足<math>\lambda_1 + \lambda_2 = 1</math>。<br />
 带入<math>f(t)</math>的具体表达式可得：<br />
 <math>
 \begin{array}{l}
  (\lambda_1 m + \lambda_2 n) \ln (\lambda_1 m + \lambda_2 n) \le \lambda_1 m \ln m + \lambda_2 n \ln n \\
  \Leftrightarrow (\frac{a}{a+b} m + \frac{b}{a+b} n) \ln (\frac{a}{a+b} m + \frac{b}{a+b} n) \le \frac{a}{a+b} m \ln m + \frac{b}{a+b} n \ln n \\
  \Leftrightarrow (\frac{am}{a+b} + \frac{bn}{a+b}) \ln \frac{am+bn}{a+b} \le \frac{a}{a+b} m \ln m + \frac{b}{a+b} n \ln n
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

==== 涉及三角形的问题 ====

=== 切线法与磨光变换法 ===

=== 舒尔不等式 ===

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]

* 求证[[w:内斯比特不等式|内斯比特不等式]]：<br />
设a, b, c > 0，则有<math>\frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} \ge \frac 3 2</math>。

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|排序不等式}}
{{Wikipedia|凸函数}}
{{Wikipedia|对数凸函数}}
{{Wikipedia|延森不等式}}
{{Wikipedia|切线法}}
{{Wikipedia|磨光法}}
{{Wikipedia|舒尔不等式}}
{{Wikipedia|切比雪夫總和不等式}}
{{Wikipedia|赫尔德不等式}}
{{Wikipedia|杨氏不等式}}
{{Wikipedia|闵可夫斯基不等式}}

{{DEFAULTSORT: supplements to inequalities}}
[[category:不等式|*]]
[[category:高中数学|inequalities]]