Disuguaglianza #1

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Eleven
Messaggi: 21
Iscritto il: 24 gen 2012, 22:01

Disuguaglianza #1

Messaggio da Eleven » 25 gen 2012, 03:37

Siano $ x,y,z \in \mathbb{R}^+ $ tali che $xyz=1$. Dimostra che $ \dfrac{x^4}{(1+y)(1+z)(y+z)}+\dfrac{y^4}{(1+z)(1+x)(z+x)}+\dfrac{z^4}{(1+x)(1+y)(x+y)} \geq \dfrac{3}{8} $

Eleven
Messaggi: 21
Iscritto il: 24 gen 2012, 22:01

Re: Disuguaglianza #1

Messaggio da Eleven » 31 gen 2012, 06:29

Hint:
Testo nascosto:
Usa la disuguaglianza AM-GM per avere $ \dfrac{x^4}{(1+y)(1+z)(y+z)} + \dfrac{1+y}{16} + \dfrac{1+z}{16} + \dfrac{y+z}{16} \geq \dfrac{x}{2} $

Mr. Mojo
Messaggi: 8
Iscritto il: 30 ago 2011, 09:34

Re: Disuguaglianza #1

Messaggio da Mr. Mojo » 31 gen 2012, 16:33

Sommo ad ambo i membri

$ \displaystyle \sum_{cyc} \frac{x+y}{16}+\sum_{cyc} \frac{2x+2}{16} $

e utilizzando l'Hintone ho che

$ \displaystyle LHS \ge \frac{x+y+z}{2} \ge RHS=\frac{x+y+z+3}{4} $

Se dimostro l'ultima proposizione il problema è concluso.

Riscrivendo si ha che

$ \displaystyle x+y+z \ge 3 $

il che è vero per AM-GM.

spugna
Messaggi: 421
Iscritto il: 19 mar 2009, 22:18
Località: Forlì

Re: Disuguaglianza #1

Messaggio da spugna » 21 feb 2012, 00:41

E pensare che con Holder non era neanche tanto difficile... se penso a tutto il tempo che ho perso ostinandomi a trovare una soluzione senza leggere l'hint, mi mangio le dita...!! :evil: Ma dato che sono qua, la mia soluzione è questa:
$\left[ \dfrac{x^4}{(1+y)(1+z)(y+z)}+\dfrac{y^4}{(1+z)(1+x)(z+x)}+\dfrac{z^4}{(1+x)(1+y)(x+y)} \right]^{\dfrac{1}{4}} [(1+y)+(1+z)+(1+x)]^{\dfrac{1}{4}} \cdot$
$\cdot [(1+z)+(1+x)+(1+y)]^{\dfrac{1}{4}} [(y+z)+(z+x)+(x+y)]^{\dfrac{1}{4}} \ge x+y+z$

da cui ricavo, ponendo $s=x+y+z$:

$LHS \ge \dfrac{s^4}{2s(s+3)^2}=\dfrac{s^3}{2(s+3)^2}$

Ora dimostro che $\dfrac{s^3}{2(s+3)^2} \ge \dfrac{3}{8}$

$4s^3 \ge 3s^2+18s+27 \Leftrightarrow 4s^3-3s^2-18s-27 \ge 0 \Leftrightarrow (s-3)(4s^2+9s+9) \ge 0$

Il secondo fattore è sempre positivo, perciò la disuguaglianza è vera se e solo se $s \ge 3$, ma per $AM-GM$ tale condizione è rispettata. C.V.D.
"Bene, ora dobbiamo massimizzare [tex]\dfrac{x}{(x+100)^2}[/tex]: come possiamo farlo senza le derivate? Beh insomma, in zero fa zero... a $+\infty$ tende a zero... e il massimo? Potrebbe essere, che so, in $10^{24}$? Chiaramente no... E in $10^{-3}$? Nemmeno... Insomma, nella frazione c'è solo il numero $100$, quindi dove volete che sia il massimo se non in $x=100$..?" (da leggere con risatine perfide e irrisorie in corrispondenza dei puntini di sospensione)

Maledetti fisici! (cit.)

spugna
Messaggi: 421
Iscritto il: 19 mar 2009, 22:18
Località: Forlì

Re: Disuguaglianza #1

Messaggio da spugna » 23 feb 2012, 23:35

Eleven ha scritto:Disuguaglianza #1
C'è anche una disuguaglianza #2...? :P
"Bene, ora dobbiamo massimizzare [tex]\dfrac{x}{(x+100)^2}[/tex]: come possiamo farlo senza le derivate? Beh insomma, in zero fa zero... a $+\infty$ tende a zero... e il massimo? Potrebbe essere, che so, in $10^{24}$? Chiaramente no... E in $10^{-3}$? Nemmeno... Insomma, nella frazione c'è solo il numero $100$, quindi dove volete che sia il massimo se non in $x=100$..?" (da leggere con risatine perfide e irrisorie in corrispondenza dei puntini di sospensione)

Maledetti fisici! (cit.)

Avatar utente
Tess
Messaggi: 258
Iscritto il: 15 set 2009, 14:20
Località: Maserada s. P.

Re: Disuguaglianza #1

Messaggio da Tess » 24 feb 2012, 21:48

Mi pare venga anche con C.S. più qualche conticino con bunching e Schur dopo aver omogeneizzato i pezzi restanti.
Intanto applico C.S. alle terne $ \frac{x^2}{\sqrt{(1+y)(1+z)(y+z)}},\cdots $ e $ \sqrt{(1+y)(1+z)(y+z)},\cdots $, ottenendo $ testo \geq \frac{(x^2+y^2+z^2)^2}{\sum_{cyc}(1+y)(1+z)(y+z)} $, per cui mi rimane da dimostrare che $ 8(x^2+y^2+z^2)^2 \geq 3\sum_{cyc}(1+y)(1+z)(y+z) $, che scritta con le somme simmetriche, ha la forma di $ 4\sum_{sym}x^4+8\sum_{sym}x^2y^2 \geq 3 \sum_{sym}x+3\sum_{sym}xy+3\sum_{sym}x^2+3\sum_{sym}x^2y $.
Per omogeneizzare, moltiplico a destra il primo termine per $ xyz $, secondo e terzo per $ (xyz)^{\frac{2}{3}} $ e il quarto per $ (xyz)^{\frac{1}{3}} $. Ora, usando la scrittura $ [a,b,c] $ per indicare $ \sum_{sym}x^ay^bz^c $, abbiamo: $ 4[4,0,0]+8[2,2,0] \geq 3[2,1,1]+3[1+\frac{2}{3},1+\frac{2}{3},\frac{2}{3}]+3[2+\frac{2}{3},\frac{2}{3},\frac{2}{3}]+3[2+\frac{1}{3},1\frac{1}{3},\frac{1}{3}] $, che è anche abbastanza larga, infatti possiamo usare 6 somme degli $ [2,2,0] $ per battere le prime 2 a destra, poi 2 degli $ [4,0,0] $ per battere quello che si vuole, poi shur si può usare per battere quelle che rimangono col seguente modo:
$ [4,0,0]+[2,2,0] \geq [4,0,0]+[\frac{4}{3},\frac{4}{3},\frac{4}{3}] \geq 2[\frac{8}{3},\frac{4}{3},0] $ la quale ultima somma batte ciascuna delle $ [2+\frac{2}{3},\frac{2}{3},\frac{2}{3}]+[2+\frac{1}{3},1\frac{1}{3},\frac{1}{3}] $.

Rispondi