Доказване на неравенства - задачи с решения

Решение:
Отделяме точни квадрати:
[tex]x^2+y^2+2x-4y+6=\left(x^2+2x+1\right)+\left(y^2-4y+4\right)+1=(x+1)^2+(y-2)^2+1[/tex]
Квадратите са неотрицателни, затова за всички реални [tex]x[/tex] и [tex]y[/tex] изразът е не по-малък от [tex]1[/tex]:
[tex](x+1)^2+(y-2)^2+1\ge 1[/tex]
Стойността [tex]1[/tex] се достига при [tex]x=-1[/tex], [tex]y=2[/tex]. Следователно най-малката стойност е [tex]1[/tex].

Решение:
За всяко [tex]k=1,2,\ldots,n[/tex] имаме [tex]\sqrt{k}\le\sqrt{n}[/tex], следователно
[tex]\frac{1}{\sqrt{k}}\ge\frac{1}{\sqrt{n}}[/tex]
Като съберем тези [tex]n[/tex] неравенства, получаваме
[tex]\frac{1}{\sqrt{1}}+\frac{1}{\sqrt{2}}+\ldots+\frac{1}{\sqrt{n}}\ge n\cdot \frac{1}{\sqrt{n}}=\sqrt{n}[/tex]
с което неравенството е доказано. Равенство има само при [tex]n=1[/tex]; при [tex]n\ge 2[/tex] за първото събираемо е изпълнено [tex]1\gt\frac{1}{\sqrt{n}}[/tex] и неравенството е строго.

Решение:
Прехвърляме всичко в лявата страна. Като запишем [tex]-a^2=-2a^2+a^2[/tex] и [tex]2=1+1[/tex], групираме събираемите:
[tex]a^4+2-a^2-2a=\left(a^4-2a^2+1\right)+\left(a^2-2a+1\right)=\left(a^2-1\right)^2+\left(a-1\right)^2[/tex]
Сбор на два квадрата е неотрицателен, следователно за всяко реално [tex]a[/tex]
[tex]\left(a^2-1\right)^2+\left(a-1\right)^2\ge 0\Rightarrow a^4+2\ge a^2+2a[/tex]
Равенство има, когато едновременно [tex]a^2-1=0[/tex] и [tex]a-1=0[/tex], т.е. само при [tex]a=1[/tex].

Решение:
Разкриваме скобите и използваме [tex]xy=2[/tex]:
[tex]\left(x+1\right)\left(y+2\right)=xy+2x+y+2=2x+y+4[/tex]
От неравенството между средно аритметично и средно геометрично за положителните числа [tex]2x[/tex] и [tex]y[/tex]:
[tex]2x+y\ge 2\sqrt{2x\cdot y}=2\sqrt{2\cdot 2}=4\Rightarrow \left(x+1\right)\left(y+2\right)\ge 4+4=8[/tex]
Равенство има при [tex]2x=y[/tex]; заедно с [tex]xy=2[/tex] това дава [tex]2x^2=2[/tex], т.е. [tex]x=1[/tex] (тъй като [tex]x\gt 0[/tex]) и [tex]y=2[/tex]. Наистина [tex]\left(1+1\right)\left(2+2\right)=8[/tex]. Следователно най-малката стойност е [tex]8[/tex].

Решение:
Четирите множителя са положителни и сборът им е постоянен:
[tex]\left(1+a\right)+\left(1+b\right)+\left(1+c\right)+\left(1+d\right)=4+\left(a+b+c+d\right)=5[/tex]
От неравенството между средно аритметично и средно геометрично за тези четири положителни числа
[tex]\sqrt[4]{\left(1+a\right)\left(1+b\right)\left(1+c\right)\left(1+d\right)}\le\frac{5}{4}[/tex]
Като повдигнем двете страни на четвърта степен, получаваме
[tex]\left(1+a\right)\left(1+b\right)\left(1+c\right)\left(1+d\right)\le\left(\frac{5}{4}\right)^4=\frac{625}{256}[/tex]
Равенство има, когато четирите множителя са равни, т.е. при [tex]a=b=c=d=\frac{1}{4}[/tex], което удовлетворява условията. Следователно най-голямата стойност е [tex]\frac{625}{256}[/tex].

Решение:
Записваме лявата страна като сбор на пет положителни числа:
[tex]2\sqrt{a}+3\sqrt[3]{b}=\sqrt{a}+\sqrt{a}+\sqrt[3]{b}+\sqrt[3]{b}+\sqrt[3]{b}[/tex]
От неравенството между средно аритметично и средно геометрично за тези пет числа
[tex]\sqrt{a}+\sqrt{a}+\sqrt[3]{b}+\sqrt[3]{b}+\sqrt[3]{b}\ge 5\sqrt[5]{\left(\sqrt{a}\right)^2\left(\sqrt[3]{b}\right)^3}=5\sqrt[5]{ab}[/tex]
с което неравенството е доказано. Равенство има точно когато петте числа са равни, т.е. [tex]\sqrt{a}=\sqrt[3]{b}[/tex], което означава [tex]a^3=b^2[/tex] (например [tex]a=b=1[/tex]).

Решение:
Полагаме [tex]x=a^3[/tex], [tex]y=b^3[/tex], [tex]z=c^3[/tex]; тези числа са положителни и [tex]xyz=\left(abc\right)^3=1[/tex]. Разкриваме скобите в лявата страна:
[tex]\left(x+2\right)\left(y+2\right)\left(z+2\right)=xyz+2\left(xy+yz+zx\right)+4\left(x+y+z\right)+8=2\left(xy+yz+zx\right)+4\left(x+y+z\right)+9[/tex]
В дясната страна всяко произведение има вида [tex]\left(x+2\right)\left(y+2\right)=xy+2x+2y+4[/tex], а всяка променлива участва в две от трите произведения, затова дясната страна е равна на
[tex]\left(xy+yz+zx\right)+4\left(x+y+z\right)+12[/tex]
Разликата между лявата и дясната страна е [tex]\left(xy+yz+zx\right)-3[/tex], затова е достатъчно да докажем, че [tex]xy+yz+zx\ge 3[/tex]. От неравенството между средно аритметично и средно геометрично за положителните числа [tex]xy[/tex], [tex]yz[/tex], [tex]zx[/tex]:
[tex]xy+yz+zx\ge 3\sqrt[3]{xy\cdot yz\cdot zx}=3\sqrt[3]{\left(xyz\right)^2}=3[/tex]
С това неравенството е доказано. Равенство има при [tex]xy=yz=zx[/tex], т.е. [tex]x=y=z=1[/tex], т.е. [tex]a=b=c=1[/tex].

Решение:
Разглеждаме сбора от квадратите на отклоненията от [tex]n[/tex] и разкриваме скобите:
[tex]\left(a_1-n\right)^2+\ldots+\left(a_n-n\right)^2=\left(a_1^2+\ldots+a_n^2\right)-2n\left(a_1+\ldots+a_n\right)+n\cdot n^2[/tex]
От второто условие първата скоба е най-много [tex]n^3+1[/tex]. От първото условие [tex]a_1+\ldots+a_n\ge n^2[/tex], а тъй като [tex]-2n\lt 0[/tex], средното събираемо е най-много [tex]-2n\cdot n^2=-2n^3[/tex]. Следователно
[tex]\left(a_1-n\right)^2+\ldots+\left(a_n-n\right)^2\le n^3+1-2n^3+n^3=1[/tex]
Всички квадрати са неотрицателни, затова всеки от тях не надминава целия сбор. Следователно за всяко [tex]k[/tex]
[tex]\left(a_k-n\right)^2\le 1\iff\left|a_k-n\right|\le 1\iff -1\le a_k-n\le 1\iff n-1\le a_k\le n+1[/tex]
което трябваше да се докаже.