Simo_the_wolf ha scritto:Siano dati $ $a,b,c \in R^+ $ tali che $ $\frac 1a + \frac 1b + \frac 1c =1 $. Si dimostri che:
$ $ \sqrt{ab+c} + \sqrt { bc+a } + \sqrt{ ac+ b} \geq \sqrt{abc} +\sqrt{a} + \sqrt{b} + \sqrt{c} $
Le somme sono da intendersi cicliche.
Senza perdere in nulla poniamo $ $ x^2=\frac{1}{a} $ e cicliche con $ $x,y,z \in R^+ $. Quindi la nostra condizione diviene $ x^2+y^2+z^2=1 $
La tesi diventa
$ $ \sum \sqrt{\frac{1}{x^2y^2}+\frac{1}{z^2}}\ge \frac{1}{xyz}+\sum \frac{1}{x} $
moltiplicando per $ xyz $ coimplica
$ $ \sum \sqrt{x^2y^2+z^2}\ge 1+\sum xy $
$ $ \sum \sqrt{x^2y^2+1-x^2-y^2}\ge 1+\sum xy $
$ $ \sum \sqrt{(1-y^2)(1-x^2)}\ge 1+\sum xy $
$ $ \sum \sqrt{(x^2+z^2)(y^2+z^2)}\ge 1+\sum xy $
quindi l'ultima disuguaglianza, essendo i passaggi tutti invertibili, è la nostra tesi.
Ora, per CS avremo
$ $ \sqrt{(x^2+z^2)(y^2+z^2)}\ge xy+z^2 $
passando alle somme
$ $ \sum \sqrt{(x^2+z^2)(y^2+z^2)}\ge \sum xy+\sum x^2 $ ovvero
$ $ \sum \sqrt{(x^2+z^2)(y^2+z^2)}\ge \sum xy+1 $
che è la tesi.
Al solito se qualcosa non fosse chiaro, chiedete.