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

$ByHolyPush$

聪明的$txl$看愚蠢的$HP$被虐的那么惨，虽然有点想笑，但是还是有点于心不忍。所以他打算不再给愚蠢的$HP$讲数列了（仅限这次），除非是非常好的题。

聪明的$txl:$醒醒，$HP$，快起来做不等式了$!$
事实上，不等式可能比数列还难搞一点。
愚蠢的$HP:$好啊，终于不讲数列了。不等式里有什么内容呢$?$
聪明的$txl:$嘻嘻，不等式内容很少的，我只讲以下内容$:$
①均值不等式
②把对数放到均值不等式里
③柯西不等式
④权方和不等式
⑤琴生不等式
⑥排序不等式
⑦伯努利不等式
⑧舒尔不等式
⑨嵌入不等式
⑩赫尔德不等式
①①$Young$不等式
$\dots \dots$
愚蠢的$HP$再次倒地不起。
聪明的$txl:$开个玩笑啦，其实我不会说那么多（其实是本人也不会）。但是有几个重要的，比如均值不等式和柯西不等式是必须掌握的。我们先来看看均值不等式吧。

聪明的$txl:$我们有一个很显然的结论是，$a^2+b^2\ge 2ab$，当且仅当$a=b$的时候取等。
愚蠢的$HP:$太过友善了！
聪明的$txl:$这个不等式非常重要，用于大多数不等式的证明。那既然你说很简单那我就直接列出来全部了。
$\frac{2}{\frac{1}{a}+\frac{1}{b}}\le \sqrt{ab}\le \frac{a+b}{2}\le \sqrt{\frac{a^2+b^2}{2}},$条件是$a>0,b>0$，取等条件是$a=b$。用中文说出来这个式子，就是调和平均数$\le$几何平均数$\le$算术平均数$\le$平方平均数。证明过程只需要暴力展开用上面那个非常“友善”的不等式就可以了。

当然类似的，我们可以推广到$n$维的形式，也就是
$\frac{n}{{\sum }_{i=1}^n\frac{1}{x_i}}\le \sqrt[n]{{\Pi }_{i=1}^n{x}_i}\le \frac{{\sum }_{i=1}^n{x}_i}{n}\le \sqrt{\frac{{\sum }_{i=1}^n(x_i{)}^2}{n}},x_i>0$，当且仅当每一项都相等时取等。证明过程就略了，这不是今天的重点。

聪明的$txl:$这些都很友善，那么让我们看看实际应用吧。

已知$x>0$，求$x^2+\frac{2}{x}$的最小值。
愚蠢的$HP:$太简单惹难不倒我。$x^2+\frac{2}{x}=x^2+\frac{1}{x}+\frac{1}{x}\ge 3\sqrt[3]{x^2\times \frac{1}{x}\times \frac{1}{x}}=3$，当且仅当$x=1$时取等。

聪明的$txl:$小子不错嘛，那接下来就来点难的。其实也不难，就是求$y=sin\theta (cos\theta -1),\theta \in (0,\pi )$的最小值。
愚蠢的$HP:$当然是选择求导惹！$y=\frac{1}{2}sin2\theta -sin\theta$，则$y^{\prime }=cos2\theta -cos\theta =-2sin\frac{3\theta }{2}sin\frac{\theta }{2}$。令$y^{\prime }=0$，则$\theta =\frac{2\pi }{3}$。当$\theta \in (0,\frac{2\pi }{3})$时，$y^{\prime }<0$。当$\theta \in (\frac{2\pi }{3},\pi )$时，$y^{\prime }>0$。所以$\theta =\frac{2\pi }{3}$就是取到最小值的点，$y=-\frac{3\sqrt{3}}{4}$。
聪明的$txl:$你求导这就有点犯规了，我们今天讲的毕竟是均值不等式，那有没有均值不等式的做法呢？
愚蠢的$HP:$我暂时还想不到诶。
聪明的$txl:$这里要用到一个常用的配凑技巧，叫做待定系数法。

首先，显然$sin\theta >0,cos\theta -1<0$，所以求原式的最小值只需要求$sin\theta (1-cos\theta )$的最大值就行，然后取个相反数。

我们希望用不等式能发现什么东西。
$sin\theta (1-cos\theta )\le (\frac{sin\theta -cos\theta +1}{2}{)}^2$
然后我们尝试着用辅助角公式求。
原式$\le (\frac{\sqrt{2}sin(\theta -\frac{\pi }{4})+1}{2}{)}^2\le (\frac{\sqrt{2}+1}{2}{)}^2\dots \dots$为什么和刚刚求的答案不一样$?$
聪明的$txl:$显然是取等条件错开了，也就是在第一个不等式取等条件成立时第二个不等式取不到等号。我们多么希望能够保证两边同时能取到等号！
所以我们用待定系数法！

设原式=$\frac{1}{k}\times ksin\theta (1-cos\theta )\le \frac{1}{k}\times (\frac{ksin\theta -cos\theta +1}{2}{)}^2=\frac{1}{k}\times (\frac{\sqrt{k^2+1}sin(\theta -\varphi )+1}{2}{)}^2$。
我们希望两边都能取到等号，也就是$ksin\theta =1-cos\theta ,ksin\theta -cos\theta =\sqrt{k^2+1}$两个式子成立。解方程得$k=\sqrt{3}。$接下来我们就可以肆无忌惮地说：

原式=$\frac{1}{\sqrt{3}}\times \sqrt{3}sin\theta (1-cos\theta )\le \frac{1}{\sqrt{3}}\times (\frac{\sqrt{3}sin\theta -cos\theta +1}{2}{)}^2=\frac{1}{\sqrt{3}}\times (\frac{\sqrt{(\sqrt{3}{)}^2+1}sin(\theta -\frac{\pi }{6})+1}{2}{)}^2\le \frac{3\sqrt{3}}{4}$。所以它的最小值当然是$-\frac{3\sqrt{3}}{4}$咯。

愚蠢的$HP:$原来如此吼。
聪明的$txl:$在均值不等式中还可以再插入一环，也就是对数。我们接下来研究的问题就是，导数的极值点偏移问题，一种高考压轴常考题型。

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