Per $x,y,z$ reali positivi con $ xyz=1 $ dimostrare che:
$ \sum{\frac{1}{y^2z^4+x^2z^4}}\ge{\frac{3}{2}} $
Party di disuguaglianze!
Re: Party di disuguaglianze!
Non riesco a capire la sommatoria: come variano $x, y, z$ nella somma? Come vengono incrementati?HCP16 ha scritto:Per $x,y,z$ reali positivi con $ xyz=1 $ dimostrare che:
$ \sum{\frac{1}{y^2z^4+x^2z^4}}\ge{\frac{3}{2}} $
$ 210^2+211^2+212^2+213^2+214^2+215^2+216^2+217^2+218^2+219^2+220^2=\\
=221^2+222^2+223^2+224^2+225^2+226^2+227^2+228^2+229^2+230^2\\
210=2*3*5*7 $
Re: Party di disuguaglianze!
È una sommatoria ciclica: cioè,
$$\sum_{\mathrm{cyc}} f(x,y,z) := f(x,y,z) + f(y,z,x) + f(z,x,y).$$
Si usa spesso nelle disuguaglianze per semplificare la notazione; per esempio, la disuguaglianza $xy+yz+zx \leq x^2+y^2+z^2$ diventa $\sum_{\mathrm{cyc}} xy \leq \sum_{\mathrm{cyc}} x^2$.
$$\sum_{\mathrm{cyc}} f(x,y,z) := f(x,y,z) + f(y,z,x) + f(z,x,y).$$
Si usa spesso nelle disuguaglianze per semplificare la notazione; per esempio, la disuguaglianza $xy+yz+zx \leq x^2+y^2+z^2$ diventa $\sum_{\mathrm{cyc}} xy \leq \sum_{\mathrm{cyc}} x^2$.
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]
Re: Party di disuguaglianze!
Beh, vale anche sui negativi...
Hint:
Hint:
Testo nascosto:
Imagination is more important than knowledge. For knowledge is limited, whereas imagination embraces the entire world, stimulating progress, giving birth to evolution (A. Einstein)
Re: Party di disuguaglianze!
Drago96 visto cosa hai scritto nell' hint la tua soluzione è quella che pensavo io , dopo tutto credo sia la più semplice, ci sono vie significativamente diverse?
Re: Party di disuguaglianze!
Suppongo che la soluzione con Nesbitt sia semplicemente di applicare la suddetta disuguaglianza alle variabili $ 1/x^2,1/y^2,1/z^2 $, ottenendo
$$
\sum \frac{ 1/x^2 }{ 1/y^2+1/z^2} \ge \frac{3}{2} \implies \sum \frac{ 1 }{x^2 \left( \frac{ y^2+z^2 }{y^2z^2} \right) } \ge \frac{3}{2} \implies \sum \frac{ 1 }{ x^2 \cdot x^2(y^2+z^2) } \ge \frac{3}{2}
$$
ossia la tesi.
Ho poi pensato (cioè in realtà prima) a un'altra soluzione che, sebbene meno elegante, può risultare più intuitiva (almeno per me).
$$
\sum \frac{ \left( \frac{1}{z^2} \right)^2 }{ x^2 + y^2 } \quad \underset{ \text{Titu} }{ \ge } \quad \frac{ \left( \sum \frac{1}{x^2} \right)^2 }{ 2 \sum x^2 } \quad = \quad \frac{ \left( \sum x^2y^2 \right)^2 } { 2 \sum x^2 } \quad = \quad \frac { \sum x^4y^4+ 2 \sum x^2 }{ 2 \sum x^2 } \quad = \quad 1 + \frac{1}{2} \cdot \frac{ \sum x^4y^4 }{ \sum x^2 }
$$
Se dimostriamo che $ \sum x^4y^4 \ge \sum x^2 $ abbiamo finito. Ma $ \sum x^2 = \sum x^2 (xyz)^2 = \sum x^4y^2z^2 $, che è minore o uguale a $ \sum x^4y^4 $ per bunching (in realtà qui le sommatorie sono cicliche, ma a meno di moltiplicare per 2 possiamo considerarle simmetriche).
$$
\sum \frac{ 1/x^2 }{ 1/y^2+1/z^2} \ge \frac{3}{2} \implies \sum \frac{ 1 }{x^2 \left( \frac{ y^2+z^2 }{y^2z^2} \right) } \ge \frac{3}{2} \implies \sum \frac{ 1 }{ x^2 \cdot x^2(y^2+z^2) } \ge \frac{3}{2}
$$
ossia la tesi.
Ho poi pensato (cioè in realtà prima) a un'altra soluzione che, sebbene meno elegante, può risultare più intuitiva (almeno per me).
$$
\sum \frac{ \left( \frac{1}{z^2} \right)^2 }{ x^2 + y^2 } \quad \underset{ \text{Titu} }{ \ge } \quad \frac{ \left( \sum \frac{1}{x^2} \right)^2 }{ 2 \sum x^2 } \quad = \quad \frac{ \left( \sum x^2y^2 \right)^2 } { 2 \sum x^2 } \quad = \quad \frac { \sum x^4y^4+ 2 \sum x^2 }{ 2 \sum x^2 } \quad = \quad 1 + \frac{1}{2} \cdot \frac{ \sum x^4y^4 }{ \sum x^2 }
$$
Se dimostriamo che $ \sum x^4y^4 \ge \sum x^2 $ abbiamo finito. Ma $ \sum x^2 = \sum x^2 (xyz)^2 = \sum x^4y^2z^2 $, che è minore o uguale a $ \sum x^4y^4 $ per bunching (in realtà qui le sommatorie sono cicliche, ma a meno di moltiplicare per 2 possiamo considerarle simmetriche).