Алгебра, вопрос задал Dимасuk , 2 года назад

Докажите, что при любых значениях переменных справедливо неравенство:
\bigg ( \dfrac{a + b + +c}{3} \bigg )^2 \geq \dfrac{ab + ac + bc}{3}


au456: неравенства не вижу)
Dимасuk: >=
Аноним: в знаменателе у?
Аноним: это же равенство!!!
Аноним: ну да, у
Dимасuk: секунду
yugolovin: Кстати, это неравенство следует из теоремы Мюрхеда)))

Ответы на вопрос

Ответил Аноним
2
Воспользуемся неравенством
(a-b)^2 \geq 0
a^2+b^2 \geq 2ab

\displaystyle\frac{1}{2} (2a^2+2b^2+2c^2-2ab-2ac-2bc)=\\ \\= \frac{1}{2} ((a-b)^2+(a-c)^2+(b-c)^2)=\frac{1}{2}(a-b)^2+\frac{1}{2}(a-c)^2+\frac{1}{2}(b-c)^2\geq0

отсюда следует, что 

a^2+b^2+c^2 \geq ab+ac+bc

Следовательно \bigg(\dfrac{a+b+c}{3} \bigg)^2 \geq \dfrac{ab+ac+bc}{3}

Dимасuk: как из предпоследнего последнее вытекает?
Аноним: можно вынести в левой части 1/sqrt(3) и так будет видно, что знаменатель уменьшается
Аноним: множители 1/sqrt(3) и 1/3 ни на что не влияют )
Аноним: будет видно что дробь увеличится
IUV: только слева делите на 9 а справа на 3 - может и верно, но неубедительно (((
Ответил siestarjoki
2
(a+b+c)^2 = a^2 +b^2 +c^2 +2ab +2ac +2bc
--
[(a +b +c)/3]^2 >= (ab +ac +bc)/3 <=>
[a^2 +b^2 +c^2 +2(ab +ac +bc) -3(ab +ac +bc)]/9 >=0 <=>
a^2 +b^2 +c^2 -ab -ac -bc >=0 <=>
2(a^2 +b^2 +c^2 -ab -ac -bc) >=0 <=>
(a-b)^2 +(a-c)^2 +(b-c)^2  >=0
Квадрат действительного числа всегда больше или равен нулю.

Dимасuk: Спасибо.
Новые вопросы