柯西不等式、权方和不等式、排序不等式、琴生不等式
一、柯西不等式(方和积\(\geqslant\)积和方)
柯西不等式二维形式:\((a^{2}+b^{2})(c^{2}+d^{2})\geqslant(ac + bd)^{2}\),其中\(a,b,c,d\in R\),等号成立的条件:\(\frac{a}{c}=\frac{b}{d}\) 或 \(ad = bc\)
例如,当\(a = 1\),\(b = 2\),\(c = 3\),\(d = 4\)时,\((1^{2}+2^{2})(3^{2}+4^{2})=(1 + 4)(9 + 16)=5\times25 = 125\),
\((1\times3+2\times4)^{2}=(3 + 8)^{2}=121\),此时\((a^{2}+b^{2})(c^{2}+d^{2})>(ac + bd)^{2}\)。
柯西不等式\(n\)维形式:
\((a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2})(b_{1}^{2}+b_{2}^{2}+\cdots+b_{n}^{2})\geqslant(a_{1}b_{1}+a_{2}b_{2}+\cdots+a_{n}b_{n})^{2}\),其中\(a_{i},b_{i}\in R\),\(i = 1,2,\cdots,n\),
等号成立的条件:\(\frac{a_{1}}{b_{1}}=\frac{a_{2}}{b_{2}}=\cdots=\frac{a_{n}}{b_{n}}\)(当\(b_{i}=0\)时,\(a_{i}=0\))
柯西不等式的几何意义(二维)
在平面直角坐标系中,设向量\(\vec{\alpha}=(a,b)\),\(\vec{\beta}=(c,d)\)。根据向量的数量积公式
\(\vec{\alpha}\cdot\vec{\beta}=\vert\vec{\alpha}\vert\vert\vec{\beta}\vert\cos\theta\)(其中\(\theta\)为两向量的夹角),同时
\(\vec{\alpha}\cdot\vec{\beta}=ac + bd\)
\(\vert\vec{\alpha}\vert=\sqrt{a^{2}+b^{2}}\)
\(\vert\vec{\beta}\vert=\sqrt{c^{2}+d^{2}}\)
柯西不等式\((a^{2}+b^{2})(c^{2}+d^{2})\geqslant(ac + bd)^{2}\)可以变形为
\(\vert\vec{\alpha}\vert^{2}\vert\vec{\beta}\vert^{2}\geqslant(\vec{\alpha}\cdot\vec{\beta})^{2}\),即
\(\vert\vec{\alpha}\vert\vert\vec{\beta}\vert\geqslant\vert\vec{\alpha}\cdot\vec{\beta}\vert\),这意味着
\(\vert\cos\theta\vert\leqslant1\),几何上表示两个向量夹角余弦值绝对值不超过\(1\)。
用柯西不等式证明不等式
例如证明\(\frac{a + b}{2}\leqslant\sqrt{\frac{a^{2}+b^{2}}{2}}\)(\(a,b\in R\))。
证明过程:设\(x = 1\),\(y = 1\),\(a_{1}=a\),\(b_{1}=b\),根据柯西不等式
\((a^{2}+b^{2})(1^{2}+1^{2})\geqslant(a\times1 + b\times1)^{2}=(a + b)^{2}\),即
\(2(a^{2}+b^{2})\geqslant(a + b)^{2}\),两边同时除以\(4\)可得
\(\frac{a^{2}+b^{2}}{2}\geqslant(\frac{a + b}{2})^{2}\),再开方就得到
\(\frac{a + b}{2}\leqslant\sqrt{\frac{a^{2}+b^{2}}{2}}\)。
用柯西不等式求函数最值
例如求函数\(y = 3\sqrt{x - 1}+\sqrt{5 - x}\)的最大值。
设\(a = 3\),\(b = 1\),\(a_{1}=\sqrt{x - 1}\),\(b_{1}=\sqrt{5 - x}\),根据柯西不等式
\((3^{2}+1^{2})[(\sqrt{x - 1})^{2}+(\sqrt{5 - x})^{2}]\geqslant(3\sqrt{x - 1}+\sqrt{5 - x})^{2}\)。
计算得\(10\times[(x - 1)+(5 - x)]\geqslant(3\sqrt{x - 1}+\sqrt{5 - x})^{2}\),即
\(40\geqslant(3\sqrt{x - 1}+\sqrt{5 - x})^{2}\),所以
\(y = 3\sqrt{x - 1}+\sqrt{5 - x}\leqslant2\sqrt{10}\),
当且仅当\(\frac{3}{\sqrt{x - 1}}=\frac{1}{\sqrt{5 - x}}\)时等号成立,此时函数取得最大值\(2\sqrt{10}\)。
柯西不等式在几何中的应用(二维)
在三角形中,设三角形三边为\(a,b,c\),对应的高为\(h_{a},h_{b},h_{c}\),根据面积公式
\(S=\frac{1}{2}ah_{a}=\frac{1}{2}bh_{b}=\frac{1}{2}ch_{c}\)。
由柯西不等式\((a^{2}+b^{2}+c^{2})(h_{a}^{2}+h_{b}^{2}+h_{c}^{2})\geqslant(a h_{a}+b h_{b}+c h_{c})^{2}\),又因为
\(a h_{a}=b h_{b}=c h_{c}=2S\),所以
\((a^{2}+b^{2}+c^{2})(h_{a}^{2}+h_{b}^{2}+h_{c}^{2})\geqslant(2S)^{2}\),可用于一些几何量之间关系的推导。
代数方法一(作差法)
柯西不等式二维形式:对于任意实数\(a,b,c,d\),有\((a^{2}+b^{2})(c^{2}+d^{2})\geqslant(ac + bd)^{2}\)。
证明过程:
计算\((a^{2}+b^{2})(c^{2}+d^{2})-(ac + bd)^{2}\),展开可得:
\((a^{2}+b^{2})(c^{2}+d^{2})-(ac + bd)^{2}\)
\(=a^{2}c^{2}+a^{2}d^{2}+b^{2}c^{2}+b^{2}d^{2}-(a^{2}c^{2}+2acbd + b^{2}d^{2})\)
进一步化简为\(a^{2}d^{2}-2acbd + b^{2}c^{2}=(ad - bc)^{2}\)。
因为任何实数的平方都大于等于\(0\),即\((ad - bc)^{2}\geqslant0\),所以
\((a^{2}+b^{2})(c^{2}+d^{2})\geqslant(ac + bd)^{2}\),当且仅当\(ad - bc = 0\)时等号成立。
代数方法二(向量法)
原理:设向量\(\vec{m}=(a,b)\),\(\vec{n}=(c,d)\),根据向量的数量积公式
\(\vec{m}\cdot\vec{n}=\vert\vec{m}\vert\vert\vec{n}\vert\cos\theta\)(其中\(\theta\)为\(\vec{m}\)与\(\vec{n}\)的夹角)。
证明过程:
因为\(\vert\vec{m}\cdot\vec{n}\vert=\vert ac + bd\vert\),
\(\vert\vec{m}\vert=\sqrt{a^{2}+b^{2}}\),
\(\vert\vec{n}\vert=\sqrt{c^{2}+d^{2}}\)。
又因为\(\vert\cos\theta\vert\leqslant1\),所以
\(\vert\vec{m}\cdot\vec{n}\vert\leqslant\vert\vec{m}\vert\vert\vec{n}\vert\),即
\(\vert ac + bd\vert\leqslant\sqrt{a^{2}+b^{2}}\sqrt{c^{2}+d^{2}}\),两边平方可得
\((a^{2}+b^{2})(c^{2}+d^{2})\geqslant(ac + bd)^{2}\),当且仅当\(\vec{m}\)与\(\vec{n}\)共线,即\(ad - bc = 0\)时等号成立。
一般形式柯西不等式的证明(\(n\)维)
构造二次函数法
柯西不等式一般形式:
对于实数\(a_{1},a_{2},\cdots,a_{n}\)和\(b_{1},b_{2},\cdots,b_{n}\),有
\((a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2})(b_{1}^{2}+b_{2}^{2}+\cdots+\)
\(b_{n}^{2})\geqslant(a_{1}b_{1}+a_{2}b_{2}+\cdots+a_{n}b_{n})^{2}\)。
证明过程:
设二次函数\(f(x)=(a_{1}x - b_{1})^{2}+(a_{2}x - b_{2})^{2}+\cdots+(a_{n}x - b_{n})^{2}\)。
展开\(f(x)\)得
\(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})\)。
因为对于任意\(x\),\(f(x)\geqslant0\)(平方和非负),所以二次函数的判别式
\(\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})\leqslant0\)。
整理可得
\((a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2})(b_{1}^{2}+b_{2}^{2}+\cdots+\)
\(b_{n}^{2})\geqslant(a_{1}b_{1}+a_{2}b_{2}+\cdots+a_{n}b_{n})^{2}\),当且仅当
\(\frac{a_{1}}{b_{1}}=\frac{a_{2}}{b_{2}}=\cdots=\frac{a_{n}}{b_{n}}\)时等号成立。
1:证明不等式\(\frac{a + b + c}{3}\geqslant\sqrt[3]{abc}\)(\(a,b,c>0\))
分析:先将不等式进行变形,使其能够与柯西不等式的形式相联系,通过巧妙的构造来证明。
证明:设\(x = \sqrt[3]{a}\),\(y = \sqrt[3]{b}\),\(z = \sqrt[3]{c}\)。根据柯西不等式
\((x^{2}+y^{2}+z^{2})(1^{2}+1^{2}+1^{2})\geqslant(x\times1 + y\times1 + z\times1)^{2}\),即
\(3(x^{2}+y^{2}+z^{2})\geqslant(x + y + z)^{2}\)。将
\(x = \sqrt[3]{a}\),\(y = \sqrt[3]{b}\),\(z = \sqrt[3]{c}\)代回可得
\(3(a^{\frac{2}{3}}+b^{\frac{2}{3}}+c^{\frac{2}{3}})\geqslant(a^{\frac{1}{3}}+b^{\frac{1}{3}}+c^{\frac{1}{3}})^{2}\)。对
\((a^{\frac{1}{3}}+b^{\frac{1}{3}}+c^{\frac{1}{3}})^{2}\)展开得
\(a^{\frac{2}{3}} + 2a^{\frac{1}{3}}b^{\frac{1}{3}}+b^{\frac{2}{3}}+2a^{\frac{1}{3}}c^{\frac{1}{3}}+2b^{\frac{1}{3}}c^{\frac{1}{3}}+c^{\frac{2}{3}}\)。因为
\(a^{\frac{2}{3}}+b^{\frac{2}{3}}+c^{\frac{2}{3}}\geqslant a^{\frac{1}{3}}b^{\frac{1}{3}}+a^{\frac{1}{3}}c^{\frac{1}{3}}+b^{\frac{1}{3}}c^{\frac{1}{3}}\)(当且仅当\(a = b = c\)时等号成立),再利用
\(a^{\frac{1}{3}}b^{\frac{1}{3}}+a^{\frac{1}{3}}c^{\frac{1}{3}}+b^{\frac{1}{3}}c^{\frac{1}{3}}\geqslant3\sqrt[3]{a^{\frac{1}{3}}b^{\frac{1}{3}}a^{\frac{1}{3}}c^{\frac{1}{3}}b^{\frac{1}{3}}c^{\frac{1}{3}}}=3\sqrt[3]{abc}\),综上可得
\(\frac{a + b + c}{3}\geqslant\sqrt[3]{abc}\) 。
2:已知\(a,b,c\)为正数且各不相等,求证\(\frac{2}{a + b}+\frac{2}{b + c}+\frac{2}{c + a}\gt\frac{9}{a + b + c}\)
分析:将不等式左边乘以\((a + b + c)\)构造出柯西不等式的形式。
证明:\((a + b + c)\left(\frac{2}{a + b}+\frac{2}{b + c}+\frac{2}{c + a}\right)\)
\(=[(a + b)+(b + c)+(c + a)]\left(\frac{1}{a + b}+\frac{1}{b + c}+\frac{1}{c + a}\right)\),根据柯西不等式
\([(a + b)+(b + c)+(c + a)]\left(\frac{1}{a + b}+\frac{1}{b + c}+\frac{1}{c + a}\right)\geqslant(1 + 1 + 1)^{2}=9\),即
\((a + b + c)\left(\frac{2}{a + b}+\frac{2}{b + c}+\frac{2}{c + a}\right)\geqslant9\),因为\(a,b,c\)各不相等,所以等号取不到,两边同时除以\((a + b + c)\),可得\(\frac{2}{a + b}+\frac{2}{b + c}+\frac{2}{c + a}\gt\frac{9}{a + b + c}\)。
3:设\(x,y,z\in R\),且\(x^{2}+y^{2}+z^{2}=5\),求\(x + 2y + 3z\)的最大值.
分析:直接应用柯西不等式\((a^{2}+b^{2}+c^{2})(d^{2}+e^{2}+f^{2})\geqslant(ad + be + cf)^{2}\)求解。
证明:由柯西不等式
\((x^{2}+y^{2}+z^{2})(1^{2}+2^{2}+3^{2})\geqslant(x\times1 + y\times2 + z\times3)^{2}\),
已知\(x^{2}+y^{2}+z^{2}=5\),则
\(5\times(1^{2}+2^{2}+3^{2})\geqslant(x + 2y + 3z)^{2}\),即
\((x + 2y + 3z)^{2}\leqslant5\times14 = 70\),所以\(x + 2y + 3z\leqslant\sqrt{70}\),当且仅当\(\frac{x}{1}=\frac{y}{2}=\frac{z}{3}\)时等号成立,故\(x + 2y + 3z\)的最大值为\(\sqrt{70}\) 。
4:设\(x,y,z\in R\),若\(x^{2}+y^{2}+z^{2}=4\),求\(x - 2y + 2z\)的最小值及此时\((x,y,z)\)的值.
分析:根据柯西不等式求出\((x - 2y + 2z)^{2}\)的取值范围,进而得到\(x - 2y + 2z\)的最小值。
证明:由柯西不等式
\((x^{2}+y^{2}+z^{2})[1^{2}+(-2)^{2}+2^{2}]\geqslant(x - 2y + 2z)^{2}\),已知
\(x^{2}+y^{2}+z^{2}=4\),则\(4\times(1^{2}+(-2)^{2}+2^{2})\geqslant(x - 2y + 2z)^{2}\),即
\((x - 2y + 2z)^{2}\leqslant4\times9 = 36\),所以\(-6\leqslant x - 2y + 2z\leqslant6\),\(x - 2y + 2z\)的最小值为\(-6\)。
当且仅当\(\frac{x}{1}=\frac{y}{-2}=\frac{z}{2}\)时等号成立,此时设
\(\frac{x}{1}=\frac{y}{-2}=\frac{z}{2}=k\),则\(x = k\),\(y = -2k\),\(z = 2k\),代入\(x^{2}+y^{2}+z^{2}=4\)可得
\(k^{2}+(-2k)^{2}+(2k)^{2}=4\),解得
\(k = -\frac{2}{3}\),所以\((x,y,z)=\left(-\frac{2}{3},\frac{4}{3},-\frac{4}{3}\right)\) 。
5:设\(a,b,c\in R^{+}\),求证\(\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\geqslant a + b + c\)
分析:将不等式左边乘以\((b + c + a)\)构造柯西不等式的形式。
证明:\((b + c + a)\left(\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\right)\)
\(=\left(\sqrt{b}\times\frac{a}{\sqrt{b}}+\sqrt{c}\times\frac{b}{\sqrt{c}}+\sqrt{a}\times\frac{c}{\sqrt{a}}\right)^{2}\),根据柯西不等式
\(\left(\sqrt{b}\times\frac{a}{\sqrt{b}}+\sqrt{c}\times\frac{b}{\sqrt{c}}+\sqrt{a}\times\frac{c}{\sqrt{a}}\right)^{2}\geqslant(a + b + c)^{2}\),即
\((b + c + a)\left(\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\right)\geqslant(a + b + c)^{2}\),两边同时除以
\((b + c + a)\)(因为\(a,b,c\in R^{+}\),所以\(b + c + a\gt0\)),可得
\(\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\geqslant a + b + c\),
当且仅当\(\frac{a}{\sqrt{b}}=\frac{b}{\sqrt{c}}=\frac{c}{\sqrt{a}}\)时等号成立。
6:已知\(a,b\)为非负数,\(a + b = 1\),\(x_{1},x_{2}\in R^{+}\),求证\((ax_{1}+bx_{2})(bx_{1}+ax_{2})\geqslant x_{1}x_{2}\).
分析:将所证不等式左边展开,然后构造柯西不等式的形式进行证明。
证明:将\((ax_{1}+bx_{2})(bx_{1}+ax_{2})\)展开得\(abx_{1}^{2}+(a^{2}+b^{2})x_{1}x_{2}+abx_{2}^{2}\),由柯西不等式
\((a + b)^{2}\geqslant(a^{2}+b^{2})\),因为\(a + b = 1\),所以
\(a^{2}+b^{2}\leqslant1\)。则
\((ax_{1}+bx_{2})(bx_{1}+ax_{2})\)
\(=abx_{1}^{2}+(a^{2}+b^{2})x_{1}x_{2}+abx_{2}^{2}\geqslant abx_{1}^{2}+(a + b)^{2}x_{1}x_{2}+abx_{2}^{2}=x_{1}x_{2}(a^{2}+2ab + b^{2})\)
\(=(a + b)^{2}x_{1}x_{2}=x_{1}x_{2}\),当且仅当\(a = b\)或\(x_{1}=x_{2}\)时等号成立。
7:若\(a\gt b\gt c\),求证\(\frac{1}{a - b}+\frac{1}{b - c}\geqslant\frac{4}{a - c}\).
分析:将\(a - c\)变形为\((a - b)+(b - c)\),然后对\(\left(\frac{1}{a - b}+\frac{1}{b - c}\right)[(a - b)+(b - c)]\)应用柯西不等式。
证明:因为\(a - c=(a - b)+(b - c)\),根据柯西不等式
\(\left(\frac{1}{a - b}+\frac{1}{b - c}\right)[(a - b)+(b - c)]\geqslant(1 + 1)^{2}=4\),即
\(\left(\frac{1}{a - b}+\frac{1}{b - c}\right)(a - c)\geqslant4\),两边同时除以\((a - c)\)(因为\(a\gt b\gt c\),所以\(a - c\gt0\)),可得\(\frac{1}{a - b}+\frac{1}{b - c}\geqslant\frac{4}{a - c}\),当且仅当\(\frac{a - b}{1}=\frac{b - c}{1}\),即\(a - b = b - c\)时等号成立。
8:设\(a,b,c\in R^{+}\),且\(a + 2b + 3c = 14\),求\(a^{2}+b^{2}+c^{2}\)的最小值。
分析:根据柯西不等式\((a^{2}+b^{2}+c^{2})(1^{2}+2^{2}+3^{2})\geqslant(a\times1 + b\times2 + c\times3)^{2}\)求解。
证明:由柯西不等式
\((a^{2}+b^{2}+c^{2})(1^{2}+2^{2}+3^{2})\geqslant(a\times1 + b\times2 + c\times3)^{2}\),已知\(a + 2b + 3c = 14\),则
\((a^{2}+b^{2}+c^{2})(1 + 4 + 9)\geqslant14^{2}\),即
\(14(a^{2}+b^{2}+c^{2})\geqslant14^{2}\),所以\(a^{2}+b^{2}+c^{2}\geqslant14\),
当且仅当\(\frac{a}{1}=\frac{b}{2}=\frac{c}{3}\)时等号成立,故\(a^{2}+b^{2}+c^{2}\)的最小值为\(14\) 。
9:已知\(x,y,z\in R\),满足\(2x - y - 2z = 6\),求\(x^{2}+y^{2}+z^{2}\)的最小值及此时\(x,y,z\)的值.
分析:利用柯西不等式\((2^{2}+(-1)^{2}+(-2)^{2})(x^{2}+y^{2}+z^{2})\geqslant(2x - y - 2z)^{2}\)求解。
证明:由柯西不等式\((2^{2}+(-1)^{2}+(-2)^{2})(x^{2}+y^{2}+z^{2})\geqslant(2x - y - 2z)^{2}\),已知
\(2x - y - 2z = 6\),则
\(9(x^{2}+y^{2}+z^{2})\geqslant6^{2}=36\),所以\(x^{2}+y^{2}+z^{2}\geqslant4\),
当且仅当\(\frac{x}{2}=\frac{y}{-1}=\frac{z}{-2}\)时等号成立。设\(\frac{x}{2}=\frac{y}{-1}=\frac{z}{-2}=k\),则
\(x = 2k\),\(y = -k\),\(z = -2k\),代入\(2x - y - 2z = 6\)可得\(4k + k + 4k = 6\),解得\(k=\frac{2}{3}\),所以
\(x=\frac{4}{3}\),\(y=-\frac{2}{3}\),\(z=-\frac{4}{3}\),即\(x^{2}+y^{2}+z^{2}\)的最小值为\(4\),此时
\((x,y,z)=\left(\frac{4}{3},-\frac{2}{3},-\frac{4}{3}\right)\) 。
10:设\(a,b,c\)均为正数且\(a + b + c = 9\),求\(\frac{4}{a}+\frac{9}{b}+\frac{16}{c}\)的最小值.
分析:根据柯西不等式\((a + b + c)\left(\frac{4}{a}+\frac{9}{b}+\frac{16}{c}\right)\geqslant(2 + 3 + 4)^{2}\)求解。
证明:由柯西不等式
\((a + b + c)\left(\frac{4}{a}+\frac{9}{b}+\frac{16}{c}\right)\geqslant(2 + 3 + 4)^{2}=81\),已知\(a + b + c = 9\),则
\(9\left(\frac{4}{a}+\frac{9}{b}+\frac{16}{c}\right)\geqslant81\),所以
\(\frac{4}{a}+\frac{9}{b}+\frac{16}{c}\geqslant9\),
当且仅当\(\frac{a}{2}=\frac{b}{3}=\frac{c}{4}\)时等号成立,故\(\frac{4}{a}+\frac{9}{b}+\frac{16}{c}\)的最小值为\(9\) 。
二、权方和不等式
对于两组正实数\(a_{1},a_{2},\cdots,a_{n}\)和\(b_{1},b_{2},\cdots,b_{n}\),当\(m > 0\)或\(m< - 1\)时,有
\(\frac{a_{1}^{m + 1}}{b_{1}^{m}}+\frac{a_{2}^{m+1}}{b_{2}^{m}}+\cdots+\frac{a_{n}^{m + 1}}{b_{n}^{m}}\geqslant\frac{(a_{1}+a_{2}+\cdots+a_{n})^{m + 1}}{(b_{1}+b_{2}+\cdots+b_{n})^{m}}\),等号成立当且仅当\(\frac{a_{1}}{b_{1}}=\frac{a_{2}}{b_{2}}=\cdots=\frac{a_{n}}{b_{n}}\)。
当\(-1<m<0\)时,不等式反向,即
\(\frac{a_{1}^{m + 1}}{b_{1}^{m}}+\frac{a_{2}^{m+1}}{b_{2}^{m}}+\cdots+\frac{a_{n}^{m + 1}}{b_{n}^{m}}\leqslant\frac{(a_{1}+a_{2}+\cdots+a_{n})^{m + 1}}{(b_{1}+b_{2}+\cdots+b_{n})^{m}}\)。
二维形式的权方和不等式及证明(\(n = 2\))
二维形式:当\(x,y,a,b>0\),且\(m > 0\)或\(m< - 1\)时,\(\frac{x^{m + 1}}{a^{m}}+\frac{y^{m+1}}{b^{m}}\geqslant\frac{(x + y)^{m + 1}}{(a + b)^{m}}\)。
证明(以\(m > 0\)为例):
设\(A=\frac{x}{a}\),\(B=\frac{y}{b}\),则\(x = aA\),\(y = bB\)。
要证\(\frac{x^{m + 1}}{a^{m}}+\frac{y^{m+1}}{b^{m}}\geqslant\frac{(x + y)^{m + 1}}{(a + b)^{m}}\),即证\(aA^{m + 1}+bB^{m + 1}\geqslant\frac{(aA + bB)^{m + 1}}{(a + b)^{m}}\)。
根据赫尔德不等式
\((\sum_{i = 1}^{n}u_{i}^{p})(\sum_{i = 1}^{n}v_{i}^{q})\geqslant(\sum_{i = 1}^{n}u_{i}v_{i})^{p + q}\)(当\(\frac{1}{p}+\frac{1}{q}=1\)),令
\(p=\frac{m + 1}{m}\),\(q=m + 1\),\(u_{1}=a^{\frac{m}{m + 1}}\),\(v_{1}=A\),\(u_{2}=b^{\frac{m}{m + 1}}\),\(v_{2}=B\)。
则\((a^{\frac{m}{m + 1}}A + b^{\frac{m}{m + 1}}B)^{m + 1}\leqslant(aA^{m + 1}+bB^{m + 1})(a + b)^{m}\),整理可得
\(aA^{m + 1}+bB^{m + 1}\geqslant\frac{(aA + bB)^{m + 1}}{(a + b)^{m}}\),即证得权方和不等式。
1:已知\(a,b,c\in R^{+}\),求证\(\frac{a^{3}}{b^{2}}+\frac{b^{3}}{c^{2}}+\frac{c^{3}}{a^{2}}\geqslant a + b + c\)。
这里\(m = 1\),根据权方和不等式
\(\frac{a^{3}}{b^{2}}+\frac{b^{3}}{c^{2}}+\frac{c^{3}}{a^{2}}\geqslant\frac{(a + b + c)^{3}}{(b + c + a)^{2}}=a + b + c\),当且仅当\(\frac{a}{b}=\frac{b}{c}=\frac{c}{a}\)时等号成立。
2:已知\(x,y>0\),且\(x + y = 1\),求\(\frac{1}{x}+\frac{4}{y}\)的最小值。
由权方和不等式
\(\frac{1^{2}}{x}+\frac{2^{2}}{y}\geqslant\frac{(1 + 2)^{2}}{(x + y)}=\frac{9}{1}=9\),
当且仅当\(\frac{1}{x}=\frac{2}{y}\),结合\(x + y = 1\),解得\(x=\frac{1}{3}\),\(y=\frac{2}{3}\)时等号成立,所以\(\frac{1}{x}+\frac{4}{y}\)的最小值为\(9\)。
3:已知\(a,b > 0\),且\(a + b=1\),求证\(\frac{1}{a}+\frac{1}{b}\geqslant4\)。
证明:
根据权方和不等式\(\frac{x^{m + 1}}{y^{m}}+\frac{z^{m+ 1}}{w^{m}}\geqslant\frac{(x + z)^{m + 1}}{(y + w)^{m}}\)(当且仅当\(\frac{x}{y}=\frac{z}{w}\)时等号成立)。
令\(m = 1\),\(x = 1\),\(y=a\),\(z = 1\),\(w = b\),则\(\frac{1^{2}}{a}+\frac{1^{2}}{b}\geqslant\frac{(1 + 1)^{2}}{a + b}\)。
因为\(a + b = 1\),所以\(\frac{1}{a}+\frac{1}{b}\geqslant\frac{4}{1}=4\),当且仅当\(a=b=\frac{1}{2}\)时等号成立。
4:已知\(x,y>0\),且\(x + y=2\),求\(\frac{1}{x}+\frac{4}{y}\)的最小值。
解:
由权方和不等式,令\(m = 1\),\(x_{1}=1\),\(y_{1}=x\),\(x_{2}=2\),\(y_{2}=y\)。
则\(\frac{1^{2}}{x}+\frac{2^{2}}{y}\geqslant\frac{(1 + 2)^{2}}{x + y}\)。
因为\(x + y = 2\),所以\(\frac{1}{x}+\frac{4}{y}\geqslant\frac{9}{2}\),当且仅当\(\frac{1}{x}=\frac{2}{y}\),结合\(x + y = 2\),解得\(x=\frac{2}{3}\),\(y=\frac{4}{3}\)时等号成立。
5:已知\(a,b,c>0\),且\(a + b + c = 1\),求证\(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\geqslant9\)。
证明:
令\(m = 1\),\(x_{1}=1\),\(y_{1}=a\),\(x_{2}=1\),\(y_{2}=b\),\(x_{3}=1\),\(y_{3}=c\)。
根据权方和不等式\(\frac{1^{2}}{a}+\frac{1^{2}}{b}+\frac{1^{2}}{c}\geqslant\frac{(1 + 1+1)^{2}}{a + b + c}\)。
因为\(a + b + c = 1\),所以\(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\geqslant\frac{9}{1}=9\),当且仅当\(a=b = c=\frac{1}{3}\)时等号成立。
6:已知\(x,y,z>0\),且\(x + y+z = 3\),求\(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\)的最小值。
解:
设\(m = 1\),\(x_{1}=1\),\(y_{1}=x\),\(x_{2}=1\),\(y_{2}=y\),\(x_{3}=1\),\(y_{3}=z\)。
由权方和不等式\(\frac{1^{2}}{x}+\frac{1^{2}}{y}+\frac{1^{2}}{z}\geqslant\frac{(1 + 1 + 1)^{2}}{x + y+z}\)。
因为\(x + y + z = 3\),所以\(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\geqslant\frac{9}{3}=3\),当且仅当\(x=y = z = 1\)时等号成立。
7:已知\(a,b>0\),且\(a^{2}+b^{2}=1\),求证\(\frac{1}{a^{2}}+\frac{1}{b^{2}}\geqslant8\)。
证明:
令\(m = 2\),\(x = 1\),\(y=a\),\(z = 1\),\(w = b\)。
根据权方和不等式\(\frac{1^{3}}{a^{2}}+\frac{1^{3}}{b^{2}}\geqslant\frac{(1 + 1)^{3}}{a^{2}+b^{2}}\)。
因为\(a^{2}+b^{2}=1\),所以\(\frac{1}{a^{2}}+\frac{1}{b^{2}}\geqslant\frac{8}{1}=8\),当且仅当\(a=b=\frac{\sqrt{2}}{2}\)时等号成立。
8:已知\(x,y>0\),且\(x^{2}+y^{2}=2\),求\(\frac{1}{x^{2}}+\frac{4}{y^{2}}\)的最小值。
解:
令\(m = 2\),\(x_{1}=1\),\(y_{1}=x\),\(x_{2}=2\),\(y_{2}=y\)。
由权方和不等式\(\frac{1^{3}}{x^{2}}+\frac{2^{3}}{y^{2}}\geqslant\frac{(1 + 2)^{3}}{x^{2}+y^{2}}\)。
因为\(x^{2}+y^{2}=2\),所以\(\frac{1}{x^{2}}+\frac{4}{y^{2}}\geqslant\frac{27}{2}\),当且仅当\(\frac{1}{x^{2}}=\frac{2}{y^{2}}\),结合\(x^{2}+y^{2}=2\)解得\(x=\frac{\sqrt{2}}{3}\),\(y=\frac{2\sqrt{2}}{3}\)时等号成立。
9:已知\(a,b,c>0\),且\(a^{3}+b^{3}+c^{3}=3\),求证\(\frac{1}{a^{3}}+\frac{1}{b^{3}}+\frac{1}{c^{3}}\geqslant3\)。
证明:
令\(m = 3\),\(x_{1}=1\),\(y_{1}=a\),\(x_{2}=1\),\(y_{2}=b\),\(x_{3}=1\),\(y_{3}=c\)。
根据权方和不等式\(\frac{1^{4}}{a^{3}}+\frac{1^{4}}{b^{3}}+\frac{1^{4}}{c^{3}}\geqslant\frac{(1 + 1+1)^{4}}{a^{3}+b^{3}+c^{3}}\)。
因为\(a^{3}+b^{3}+c^{3}=3\),所以\(\frac{1}{a^{3}}+\frac{1}{b^{3}}+\frac{1}{c^{3}}\geqslant\frac{81}{3}=27\),当且仅当\(a=b = c = 1\)时等号成立。
10:已知\(x,y,z>0\),且\(x^{3}+y^{3}+z^{3}=1\),求\(\frac{1}{x^{3}}+\frac{1}{y^{3}}+\frac{1}{z^{3}}\)的最小值。
解:
设\(m = 3\),\(x_{1}=1\),\(y_{1}=x\),\(x_{2}=1\),\(y_{2}=y\),\(x_{3}=1\),\(y_{3}=z\)。
由权方和不等式\(\frac{1^{4}}{x^{3}}+\frac{1^{4}}{y^{3}}+\frac{1^{4}}{z^{3}}\geqslant\frac{(1 + 1 + 1)^{4}}{x^{3}+y^{3}+z^{3}}\)。
因为\(x^{3}+y^{3}+z^{3}=1\),所以\(\frac{1}{x^{3}}+\frac{1}{y^{3}}+\frac{1}{z^{3}}\geqslant27\),当且仅当\(x=y = z = 1\)时等号成立。
11:已知\(a,b>0\),且\(\frac{1}{a}+\frac{1}{b}=1\),求证\(a + b\geqslant4\)。
证明:
已知\(\frac{1}{a}+\frac{1}{b}=1\),则\(a + b=(a + b)\left(\frac{1}{a}+\frac{1}{b}\right)\)。
令\(m = 1\),\(x_{1}=1\),\(y_{1}=a\),\(x_{2}=1\),\(y_{2}=b\)。
根据权方和不等式\(\frac{1^{2}}{a}+\frac{1^{2}}{b}\geqslant\frac{(1 + 1)^{2}}{a + b}\),即\(a + b=(a + b)\left(\frac{1}{a}+\frac{1}{b}\right)\geqslant4\),当且仅当\(a=b = 2\)时等号成立。
12:已知\(x,y>0\),且\(\frac{1}{x}+\frac{4}{y}=1\),求\(x + y\)的最小值。
解:
因为\(x + y=(x + y)\left(\frac{1}{x}+\frac{4}{y}\right)\)。
令\(m = 1\),\(x_{1}=1\),\(y_{1}=x\),\(x_{2}=2\),\(y_{2}=y\)。
由权方和不等式\(\frac{1^{2}}{x}+\frac{2^{2}}{y}\geqslant\frac{(1 + 2)^{2}}{x + y}\),则\(x + y=(x + y)\left(\frac{1}{x}+\frac{4}{y}\right)\geqslant9\),当且仅当\(\frac{1}{x}=\frac{2}{y}\),结合\(\frac{1}{x}+\frac{4}{y}=1\)解得\(x = 3\),\(y = 6\)时等号成立。
三、排序不等式
设\(a_{1}\leq a_{2}\leq\cdots\leq a_{n}\)和\(b_{1}\leq b_{2}\leq\cdots\leq b_{n}\)是两组实数,\(c_{1},c_{2},\cdots,c_{n}\)是\(b_{1},b_{2},\cdots,b_{n}\)的任一排列,则有
\(a_{1}b_{n}+a_{2}b_{n - 1}+\cdots+a_{n}b_{1}\leq a_{1}c_{1}+a_{2}c_{2}+\cdots+a_{n}c_{n}\leq a_{1}b_{1}+a_{2}b_{2}+\cdots+a_{n}b_{n}\)
简单来说,反序和≤乱序和≤顺序和
证明排序不等式(以\(n = 2\)为例)
设\(a_{1}\leq a_{2}\),\(b_{1}\leq b_{2}\)。
那么反序和为\(a_{1}b_{2}+a_{2}b_{1}\),顺序和为\(a_{1}b_{1}+a_{2}b_{2}\)。
计算\((a_{1}b_{1}+a_{2}b_{2})-(a_{1}b_{2}+a_{2}b_{1})\)
展开式子得\(a_{1}b_{1}+a_{2}b_{2}-a_{1}b_{2}-a_{2}b_{1}=a_{1}(b_{1}-b_{2})+a_{2}(b_{2}-b_{1})\)
进一步变形为\((a_{2}-a_{1})(b_{2}-b_{1})\)。
因为\(a_{1}\leq a_{2}\),\(b_{1}\leq b_{2}\),所以\((a_{2}-a_{1})\geq0\),\((b_{2}-b_{1})\geq0\)。
则\((a_{2}-a_{1})(b_{2}-b_{1})\geq0\),即\(a_{1}b_{1}+a_{2}b_{2}\geq a_{1}b_{2}+a_{2}b_{1}\)。
对于\(n\)个元素的情况,可以用数学归纳法来证明。
例:设\(a,b,c\)为正数,求证\(a^{3}+b^{3}+c^{3}\geq a^{2}b + b^{2}c + c^{2}a\)。
证明:不妨设\(a\geq b\geq c>0\),则\(a^{2}\geq b^{2}\geq c^{2}\)。
由排序不等式,顺序和\(a^{3}+b^{3}+c^{3}=a\cdot a^{2}+b\cdot b^{2}+c\cdot c^{2}\),乱序和\(a^{2}b + b^{2}c + c^{2}a=a\cdot b^{2}+b\cdot c^{2}+c\cdot a^{2}\)。
根据排序不等式顺序和≥乱序和,所以\(a^{3}+b^{3}+c^{3}\geq a^{2}b + b^{2}c + c^{2}a\)。
四、琴生不等式
设\(f(x)\)是定义在区间\(I\)上的凸函数,则对于区间\(I\)上的任意\(x_{1},x_{2},\cdots,x_{n}\),有
\(f(\frac{x_{1}+x_{2}+\cdots+x_{n}}{n})\leqslant\frac{f(x_{1})+f(x_{2})+\cdots+f(x_{n})}{n}\);当\(f(x)\)是凹函数时,不等号方向相反。
1. 证明均值不等式\(\frac{a + b}{2}\geqslant\sqrt{ab}\)(\(a,b>0\))
分析:设\(f(x)=-\ln x\),\(x > 0\),先证明\(f(x)\)是凸函数,再利用琴生不等式证明。
证明:\(f^{\prime}(x)=-\frac{1}{x}\),\(f^{\prime\prime}(x)=\frac{1}{x^{2}}>0\),所以\(f(x)\)是凸函数。设\(x_{1}=a\),\(x_{2}=b\),\(\lambda_{1}=\lambda_{2}=\frac{1}{2}\)。根据琴生不等式\(f(\frac{a + b}{2})\leqslant\frac{1}{2}f(a)+\frac{1}{2}f(b)\),即\(-\ln(\frac{a + b}{2})\leqslant-\frac{1}{2}\ln a-\frac{1}{2}\ln b\),化简得\(\ln(\frac{a + b}{2})\geqslant\ln\sqrt{ab}\),所以\(\frac{a + b}{2}\geqslant\sqrt{ab}\)。
2. 证明\(\frac{a + b + c}{3}\geqslant\sqrt[3]{abc}\)(\(a,b,c>0\))
分析:设\(f(x)=-\ln x\),\(x > 0\),利用其凸性和琴生不等式证明。
证明:\(f^{\prime}(x)=-\frac{1}{x}\),\(f^{\prime\prime}(x)=\frac{1}{x^{2}}>0\),\(f(x)\)是凸函数。设\(x_{1}=a\),\(x_{2}=b\),\(x_{3}=c\),\(\lambda_{1}=\lambda_{2}=\lambda_{3}=\frac{1}{3}\)。由琴生不等式\(f(\frac{a + b + c}{3})\leqslant\frac{1}{3}f(a)+\frac{1}{3}f(b)+\frac{1}{3}f(c)\),即\(-\ln(\frac{a + b + c}{3})\leqslant-\frac{1}{3}\ln a-\frac{1}{3}\ln b-\frac{1}{3}\ln c\),整理得\(\ln(\frac{a + b + c}{3})\geqslant\ln\sqrt[3]{abc}\),所以\(\frac{a + b + c}{3}\geqslant\sqrt[3]{abc}\)。
3. 设\(a,b,c>0\),且\(a + b + c = 1\),证明\(\sqrt{a}+\sqrt{b}+\sqrt{c}\leqslant\sqrt{3}\)
分析:设\(f(x)=\sqrt{x}\),\(x > 0\),判断其凹凸性后利用琴生不等式证明。
证明:\(f^{\prime}(x)=\frac{1}{2\sqrt{x}}\),\(f^{\prime\prime}(x)=-\frac{1}{4x^{\frac{3}{2}}}<0\),\(f(x)\)是凹函数。设\(x_{1}=a\),\(x_{2}=b\),\(x_{3}=c\),\(\lambda_{1}=\lambda_{2}=\lambda_{3}=\frac{1}{3}\)。根据琴生不等式(凹函数反向)\(f(\frac{a + b + c}{3})\geqslant\frac{1}{3}f(a)+\frac{1}{3}f(b)+\frac{1}{3}f(c)\),即\(\sqrt{\frac{a + b + c}{3}}\geqslant\frac{1}{3}(\sqrt{a}+\sqrt{b}+\sqrt{c})\),已知\(a + b + c = 1\),所以\(\frac{1}{\sqrt{3}}\geqslant\frac{1}{3}(\sqrt{a}+\sqrt{b}+\sqrt{c})\),即\(\sqrt{a}+\sqrt{b}+\sqrt{c}\leqslant\sqrt{3}\)。
4. 已知\(x,y,z\in R^{+}\),证明\((x^{2}+y^{2}+z^{2})(\frac{1}{x^{2}}+\frac{1}{y^{2}}+\frac{1}{z^{2}})\geqslant9\)
分析:设\(f(t)=t+\frac{1}{t}\),\(t > 0\),先判断凹凸性,再应用琴生不等式。
证明:\(f^{\prime}(t)=1-\frac{1}{t^{2}}\),\(f^{\prime\prime}(t)=\frac{2}{t^{3}}>0\),\(f(t)\)是凸函数。设\(t_{1}=x^{2}\),\(t_{2}=y^{2}\),\(t_{3}=z^{2}\),\(\lambda_{1}=\lambda_{2}=\lambda_{3}=\frac{1}{3}\)。由琴生不等式\(f(\frac{t_{1}+t_{2}+t_{3}}{3})\leqslant\frac{1}{3}f(t_{1})+\frac{1}{3}f(t_{2})+\frac{1}{3}f(t_{3})\),即\(\frac{x^{2}+y^{2}+z^{2}}{3}+\frac{3}{x^{2}+y^{2}+z^{2}}\leqslant\frac{1}{3}(x^{2}+\frac{1}{x^{2}}+y^{2}+\frac{1}{y^{2}}+z^{2}+\frac{1}{z^{2}})\)。
又因为\((x^{2}+y^{2}+z^{2})(\frac{1}{x^{2}}+\frac{1}{y^{2}}+\frac{1}{z^{2}})=x^{2}(\frac{1}{x^{2}}+\frac{1}{y^{2}}+\frac{1}{z^{2}})+y^{2}(\frac{1}{x^{2}}+\frac{1}{y^{2}}+\frac{1}{z^{2}})+z^{2}(\frac{1}{x^{2}}+\frac{1}{y^{2}}+\frac{1}{z^{2}})\)
展开后可得\(3+\frac{x^{2}}{y^{2}}+\frac{y^{2}}{x^{2}}+\frac{x^{2}}{z^{2}}+\frac{z^{2}}{x^{2}}+\frac{y^{2}}{z^{2}}+\frac{z^{2}}{y^{2}}\geqslant9\)(利用均值不等式\(\frac{a + b}{2}\geqslant\sqrt{ab}\)),所以\((x^{2}+y^{2}+z^{2})(\frac{1}{x^{2}}+\frac{1}{y^{2}}+\frac{1}{z^{2}})\geqslant9\)。
5. 已知\(a,b,c\in R^{+}\),且\(abc = 1\),证明\(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\geqslant\sqrt{a}+\sqrt{b}+\sqrt{c}\)
分析:设\(f(x)=\frac{1}{x}\),\(x > 0\)和\(g(x)=\sqrt{x}\),\(x > 0\),分别判断凹凸性,利用琴生不等式证明。
证明:对于\(f(x)=\frac{1}{x}\),\(f^{\prime}(x)=-\frac{1}{x^{2}}\),\(f^{\prime\prime}(x)=\frac{2}{x^{3}}>0\),\(f(x)\)是凸函数。对于\(g(x)=\sqrt{x}\),\(g^{\prime}(x)=\frac{1}{2\sqrt{x}}\),\(g^{\prime\prime}(x)=-\frac{1}{4x^{\frac{3}{2}}}<0\),\(g(x)\)是凹函数。
设\(x_{1}=a\),\(x_{2}=b\),\(x_{3}=c\),\(\lambda_{1}=\lambda_{2}=\lambda_{3}=\frac{1}{3}\)。根据琴生不等式,\(f(\frac{a + b + c}{3})\leqslant\frac{1}{3}f(a)+\frac{1}{3}f(b)+\frac{1}{3}f(c)\),即\(\frac{3}{a + b + c}\leqslant\frac{1}{3}(\frac{1}{a}+\frac{1}{b}+\frac{1}{c})\)。
又因为\(g(\frac{a + b + c}{3})\geqslant\frac{1}{3}g(a)+\frac{1}{3}g(b)+\frac{1}{3}g(c)\),即\(\sqrt{\frac{a + b + c}{3}}\geqslant\frac{1}{3}(\sqrt{a}+\sqrt{b}+\sqrt{c})\)。
由均值不等式\(a + b + c\geqslant3\sqrt[3]{abc}=3\),所以\(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\geqslant\sqrt{a}+\sqrt{b}+\sqrt{c}\)。
6. 已知\(x,y\in R^{+}\),且\(x + y = 1\),求\(2^{x}+2^{y}\)的最小值
分析:设\(f(t)=2^{t}\),\(t\in R\),判断凹凸性后利用琴生不等式求解最小值。
证明:\(f^{\prime}(t)=2^{t}\ln 2\),\(f^{\prime\prime}(t)=2^{t}(\ln 2)^{2}>0\),\(f(t)\)是凸函数。设\(x_{1}=x\),\(x_{2}=y\),\(\lambda_{1}=\lambda_{2}=\frac{1}{2}\)。根据琴生不等式\(f(\frac{x + y}{2})\leqslant\frac{1}{2}f(x)+\frac{1}{2}f(y)\),即\(2^{\frac{x + y}{2}}\leqslant\frac{1}{2}(2^{x}+2^{y})\)。
已知\(x + y = 1\),所以\(2^{\frac{1}{2}}\leqslant\frac{1}{2}(2^{x}+2^{y})\),即\(2^{x}+2^{y}\geqslant2\sqrt{2}\),当且仅当\(x = y=\frac{1}{2}\)时取到最小值\(2\sqrt{2}\)。
7. 设\(a,b,c,d\in R^{+}\),且\(a + b + c + d = 4\),证明\(\frac{1}{a^{2}}+\frac{1}{b^{2}}+\frac{1}{c^{2}}+\frac{1}{d^{2}}\geqslant4\)
分析:设\(f(t)=\frac{1}{t^{2}}\),\(t > 0\),判断凹凸性后用琴生不等式证明。
证明:\(f^{\prime}(t)=-\frac{2}{t^{3}}\),\(f^{\prime\prime}(t)=\frac{6}{t^{4}}>0\),\(f(t)\)是凸函数。设\(x_{1}=a\),\(x_{2}=b\),\(x_{3}=c\),\(x_{4}=d\),\(\lambda_{1}=\lambda_{2}=\lambda_{3}=\lambda_{4}=\frac{1}{4}\)。
根据琴生不等式\(f(\frac{a + b + c + d}{4})\leqslant\frac{1}{4}f(a)+\frac{1}{4}f(b)+\frac{1}{4}f(c)+\frac{1}{4}f(d)\),即\(\frac{1}{(\frac{a + b + c + d}{4})^{2}}\leqslant\frac{1}{4}(\frac{1}{a^{2}}+\frac{1}{b^{2}}+\frac{1}{c^{2}}+\frac{1}{d^{2}})\)。
已知\(a + b + c + d = 4\),所以\(\frac{1}{4}\leqslant\frac{1}{4}(\frac{1}{a^{2}}+\frac{1}{b^{2}}+\frac{1}{c^{2}}+\frac{1}{d^{2}})\),即\(\frac{1}{a^{2}}+\frac{1}{b^{2}}+\frac{1}{c^{2}}+\frac{1}{d^{2}}\geqslant4\)。
8. 在三角形\(ABC\)中,证明\(\sin A+\sin B+\sin C\leqslant\frac{3\sqrt{3}}{2}\)
分析:设\(f(x)=\sin x\),\(x\in(0,\pi)\),判断凹凸性后利用琴生不等式证明。
证明:\(f^{\prime}(x)=\cos x\),\(f^{\prime\prime}(x)=-\sin x<0\)(\(x\in(0,\pi)\)),\(f(x)\)是凹函数。设\(A,B,C\)为三角形内角,\(\lambda_{1}=\lambda_{2}=\lambda_{3}=\frac{1}{3}\)。
根据琴生不等式(凹函数反向)\(f(\frac{A + B + C}{3})\geqslant\frac{1}{3}f(A)+\frac{1}{3}f(B)+\frac{1}{3}f(C)\),因为\(A + B + C=\pi\),所以\(\sin\frac{\pi}{3}\geqslant\frac{1}{3}(\sin A+\sin B+\sin C)\),即\(\frac{\sqrt{3}}{2}\geqslant\frac{1}{3}(\sin A+\sin B+\sin C)\),所以\(\sin A+\sin B+\sin C\leqslant\frac{3\sqrt{3}}{2}\)。
9. 已知\(x_{1},x_{2},\cdots,x_{n}\in R^{+}\),且\(x_{1}+x_{2}+\cdots+x_{n}=1\),证明\(\frac{1}{1 + x_{1}}+\frac{1}{1 + x_{2}}+\cdots+\frac{1}{1 + x_{n}}\geqslant\frac{n}{1+\frac{1}{n}}\)
分析:设\(f(t)=\frac{1}{1 + t}\),\(t > 0\),判断凹凸性后用琴生不等式证明。
证明:\(f^{\prime}(t)=-\frac{1}{(1 + t)^{2}}\),\(f^{\prime\prime}(t)=\frac{2}{(1 + t)^{3}}>0\),\(f(t)\)是凸函数。设\(x_{1},x_{2},\cdots,x_{n}\),\(\lambda_{1}=\lambda_{2}=\cdots=\lambda_{n}=\frac{1}{n}\)。
根据琴生不等式\(f(\frac{x_{1}+x_{2}+\cdots+x_{n}}{n})\leqslant\frac{1}{n}f(x_{1})+\frac{1}{n}f(x_{2})+\cdots+\frac{1}{n}f(x_{n})\),即\(\frac{1}{1+\frac{x_{1}+x_{2}+\cdots+x_{n}}{n}}\leqslant\frac{1}{n}(\frac{1}{1 + x_{1}}+\frac{1}{1 + x_{2}}+\cdots+\frac{1}{1 + x_{n}})\)。
已知\(x_{1}+x_{2}+\cdots+x_{n}=1\),所以\(\frac{1}{1+\frac{1}{n}}\leqslant\frac{1}{n}(\frac{1}{1 + x_{1}}+\frac{1}{1 + x_{2}}+\cdots+\frac{1}{1 + x_{n}})\),即\(\frac{1}{1 + x_{1}}+\frac{1}{1 + x_{2}}+\cdots+\frac{1}{1 + x_{n}}\geqslant\frac{n}{1+\frac{1}{n}}\)。
10. 设\(a,b,c\in R^{+}\),证明\(\frac{a^{3}}{b}+\frac{b^{3}}{c}+\frac{c^{3}}{a}\geqslant a + b + c\)
分析:设\(f(x)=x^{3}\),\(x > 0\),判断凹凸性后利用琴生不等式证明。
证明:\(f^{\prime}(x)=3x^{2}\),\(f^{\prime\prime}(x)=6x>0\),\(f(x)\)是凸函数。设\(x_{1}=\frac{a}{b}\),\(x_{2}=\frac{b}{c}\),\(x_{3}=\frac{c}{a}\),\(\lambda_{1}=\lambda_{2}=\lambda_{3}=\frac{1}{3}\)。
根据琴生不等式\(f(\frac{x_{1}+x_{2}+x_{3}}{3})\leqslant\frac{1}{3}f(x_{1})+\frac{1}{3}f(x_{2})+\frac{1}{3}f(x_{3})\),即\((\frac{\frac{a}{b}+\frac{b}{c}+\frac{c}{a}}{3})^{3}\leqslant\frac{1}{3}[(\frac{a}{b})^{3}+(\frac{b}{c})^{3}+(\frac{c}{a})^{3}]\)。
由均值不等式\(\frac{\frac{a}{b}+\frac{b}{c}+\frac{c}{a}}{3}\geqslant\sqrt[3]{\frac{a}{b}\cdot\frac{b}{c}\cdot\frac{c}{a}} = 1\),所以\((\frac{a}{b})^{3}+(\frac{b}{c})^{3}+(\frac{c}{a})^{3}\geqslant3\)。
又因为\(\frac{a^{3}}{b}+\frac{b^{3}}{c}+\frac{c^{3}}{a}=b\cdot\frac{a^{3}}{b^{2}}+c\cdot\frac{b^{3}}{c^{2}}+a\cdot\frac{c^{3}}{a^{2}}\geqslant b\cdot\frac{a}{b}+c\cdot\frac{b}{c}+a\cdot\frac{c}{a}=a + b + c\)(利用了前面得到的\((\frac{a}{b})^{3}+(\frac{b}{c})^{3}+(\frac{c}{a})^{3}\geqslant3\)的结论),所以\(\frac{a^{3}}{b}+\frac{b^{3}}{c}+\frac{c^{3}}{a}\geqslant a + b + c\)。
数学基础 : 小学数学、初中数学、高中数学、高等数学
- 高中数学 总目录(必修1、2与选修1、2、3)
- 集合 01 集合与常用逻辑用语
- 集合 01 集合元素的性质(确定性、唯一性、无序性)
- 集合 01 7种表示集合的方法与常见的集合类型
- 集合 01 数集(自然数、整数、有理数、实数、复数)
- 集合 01 有理数集与无理数集的性质
- 集合 01 元素与集合的关系(属于(∈)、不属于(∉))
- 集合 01 集合与集合的关系(子集、相等)
- 集合 01 子集、真子集的性质
- 集合 01 并集、并集的性质
- 集合 01 交集、交集的性质
- 集合 01 补集、补集的性质
- 集合 01 高考数学集合类的真题与讲解
- 逻辑 01 逻辑符号 全称量词(\(\forall\))、存在量词(\(\exists\))
- 逻辑 01 充分条件、必要条件、充要条件
- 逻辑 01 ∀全称量词、∃存在量词
- 不等式 02 一元二次不等式、函数、方程
- 不等式 02 不等关系、不等式、实数大小比较的依据
- 不等式 02 等式的基本性质、不等式的基本性质
- 不等式 02 利用不等式的性质求代数式的取值范围
- 不等式 02 基本不等式(均值不等式)
- 不等式 02 对数均值不等式
- 不等式 02 证明不等式的方法大全
- 不等式 02 齐次式不等式、零次齐次式不等式
- 不等式 02 绝对值不等式、三角绝对值不等式
- 柯西不等式、权方和不等式、排序不等式、琴生不等式
- 不等式 02 含参数的一元二次不等式的解法
- 不等式 02 一元二次不等式恒成立问题
- 不等式 02 一元二次方程的根的范围问题
- 不等式 02 一元二次不等式数学建模
- 不等式 02 三元平方公式 与 三元立方公式
- 不等式 02 分式不等式的解法
- 不等式 02 一元高次不等式的解法
- 不等式 02 绝对值不等式的解法
- 不等式 02 无理不等式的解法
- 不等式 02 不等式恒成立问题
- 函数 03 函数的概念与性质、幂函数
- 函数 03 函数三要素:定义域、对应关系、值域
- 函数 03 区间、无穷大
- 函数 03 求函数的定义域
- 函数 03 求函数的值域
- 函数 03 求函数的解析式
- 函数 03 抽象函数\(f(x)\)
- 函数 03 求抽象函数解析式
- 函数 03 分段函数
- 函数 03 复合函数:\(y = f(g(x))\)
- 函数 03 隐函数:\(F(x,y)=0\)
- 函数 03 反函数:\(y = f^{-1}(x)\)
- 函数 03 函数图象变换:平移、对称、翻折、缩放
- 函数 03 函数图像的对称性:自对称、互对称