菜鸡HP的被虐日常（16）各种奇怪的不等式③

$ByHolyPush$

聪明的$txl:$接下来就是柯西不等式。它的一般形式是$:(a^2+b^2)(c^2+d^2)\ge (ac+bd{)}^2$，当且仅当$\frac{a}{c}=\frac{b}{d}$时等号成立。

愚蠢的$HP:$看起来挺显然的，让我先来试着证明一下。
$(a^2+b^2)(c^2+d^2)-(ac+bd{)}^2=a^2{d}^2+b^2{c}^2-2abcd=(ad-bc{)}^2\ge 0$，当且仅当$ad=bc$时成立。如果$c,d$非零的话，就是$\frac{a}{c}=\frac{b}{d}$。

聪明的$txl:$很聪明，但事实上柯西不等式可以拓展到多维，也就是$({\sum }_{i=1}^n{a}_i^2)({\sum }_{i=1}^n{b}_i^2)\ge ({\sum }_{i=1}^n{a}_i{b}_i{)}^2$。这该如何证明呢？
愚蠢的$HP$如同喉咙被鱼刺卡住了一样说不出话。
聪明的$txl:$我们看看这个结构。左边是平方和的积，右边是积的和的平方。平方和的积，看起来很像是模长。而积的和，看起来又像是数量积的算法$\dots \dots$
愚蠢的$HP:$我们看起来可以构造一个向量$\vec{a}=(a_1,a_2,...,a_n),\vec{b}=(b_1,b_2,..,b_n)$。
数量积有两种计算方法。
第一种是用定义，即模长之积乘以夹角的余弦值。第二种是利用数量积的坐标计算方法。而两种计算方法的结果显然是一样的。为了靠近我们要证的式子，不妨给两边都平方一下。
$({\sum }_{i=1}^n{a}_i^2)({\sum }_{i=1}^n{b}_i^2)co{s}^2\theta =({\sum }_{i=1}^n{a}_i{b}_i{)}^2$。左边的式子乘上一个余弦的平方才跟右边一样，而余弦的平方显然在$[0,1]$之间。所以$({\sum }_{i=1}^n{a}_i^2)({\sum }_{i=1}^n{b}_i^2)\ge ({\sum }_{i=1}^n{a}_i{b}_i{)}^2$。
聪明的$txl:$没错。而且从证明过程来看可以发现，柯西不等式的应用范围不像均值不等式那样局限于正数，负数也满足柯西不等式。

愚蠢的$HP:$所以柯西不等式有什么用吗$?$
聪明的$txl:$你是不是每次都要问一遍这个问题$?$
愚蠢的$HP:$是的嘻嘻。
聪明的$txl:$唉算了，那就给你一道简单的题看看吧。

求$5x+2\sqrt{4-x^2}$的最值。
愚蠢的$HP:$看到根号下是常数减去未知数的平方的结构，难道不应该第一时间想到的是三角换元吗$?$

令$x=2sin\theta ,\theta \in [-\frac{\pi }{2},\frac{\pi }{2}]$，则原式=$10sin\theta +4cos\theta =2\sqrt{29}sin(\theta +\varphi ),tan\varphi =\frac{2}{5}$。显然$\theta =\frac{\pi }{2}-\varphi$的时候取最大值$2\sqrt{29}$，$\theta =\varphi -\frac{\pi }{2}$时取最小值$-10。$

聪明的$txl:$不错，但是我们今天学的是柯西不等式。我们应该想一想有没有柯西不等式的做法。

我们发现这个式子很像$ac+bd$的样子。那我们平方一下。
$(5x+2\sqrt{4-x^2}{)}^2\le (5^2+2^2)(x^2+4-x^2)=4\times 29$，而取等条件是$\frac{x}{\sqrt{4-x^2}}=\frac{5}{2}$，所以开平方根的时候应该取正值，也就是$5x+2\sqrt{4-x^2}\le 2\sqrt{29}$。
但最小值一侧用不等式貌似有点麻烦，我们不如看一下单调性。
显然最小值肯定在在$x<0$的时候取到，此时$5x$是单调递增的，$\sqrt{4-x^2}$也是单调递增的，所以整个函数都是单调递增的。而$4-x^2\ge 0$，也就是$-2\le x\le 2$，所以$x=-2$时取最小值$-10$，和你三角换元的结果是一样的。
愚蠢的的$HP:$这么看来，柯西不等式貌似是比三角换元方便一点。

聪明的$txl:$说句跟今天无关的东西，和这个结构类似，你知道怎么求$5x+2\sqrt{x^2-4}$的在$x<0$时的最大值吗$?$
愚蠢的$HP:$还是可以用三角换元，但用到的式子是$ta{n}^2\theta +1=\frac{1}{co{s}^2\theta }$，然后利用之前学过的知识就可以了，但是这样太麻烦了。
聪明的$txl:$没错是太麻烦了。这里我们介绍一种双曲代换的做法。

和三角函数类似，我们定义$\sinh x=\frac{e^x-e^{-x}}{2},\cosh x=\frac{e^x+e^{-x}}{2},\tanh x=\frac{e^x-e^{-x}}{e^x+e^{-x}}$。然后我们会发现它们的性质和三角函数极为相似，例如：
同角关系$:{\cosh }^{2}x-{\sinh }^{2}x=1,\tanh x=\frac{\sinh x}{\cosh x}$
和角公式$:\sinh (x+y)=\sinh x\cosh y+\cosh x\sinh y;\cosh (x+y)=\cosh x\cosh y+\sinh x\sinh y;\tanh (x+y)=\frac{\tanh x+\tanh y}{1+\tanh x\tanh y}$
差角公式$:\sinh (x-y)=\sinh x\cosh y-\cosh x\sinh y;\cosh (x-y)=\cosh x\cosh y-\sinh x\sinh y;\tanh (x-y)=\frac{\tanh x-\tanh y}{1-\tanh x\tanh y}$

实在是太像了，但是在符号上还是有一点细微区别。当然，这个$e$在双曲代换中其实没那么重要，所以我们可以换成任意其他正数。

好了，我们试着用双曲代换来解决这个问题。
我们设$x=t+\frac{1}{t},t\le -1$。（设$t\le -1$是因为$-1<t<0$的时候和$t<-1$的时候值域是一样的，而且后面处理问题也会方便）则原式$=5t+\frac{5}{t}-t+\frac{1}{t}=4t+\frac{6}{t}$。根据图像我们可以判断$t=-\frac{\sqrt{6}}{2}$的时候取到一个最大值$-4\sqrt{6}$。就是这样。

再来看看这个。
已知实数$x,y$满足$x^2+y^2=20$，则$xy+8x+y$的最大值是多少。

愚蠢的$HP:$这不是还是可以用三角换元吗$?$
于是愚蠢的$HP$做到聪明的$txl$体重降为$0$的时候也没做出来。
聪明的$txl:$孺子不可教也，刚刚这题和这题不是几乎一样吗$?$

它看上去很像是$(ab+cd+ef)$的结构，联想到柯西不等式的多维形式，稍微给它排列组合一下就是
$(xy+8x+y\times 1{)}^2\le (x^2+8^2+y^2)(y^2+x^2+1^2)=84\times 21=42^2$，所以原式最大值是$42$。

聪明的$txl:$其实我想说明的是，看到这种结构比较简单，次数比较低，又有很多个字母让我们求某个式子最值的问题，我们可以有一种新奇的方法，叫做拉格朗日乘数法，

已知$n$个字母$a_i,i=1,2,...,n$，它们之间满足很多个约束条件$f_i(a_1,a_2,...a_n)=C_i,C_i$为常数，让我们求函数$g(a_1,a_2,...,a_n)$的最值，我们可以用拉格朗日乘数法来解决。具体步骤是$:$
$①$构造函数$h(a_1,a_2,...a_n)=g(a_1,a_2,...,a_n)+{\sum }_{i=1}^m{\lambda }_i{f}_i(a_1,a_2,...,a_n)$。其中${\lambda }_i$是我们设的一个新的未知数。
$②$以每一个字母为主元对该函数求偏导（也就是假设这个字母是自变量，其他字母均看作常数，然后求导），令偏导后的结果为$0$，与原来本身就有的$m$个方程联立。
$③$解出每个字母的值，代入我们的原式就是我们要的极值了$($最值仍应从这几个极值里面挑选，而且求出的极值中也不一定有我们要的最大值或最小值，但大多数情况下都八九不离十了$)$。

回到上面的题目中去，我们按照步骤一个一个来。
$①$构造函数$h(x)=xy+8x+y+\lambda (x^2+y^2)$。
$②$把$y$看成常数，对$x$求偏导，有$y+8+2\lambda x=0$。把$x$看成常数，对$y$求偏导，有$x+1+2\lambda y=0$。再加上原来就有的$x^2+y^2=20$，组成一个三元方程组，解方程即可。

愚蠢的$HP:$这个方程未免也太复杂了一点吧$!$
聪明的$txl:$没办法 ，一般方法越无脑计算量就越大，要用拉格朗日乘数法，必然要拥有较强的解方程能力。那让我们看看怎么解这个方程吧。
显然我们不想要$\lambda$这个值的出现，所以我们可以单独把所有有$\lambda$的项留在左边，其他都移到右边去。
$\{\begin{array}{l}2\lambda x=-y-8\\ 2\lambda y=-x-1\end{array}$
两式相除，得$\frac{x}{y}=\frac{y+8}{x+1}$，即$x^2+x-y^2-8y=0$。我们用$x^2+y^2=20$将其中的某一项的二次项去掉，留下一个一次项，然后把这个一次项用另一个未知数再代回到$x^2+y^2=20$这个式子中去。具体方程就不解了，解出来的结果可以发现$x=4,y=2$的时候最大，是$42$。（我不会告诉你是因为我觉得四次方程太难解所以直接用结论的，但是通过试根法应该能解出来）

聪明的$txl:$上面的都太小儿科了，接下来我们再来看看一道套路题。
求证$:\frac{a}{a+2b+c}+\frac{b}{a+b+2c}+\frac{c}{2a+b+c}\ge \frac{3}{4}，$其中$a,b,c>0$。

聪明的$txl:$首先我要给出一个很经典的结论，就是$a^2+b^2+c^2\ge ab+bc+ca$。证明很简单，可以两边同时乘以二，右边移到左边去然后配成三个完全平方式，也可以利用后面会提到的排序不等式，根据正序和≥乱序和可以直接得出这个结论。

看到这种形式的式子，我们一般的套路是配上每个分母的和，或者配上每个分母与分子之积的和，然后利用柯西不等式。

$(\frac{a}{a+2b+c}+\frac{b}{a+b+2c}+\frac{c}{2a+b+c})[a(a+2b+c)+b(a+b+2c)+c(2a+b+c)]\ge (a+b+c{)}^2$
所以有$\frac{a}{a+2b+c}+\frac{b}{a+b+2c}+\frac{c}{2a+b+c}\ge \frac{a^2+b^2+c^2+2ab+2bc+2ca}{a^2+b^2+c^2+3ab+3bc+3ca}=1-\frac{ab+bc+ca}{a^2+b^2+c^2+3ab+3bc+3ca}\ge 1-\frac{ab+bc+ca}{4(ab+bc+ca)}=\frac{3}{4}$。证明完毕。

聪明的$txl:$运用柯西不等式，实际上就是要凑出一个看起来合理的结构。总之，柯西不等式用处十分广泛，是需要好好掌握的一种不等式。

欲知后事如何，请听下回因式分解。