【3】排序不等式

定理3.1 a_1\le a_2\le ...\le a_n,b_1\le b_2\le ...\le b_n,數(shù)列\{c_n\}\{b_n\}的一個(gè)排列,那么:
a_1b_n+a_2b_{n-1}+...+a_nb_1\le a_1c_1+a_2c_2+...+a_nc_n\le a_1b_1+a_2b_2+...+a_nb_n\tag{3.1}
題3.2 a,b,c\in \mathbb R,證明:
a^2+b^2+c^2\ge ab+bc+ca
證法1 不妨設(shè)a<b<c,根據(jù)排序不等式:
a^2+b^2+c^2 = aa+bb+cc\ge ab+bc+ca \blacksquare

證法2 根據(jù)柯西不等式,有
a^2+b^2+c^2 \ge (a+b+c)^2/3所以
3(a^2+b^2+c^2)\ge (a+b+c)^2=a^2+b^2+c^2+2ab+2bc+2ca移項(xiàng)化簡(jiǎn)得a^2+b^2+c^2\ge ab+bc+ca
\blacksquare

題3.3 a,b,c\ge 0,證明:
a^3+b^3+c^3\ge a^2b+b^2c+c^2a
證明 不妨設(shè)a\le b\le c,因a,b,c\ge 0,所以
a^2\le b^2\le c^2根據(jù)排序不等式:
a^3+b^3+c^3\ge a^2b+b^2c+c^2a \blacksquare

題3.4 a,b,c>0,證明:
\frac{bc}{a^2}+\frac{ca}{b^2}+\frac{ab}{c^2}\ge \frac{a}b+\fracc+\frac{c}a
證明 不妨設(shè)a\ge b\ge c,因a,b,c> 0,所以
bc\le ca \le ab,1/a^2 \le 1/b^2 \le 1/c^2
根據(jù)排序不等式有\frac{bc}{a^2}+\frac{ca}{b^2}+\frac{ab}{c^2}\ge \frac{a}b+\fracc+\frac{c}a \blacksquare

題3.5 已知a+b+c=3,求a+ab+abc的最大值。
利用均值不等式:(a+c)(1+b)\le \left(\frac{a+b+c+1}{2}\right)^2=4 \tag{3.5.1}
再者,因a+b\le 3,所以ab-b=b(a-1)\le1,即ab\le b+1
所以:abc\le c+bc \Rightarrow a+ab+abc\\ \le a+c+ab+bc\\ \Rightarrow a+ab+abc\le (a+c)(1+b)
結(jié)合(3.51)得:a+ab+abc\le 4,當(dāng)a=2,b=1,c=0時(shí)等號(hào)成立,所以:\min{(a+ab+abc)}=4
\blacksquare

題3.6 已知
x_1+x_2+...+x_n=3,n\ge 3
x_1+x_1x_2+x_1x_2x_3+...+x_1x_2x_3...x_n的最大值。
設(shè)f_n(x_1,x_2,...,x_n)=x_1+x_1x_2+...+x_1x_2...x_n,不妨設(shè)
i<j\rightarrow x_i\le x_j否則,為了令f_n最大,在f_n的變量表中調(diào)換x_i,x_j的位置,此操作不會(huì)使f_n更小。于是因n \ge 3x_n\le 1。以下使用數(shù)學(xué)歸納法證明\forall n\ge 3,f_n\le 4
根據(jù)題3.5n=3時(shí)命題成立;
假設(shè)n=k時(shí)命題成立,于是:
因?yàn)?img class="math-inline" src="https://math.jianshu.com/math?formula=x_k(1%2Bx_%7Bk%2B1%7D)%3Dx_k%2Bx_kx_%7Bk%2B1%7D%5Cle%20x_k%2Bx_%7Bk%2B1%7D" alt="x_k(1+x_{k+1})=x_k+x_kx_{k+1}\le x_k+x_{k+1}" mathimg="1">
所以x_1+x_2+....+x_{k-1}+x_k(1+x_{k+1})\le 3
f_n=f_{k+1}=x_1+x_1x_2+...+x_1x_2...x_k+x_1x_2...x_kx_{k+1}\\ =x_1+x_1x_2+...+x_1x_2...x_k(1+x_{k+1})=f_{k}(x_1,x_2,x_3,...,x_k(1+x_{k+1})\le 4
根據(jù)歸納假設(shè),命題成立。當(dāng)x_1=2,x_2=1,x_3=x_4=...=x_n=0,等號(hào)成立。所以f_n的最大值為4。
\blacksquare

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容