常用不等式（1）

不等式是一个贯通初中和高中的学习重点，本文将由浅入深，详细介绍不等式及其应用。

一、不等式的基础概念

1. 不等式的定义

不等式是用不等号表示大小关系的式子。不等号包括 “$>$” “$<$” “$\ge$” “$\le$” 和 “$\ne$”。

2. 不等式的性质

1. 不等式的性质1： 若$a>b$，则 $a\pm c>b\pm c$
   由这条性质，我们可以得到：
   • $a>b\iff a-b>0$
   • $a=b\iff a-b=0$
   • $a<b\iff a-b<0$
     这三个重要关系可以帮助我们判断两个式子的大小关系。
2. 不等式的性质2：
   • 若$a>b$，则 $ac>bc.$
   • 若$a>b$，则 $ac<bc.$
3. 不等式的对称性：$a>b\iff b<a.$
4. 不等式的传递性：$a>b,b>c\iff a>c.$

以下还有几个由上述性质推导而来的重要性质：

• $a>b,c>d\iff a+c>b+d.$
• $a>b,ab>0\Rightarrow \frac{1}{a}<\frac{1}{b}.$
• $a>b>0,c>d>0\Rightarrow ac>bd,\frac{d}{a}<\frac{c}{b}.$
• $a>b>0\Rightarrow a^n>b^n,\sqrt[n]{a}>\sqrt[n]{b}(n\in \mathbb{N}$ 且 $n>1)$

3. 实数大小的比较

1. 可以直接应用不等式的性质，基本不等式和函数单调性来判断。
2. 作差比较和作商比较。

---

二、常用小结论

1. 命题 1

设 $a,b\in {\mathbb{R}}_{+}$，则 $a^3+b^3\ge a^{2}b+a{b}^2$，其中等号成立当且仅当 $a=b$ 。

证明： 作差法。
$\because a^3+b^3-(a^{2}b+a{b}^2)=a^2(a-b)+b^2(b-a)=(a-b{)}^2(a+b)\ge 0$
$\therefore a^3+b^3\ge a^{2}b+a{b}^2$，其中等号成立当且仅当 $a=b.$

来一道简单的题目练练手：

证明对所有正实数 $a,b,c$，有 $(a^3+b^3+abc{)}^{-1}+(b^3+c^3+abc{)}^{-1}+(c^3+a^3+abc{)}^{-1}\le (abc{)}^{-1}.$

证明：$\sum \frac{1}{a^3+b^3+abc}\le \sum \frac{1}{a^{2}b+a{b}^2+abc}=\sum \frac{c}{abc(a+b+c)}=\frac{1}{abc}.$

注： 这里的 $\sum$ 表示轮换对称多项式 $a,b,c\cdots$ 的变换。

2. 命题 2

命题 1 的推广结论：

设 $a,b\in {\mathbb{R}}_{+},n\in \mathbb{Z},s,t$ 为非负整数，且 $s+t=n$，则 $$a^n+b^n\ge a^s{b}^t+a^t{b}^s.$$等号成立当且仅当 $a=b$ 。

证明： 还是作差法。
$a^n+b^n-(a^s{b}^t+a^t{b}^s)=(a^s-b^s)(a^t-b^t)$
$\because a^s-b^s$ 与 $a^t-b^t$ 同正负
$\therefore (a^s-b^s)(a^t-b^t)\ge 0.$
$\therefore a^n+b^n\ge a^s{b}^t+a^t{b}^s$，等号成立当且仅当 $a=b.$

应用一下：
设 $a,b,c$ 是正实数，且 $abc=1$，求证：$\frac{ab}{a^5+b^5+ab}+\frac{bc}{b^5+c^5+bc}+\frac{ca}{c^5+a^5+ca}\le 1$，并指出等号成立的条件。

证明：$\frac{ab}{a^5+b^5+ab}=\frac{a^2{b}^{2}c}{a^5+b^5+a^2{b}^{2}c}\le \frac{a^2{b}^{2}c}{a^2{b}^3+a^3{b}^2+a^2{b}^{2}c}=\frac{c}{a+b+c}$
$\therefore \sum \frac{ab}{a^5+b^5+ab}\le \sum \frac{c}{a+b+c}=1.$
等号成立当且仅当 $a=b=c.$

3. 命题 3

命题 3 在命题 2 的基础上进一步推广。

设 $a,b,c\in {\mathbb{R}}_{+},n\in \mathbb{N},p,q,r$ 为非负整数，且 $p+q+r=n$，则$$a^n+b^n+c^n\ge a^p{b}^q{c}^r+a^q{b}^r{c}^p+a^r{b}^p{c}^q.$$
这个不等式的证明需要用到算术—几何平均不等式，惊不惊喜，意不意外？

证明： 需要用到均值不等式。
$\frac{p{a}^n+q{b}^n+r{c}^n}{n}=\frac{a^n\cdot p+b^n\cdot q+c^n\cdot r}{n}\ge \sqrt[n]{a^{np}{b}^{nq}{c}^{nr}}=a^p{b}^q{c}^r.$
同理可得 $\frac{q{a}^n+r{b}^n+p{c}^n}{n}\ge a^q{b}^r{c}^p$，$\frac{r{a}^n+p{b}^n+q{c}^n}{n}\ge a^r{b}^p{c}^n$
三式相加，即得结论成立。

在 $△ABC$ 中， $S$ 是半周长， $\Delta$ 是面积，求证：$(S-a{)}^4+(S-b{)}^4+(S-c{)}^4\ge {\Delta }^2.$

4. 命题 4

设 $a_i\in {\mathbb{R}}^{+}(i=1,2,\cdots ,m),n$ 是自然数，$p_k$ 是非负整数 $(k=1,2,\cdots ,s)$，且 $\sum _{k=1}^s{p}_k=n,a_{m+i}=a_i(i=1,2,\cdots ,m)$，则 $\sum _{i=1}^m{a}_i^n\ge \sum _{i=1}^m{a}_i^{p_1}{a}_{i+1}^{p_2}\cdots a_{i+s-1}^{p_s}.$
等号成立当且仅当 $a_1=a_2=\cdots =a_m.$

证明思想和命题 3 类似。

---

5. 命题 5

对于任意非负实数 $x,y$，恒有 $$\sqrt{x+y}\le \sqrt{x}+\sqrt{y}\le \sqrt{2(x+y)}.$$

证明： 平方，得$$x+y\le x+y+2\sqrt{xy}\le 2(x+y).$$当 $xy=0$ 时，$\sqrt{x+y}\le \sqrt{x}+\sqrt{y}$ 成立；
当 $x=y$ 时，$\sqrt{x}+\sqrt{y}\le \sqrt{2(x+y)}$成立。

这是一个很重要的命题，在很多证明过程中都会应用到。

---

三、常用不等式

1. 基本不等式

1. 如果 $a,b\in \mathbb{R}$，那么$$a^2+b^2\ge 2ab,$$其中等号成立当且仅当 $a=b.$

   证明： 使用完全平方公式即可，十分简单。
   $\because a^2-2ab+b^2=(a-b{)}^2\ge 0$
   $\therefore a^2+b^2\ge 2ab$
   等号成立当且仅当 $(a-b{)}^2=0$，即 $a=b.$

2. 如果 $a,b,c\in \mathbb{R}$，那么$$a^2+b^2+c^2\ge ab+bc+ca,$$其中等号成立当且仅当 $a=b=c.$

   证明： 这个不等式的证明也很容易，仍然是使用完全平方公式。
   $\because 2(a^2+b^2+c^2)-2(ab+bc+ca)=(a-b{)}^2+(b-c{)}^2+(c-a{)}^2\ge 0$
   $\therefore 2(a^2+b^2+c^2)\ge 2(ab+bc+ca)$，即 $a^2+b^2+c^2\ge ab+bc+ca$
   等号成立当且仅当 $(a-b{)}^2=(b-c{)}^2=(c-a{)}^2=0$，即 $a=b=c.$

---

前面的都是初一同学就能熟练掌握的知识点，接下来就讲点难的。

2. 算术—几何平均不等式

算术平均数（Arithmetic mean）：$A_n=\frac{1}{n}\sum _{i=1}^n{a}_i$
几何平均数（Geometric mean）：$G_n=\sqrt[n]{\prod _{i=1}^n{a}_i}$

定理： 两个正数 $a,b$ 的算术平均数 $\frac{a+b}{2}$ 不小于它们的几何平均数 $\sqrt{ab}$。即：如果 $a,b\in {\mathbb{R}}_{+}$，那么$$\frac{a+b}{2}\ge \sqrt{ab},$$其中等号成立当且仅当 $a=b.$

证明很简单，这里就不再赘述。

类似地，对于三个和四个正数的算术平均数和几何平均数，有：

1. 如果 $a,b,c\in {\mathbb{R}}_{+}$，那么$$\frac{a+b+c}{3}\ge \sqrt[3]{abc},$$其中等号成立当且仅当 $a=b=c.$
2. 如果 $a,b,c,d\in {\mathbb{R}}_{+}$，那么$$\frac{a+b+c+d}{4}\ge \sqrt[4]{abcd},$$其中等号成立当且仅当 $a=b=c=d.$

---

先来证明三个数的不等式。

证明： 令$x=\sqrt[3]{a},y=\sqrt[3]{b},z=\sqrt[3]{c}$，则$A_3\ge G_3\iff x^3+y^3+z^3\ge 3xyz.$
$x^3+y^3+z^3-3xyz=(x+y+z)(x^2+y^2+z^2-xy-yz-zx)$
$\because x+y+z>0,x^2+y^2+z^2-xy-yz-zx\ge 0$
$\therefore x^3+y^3+z^3\ge 3xyz$
$\therefore \frac{a+b+c}{3}\ge \sqrt[3]{abc}.$

这个证明方法运用了公式 $x^3+y^3+z^3-3xyz=(x+y+z)(x^2+y^2+z^2-xy-yz-zx)$，可谓十分巧妙。但是，这个方法并不具有一般性，如果换成证明四个数、五个数甚至更多数的均值不等式，就没有类似的公式了，我们需要一个一般的方法。

这里，我们发现，证明四个数的均值不等式，可以直接应用定理。

证明： $\frac{a+b+c+d}{4}\ge \frac{2\sqrt{ab}+2\sqrt{cd}}{4}=\frac{\sqrt{ab}+\sqrt{cd}}{2}\ge \sqrt[4]{abcd}$
上述不等式同时取等号的充要条件是
$$\{\begin{array}{l}a=b,\\ c=d,\\ \sqrt{ab}=\sqrt{cd}.\end{array}$$即 $a=b=c=d.$
注： 这里连续使用两次二元均值不等式。

有了四个数的均值不等式，我们也可以再根据它得到八个数的均值不等式。具体证明过程如下：

证明： $\frac{a_1+a_2+\cdots +a_8}{8}\ge \frac{4\sqrt[4]{a_1{a}_2{a}_3{a}_4}\cdot 4\sqrt[4]{a_5{a}_6{a}_7{a}_8}}{8}=\frac{\sqrt[4]{a_1{a}_2{a}_3{a}_4}\cdot \sqrt[4]{a_5{a}_6{a}_7{a}_8}}{2}\ge 8\sqrt[8]{a_1{a}_2\cdots a_8}.$

我们发现，可以证明 $n=2^k$ 的所有情况（使用数学归纳法可以很容易证明），从而再推广至 $n$ 为大于等于 2 的所有自然数的一般情况。

这里，我们就来利用 $n=4$ 的情况，证明 $n=3$ 的情况，再进行一般化。
在证明 n 为非二次幂的情况时，我们需要平均数的思想，就拿 $n=3$ 举例。例如说原来班上有三个同学，成绩分别为 $a_1,a_2,a_3$，那么他们成绩的算术平均值就为 $\frac{a_1+a_2+a_3}{3}$。这时又来了一个同学，我们希望加上他之后的算术平均值和原来成绩的算术平均值相同，那么让这个同学的成绩为 $\frac{a_1+a_2+a_3}{3}$ 即可。
这种思想在一些题目中还会出现，那把这样一种思想运用到定理的证明中即可。

证明： 在 $n=4$ 的情形中，取 $a_4=A_3=\frac{a_1+a_2+a_3}{3}.$
此时 $A_4=\frac{a_1+a_2+a_3+a_4}{4}=A_3\ge 4\sqrt[4]{a_1{a}_2{a}_3{A}_3}.$
四次方，$A_3^4\ge a_1{a}_2{a}_3{A}_3$
$\therefore A_3^3\ge a_1{a}_2{a}_3$
$\therefore A_3\ge \sqrt[3]{a_1{a}_2{a}_3}$
即 $A_3\ge G_3.$

运用这种平均数的思想，我们就可以证明算术—几何平均不等式了。不过刚才的例子中我们选用的是算术平均数。如果不用算术平均数，使用几何平均数能不能证明呢？我们拿 $n=5$ 举例。

证明： 在 $n=8$ 的情形中，取 $a_6=a_7=a_8=G_5.$
此时 $A_8=\frac{a_1+a_2+\cdots +a_5+3G_5}{8}\ge G_8=8\sqrt[8]{a_1{a}_2\cdots a_8}=8\sqrt[8]{a_1{a}_2\cdots a_5{G}_5^3}=8\sqrt[8]{G_5^5\cdot G_5^3}=G_5$.
$\therefore a_1+a_2+\cdots +a_5+3G_5\ge 8G_5$
$\therefore \frac{a_1+a_2+\cdots +a_5}{5}\ge G_5$
即 $A_5\ge G_5.$

使用几何平均数来证明算术—几何平均不等式也比较简单。在解题的过程中，我们也应该带着一题多解的思维，去探索不同的证明、求解方法。

下面是一个应用算术—几何平均不等式的例子，其中也渗透着解题的基本思想。

设整数 $n\ge 3$，正实数 $a_2,a_3,\cdots ,a_n$ 满足 $a_2{a}_3\cdots a_n=1.$ 证明：$(1+a_2{)}^2(1+a_3{)}^3\cdots (1+a_n{)}^n>n^n.$

运用均值不等式我们会发现，$(1+a_2{)}^2\ge (2\sqrt{a_2}{)}^2=2^2\cdot a_2.$ 但是 $(1+a_3{)}^3\ge (2\sqrt{a_3}{)}^3=2^3\cdot a_3^{\frac{3}{2}}$，$a_3$ 的次数是分数，就无法使用题目中的条件 $a_2{a}_3\cdots a_n=1$。因此我们希望运用均值不等式能使得 $a_3,a_4,\cdots ,a_n$ 的次数为 $1.$
首先是 $(1+a_3{)}^3$，要使得立方后的次数为 $1$，$a_3$ 的次数就必须要在立方前等于 $\frac{1}{3}.$ 很容易得出，将 $1$ 分成 $\frac{1}{2}+\frac{1}{2}$，再使用均值不等式就可以了。

证明：$(1+a_2{)}^2\ge (2\sqrt{a_2}{)}^2=2^2\cdot a_2.$
$(1+a_3{)}^3=(\frac{1}{2}+\frac{1}{2}+a_3{)}^3\ge (3\sqrt[3]{\frac{1}{2^2}{a}_3}{)}^3=\frac{3^3}{2^2}{a}_3$
$(1+a_4{)}^4=(\frac{1}{3}+\frac{1}{3}+\frac{1}{3}+a_4{)}^4\ge (4\sqrt[4]{\frac{1}{3^3}{a}^4}{)}^4=\frac{4^4}{3^3}{a}_4$
$\cdots$
$(1+a_n{)}^n=(\frac{1}{n-1}\cdot n+a_n{)}^n\ge \frac{n^n}{(n-1{)}^{n-1}}{a}_n$
将上述 $n-1$ 个算式相乘，得 $$(1+a_2{)}^2(1+a_3{)}^3\cdots (1+a_n{)}^n\ge n^n\cdot a_2{a}_3\cdots a_n=n^n\text{\hspace{1em}(1)}$$

做到这里，你认为已经做完了吗？
并没有！题目中给出的待证不等式给出的是 $>$ 号，但我们目前只证明了 $\ge$，一定要仔细看题。这说明，我们必须要证明等号成立的条件是取不到的。

$(1)$ 式等号成立 $\iff$ 上述算式全取等号
$\therefore a_2=1,a_3=\frac{1}{2},\cdots ,a_n=\frac{1}{n-1}$，与 $a_2{a}_3\cdots a_n=1$ 矛盾
故 $(1+a_2{)}^2(1+a_3{)}^3\cdots (1+a_n{)}^n>n^n.$

在运用算术—几何平均不等式时，常常使用这种拆分的方法。

---

3. 柯西不等式

设 $a_1,a_2,\cdots ,a_n$ 和 $b_1,b_2,\cdots ,b_n$是任意两个实数组，则有
$$(\sum _{i=1}^n{a}_i{b}_i{)}^2\le (\sum _{i=1}^n{a}_i^2\left)\right(\sum _{i=1}^n{b}_i^2)$$
等号成立当且仅当 $a_i=k{b}_i(k$ 为常数且 $i=1,2,\cdots ,n)$

---

3.1 证明方法

证明方法有很多种。

3.1.1 代数方法

代数基本功强的同学，一步就能搞定。

证明： 右式 $-$ 左式 $=\sum _{1\le i<j\le n}(a_i{b}_j-a_j{b}_i{)}^2\ge 0.$

---

3.1.2 构造函数法

代数基本功没那么强的同学们（比如我） ，也有别的方法证明柯西不等式，那就是构造函数法证明。这个方法在我之前《构造函数解题》的文章中发过，现在再次给各位参考。

柯西不等式非常非常非常重要！！！

证明： 若 $a_1^2+a_2^2+\cdots +a_n^2=0$，则 $a_1=a_2=\cdots =a_n=0$，此时原不等式显然成立.
若 $a_1^2+a_2^2+\cdots +a_n^2\ne 0$，构造二次函数
$$f(x)=(a_1^2+a_2^2+\cdots +a_n^2)x^2-2(a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n)x+(b_1^2+b_2^2+\cdots +b_n^2)$$
$=(a_{1}x-b_1{)}^2+(a_{2}x-b_2{)}^2+\cdots +(a_{n}x-b_n{)}^2$
$f(x)$ 是一条开口向上的抛物线，并且 $f(x)\ge 0$ 恒成立，所以
$$\Delta =4(a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n{)}^2-4(a_1^2+a_2^2+\cdots +a_n^2)(b_1^2+b_2^2+\cdots +b_n^2)\le 0$$
即$(a_1^2+a_2^2+\cdots +a_n^2)(b_1^2+b_2^2+\cdots +b_n^2)\ge (a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n{)}^2$
其中等号成立当且仅当 $a_i=k{b}_i,i=1,2,\cdots n,k$ 是某个常数时成立.

---

3.2 柯西不等式的变形形式

3.2.1 特殊情形

当 $b=1$ 时，原不等式变为$$(\sum _{i=1}^n{a}_i{)}^2\le n(\sum _{i=1}^n{a}_i^2).$$

---

3.2.2 柯西不等式的分数形式

若 $x_i=a_i^2,y_i=b_i^2(x,y\ge 0)$，则$$(\sum _{i=1}^n\sqrt{x_i{y}_i}{)}^2\le (\sum _{i=1}^n{x}_i\left)\right(\sum _{i=1}^n{y}_i).$$柯西不等式的分数形式，则为
$$(\sum _{i=1}^n{y}_i{)}^2\le (\sum _{i=1}^n{x}_i\left)\right(\sum _{i=1}^n\frac{y_i^2}{x_i}).$$最常用的变形是
$$\frac{(\sum _{i=1}^n{y}_i{)}^2}{\sum _{i=1}^n{x}_i}\le \sum _{i=1}^n\frac{y_i^2}{x_i}.$$柯西不等式的分式形式是个非常重要的知识点，多来几道题巩固一下。

设 $a_i,b_i(i=1,2,\cdots ,n)$ 都是正实数，且 $\sum _{i=1}^n{a}_i=\sum _{i=1}^n{b}_i$，求证：$\sum _{i=1}^n\left(\frac{a_i^2}{a_i+b_i}\right)\ge \frac{1}{2}\sum _{i=1}^n{a}_i.$

证明：$\sum _{i=1}^n\left(\frac{a_i^2}{a_i+b_i}\right)\ge \frac{(\sum _{i=1}^n{a}_i{)}^2}{\sum _{i=1}^n(a_i+b_i)}=\frac{\sum _{i=1}^n{a}_i^2}{2\sum _{i=1}^n{a}_i}=\frac{1}{2}\sum _{i=1}^n{a}_i.$

利用这个形式，再特殊一点的，就是 $y^2=1$ 的情况。我们又可以得到一个比较常用的不等式：$$\frac{1}{x}+\frac{1}{y}\ge \frac{4}{x+y}.$$来看下面这题：

已知正数 $x,y$，求证：$\frac{1}{\sqrt[4]{x}}+\frac{1}{\sqrt[4]{y}}\ge \frac{2^{\frac{5}{4}}}{\sqrt[4]{x+y}}.$

需要结合小结论 $\sqrt{x}+\sqrt{y}\le \sqrt{2(x+y)}$。

证明：$\frac{1}{\sqrt[4]{x}}+\frac{1}{\sqrt[4]{y}}\ge \frac{4}{\sqrt[4]{x}+\sqrt[4]{y}}\ge \frac{4}{\sqrt{2(\sqrt{x}+\sqrt{y})}}\ge \frac{4}{\sqrt{2\sqrt{2(x+y)}}}=\frac{2^2}{2^{\frac{3}{4}}\cdot \sqrt[4]{x+y}}=\frac{2^{\frac{5}{4}}}{\sqrt[4]{x+y}}.$

3.3 柯西不等式的推广形式

柯西不等式的分数形式还有推广形式，可以从二元推广为多元。

三元形式：
若 $x_i,y_i,z_i\ge 0$，则$$(\sum _{i=1}^n\sqrt[3]{x_i{y}_i{z}_i}{)}^3\le (\sum _{i=1}^n{x}_i\left)\right(\sum _{i=1}^n{y}_i\left)\right(\sum _{i=1}^n{z}_i).$$

设 $x,y,z$ 是正实数，且 $xyz=1.$ 求证：$\frac{x^3}{(1+y)(1+z)}+\frac{y^3}{(1+x)(1+z)}+\frac{z^3}{(1+x)(1+y)}\ge \frac{3}{4}.$

证明：$\sum \frac{x^3}{(1+y)(1+z)}\cdot \sum (1+y)\cdot \sum (1+z)\ge (\sum x{)}^3$
$\because \sum x=x+y+z\ge 3\sqrt[3]{xyz}=3.$
$\therefore \sum (1+y)=3+\sum x\le 2\sum x$
$\therefore \sum \frac{x^3}{(1+y)(1+z)}\ge \frac{(\sum x{)}^3}{\sum (1+y)\sum (1+z)}\ge \frac{(\sum x{)}^3}{(2\sum x)(2\sum x)}=\frac{1}{4}\sum x\ge \frac{3}{4}.$

多元形式（这个不是分式形式）：
$$(\sum _{i=1}^n\prod _{j=1}^n{x}_{i_j}{)}^n\le \prod _{i=1}^n\sum _{j=1}^n{x}_{i_j}^n.$$

这个形式也是有一点点恶心了，大家自己看着办吧。

多元形式只是柯西不等式推广形式中的一种，还有很多其它的形式，不过已经超出了目前的知识范围，在这里就不再展开叙述了。

---

4. 平均不等式

设有几个正数 $a_1,a_2，\cdots ,a_n$，分别有
算术平均数：$A_n=\frac{1}{n}\sum _{i=1}^n{a}_i$

几何平均数：$G_n=\sqrt[n]{\prod _{i=1}^n{a}_i}$

调和平均数：$H_n=\frac{n}{\sum _{i=1}^n\frac{1}{a_i}}$

平方平均数：$Q_n=\sqrt{\frac{\sum _{i=1}^n{a}_i^2}{n}}$
则这四个平均数有 $H_n\le G_n\le A_n\le Q_n$，其中等号成立当且仅当 $a_1=a_2=\cdots =a_n$。

平均不等式是算术—几何平均不等式的推广形式，也叫均值不等式，简记为“调几算方”。

---

接下来，我们就来证明这个不等式。

4.1 证明 An ≤ Qn

证明：$\frac{a_1+a_2+\cdots +a_n}{n}\le \sqrt{\frac{a_1^2+a_2^2+\cdots +a_n^2}{n}}$
$\iff (a_1+a_2+\cdots +a_n{)}^2\le n(a_1^2+a_2^2+\cdots +a_3^2)$
这是柯西不等式中的特殊情形，所以命题得证。

4.2 证明 Hn ≤ Gn

证明：$\because \frac{1}{H_n}=\frac{\frac{1}{a_1}+\frac{1}{a_2}+\cdots +\frac{1}{a_n}}{n}\ge \sqrt[n]{\frac{1}{a_1}\cdot \frac{1}{a_2}\cdots \frac{1}{a_n}}=\frac{1}{G_n}$ 且 $H_n,G_n>0$
$\therefore H_n\le G_n.$

也是过于的简单了。

---

4.3 平均不等式的推广

没想到吧 😃
均值不等式还有推广形式！那就是——幂平均不等式。
若 $\alpha >\beta$，则 $$(\frac{{\sum }_{i=1}^n{a}_i^{\alpha }}{n}{)}^{\frac{1}{\alpha }}\ge (\frac{{\sum }_{i=1}^n{a}_i^{\beta }}{n}{)}^{\frac{1}{\beta }}$$ 成立，当且仅当 $a_1=a_2=\cdots =a_n$ 时取等号。

幂平均不等式的证明在这里就不再展开，可以使用琴生不等式来证明。

---

后话

写太多了，再写的话就超过字数限制了，还有一部分内容将会在常用不等式（2）中呈现。