Disuguaglianza facile

Vuoi proporre i tuoi esercizi? Qui puoi farlo!!

Moderatore: tutor

Bloccato
Hammond
Messaggi: 110
Iscritto il: 01 gen 1970, 01:00
Località: Verona

Messaggio da Hammond » 01 gen 1970, 01:33

Ciao.
<BR>Ho provato a risolvere la disuguaglianza
<BR> xyz >= (y+z-x)(x+z-y)(x+y-z)
<BR>con x,y,z reali positivi. Nella mia (presunta) soluzione ho diviso il problema in due \'sottocasi\', a seconda che le tre variabili siano oppure no i lati di un triangolo, ma ho come l\'impressione che ci sia un modo \'diretto\' per farla...
<BR>mi rendo conto che non è un gran che come esercizio ma per me è già tanto.
<BR>qualcuno può darmi una mano? tnx
<BR>
<BR>EDIT: per chi avesse visto questo post troncato a metà: scusate non sono pratico, ho premuto invio quando evidentemente non dovevo... <IMG SRC="images/forum/icons/icon_cool.gif">
<BR>
<BR>[ Questo Messaggio è stato Modificato da: Hammond il 02-12-2004 19:57 ]<BR><BR>[ Questo Messaggio è stato Modificato da: Hammond il 02-12-2004 20:02 ]

Avatar utente
Boll
Messaggi: 1076
Iscritto il: 01 gen 1970, 01:00
Località: Piacenza

Messaggio da Boll » 01 gen 1970, 01:33

Mah, credo che, da come ne hai parlato la mia soluzione sia uguale alla tua.
<BR>
<BR>Poniamo, per simmetria, x>=y>=z, dimostriamo che a destra possiamo avere al più un membro negativo.
<BR>Poniamo per comodità -x+y+z<=0 e x-y+z<=0, ma tutti gli altri casi sono uguali per simmetria, avremo che
<BR>y>=x+z>=y+z+x
<BR>confrontando 0>=2z
<BR>z<=0 assurdo per ipotesi
<BR>
<BR>Allora a destra abbiamo al più un membro negativo, quindi se è verificata una di queste tre
<BR>x>=y+z
<BR>y>=z+x
<BR>z>=x+y
<BR>la tesi è dimostrata perchè a destra siamo positivi, a sinistra negativi o nulla, altrimenti vale che x < y+z, y < x+z, z < x+y che è condizione necessaria e sufficiente affinchè x,y,z siano lati di un triangolo, ora ponendo x=a+b, y=b+c, z=c+a avremo
<BR>(a+b)(b+c)(c+a)>=8abc
<BR>facendo i conti
<BR>sum<sub>sym</sub>(a<sup>2</sup>b)>=sum<sub>sym</sub>(abc)
<BR>vera per il teorema detto \"bunching\" (credo ci sia anche un modo meno brutale, ma in fondo i calcoli sono pochi <IMG SRC="images/forum/icons/icon_razz.gif">)
<BR>
<BR>EDIT: Messo un maggiore dimenticato...<BR><BR>[ Questo Messaggio è stato Modificato da: Boll il 02-12-2004 22:49 ]
"Ma devo prendere una n-upla qualsiasi o una n-upla arbitraria?" (Lui)

Avatar utente
info
Messaggi: 903
Iscritto il: 01 gen 1970, 01:00

Messaggio da info » 01 gen 1970, 01:33

Boll...nn capisco perchè ogni volta che usi il bunching o questi argomenti ti butti in sostituzioni varie. Se vogliamo essere brutali, facciamolo fino in fondo... Facendo i calcoli si trova
<BR>
<BR>sum<sub>sym</sub>(x^3-2x^2*y+xyz)>=0
<BR>
<BR>esattamente Schur...il che suggerisce di copiare la dimostrazione di Schur <IMG SRC="images/forum/icons/icon_wink.gif"> invito chi interessato a cercarsela su internet!
<BR>
<BR>[ Questo Messaggio è stato Modificato da: info il 02-12-2004 20:43 ]<BR><BR>[ Questo Messaggio è stato Modificato da: info il 02-12-2004 20:47 ]

Hammond
Messaggi: 110
Iscritto il: 01 gen 1970, 01:00
Località: Verona

Messaggio da Hammond » 01 gen 1970, 01:33

Ciao Boll, grazie per la risposta.
<BR>Be\', forse la mia sol. non è proprio uguale, o meglio diciamo che non sono riuscito a seguire la prima parte del tuo ragionamento, comunque arrivavo anch\'io a dimostrare che se x >= y+z (e simmetrie varie) c\'è uno e un solo fattore negativo o nullo, e da qui via lisci.
<BR>
<BR>Per quanto riguarda la seconda parte:
<BR><!-- BBCode Quote Start --><TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD><font size=-1>Quote:</font><HR></TD></TR><TR><TD><FONT SIZE=-1><BLOCKQUOTE>
<BR>On 2004-12-02 20:24, Boll wrote:
<BR>ponendo x=a+b, y=b+c, z=c+a avremo
<BR>(a+b)(b+c)(c+a)=8abc /* questo = è un >=, no? - Hammond */
<BR>facendo i conti
<BR>sum<sub>sym</sub>(a<sup>2</sup>b)>=sum<sub>sym</sub>(abc)
<BR>vera per il teorema detto \"bunching\" (credo ci sia anche un modo meno brutale, ma in fondo i calcoli sono pochi <IMG SRC="images/forum/icons/icon_razz.gif">)
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>non ho idea di cosa sia questo \"bunching\" (se hai tempo e voglia di spiegarmelo... <IMG SRC="images/forum/icons/icon_cool.gif"> <IMG SRC="images/forum/icons/icon_biggrin.gif"> )
<BR>io l\'avevo fatta con le medie (AM-GM):
<BR>(a+b)/2 >= sqrt(ab)
<BR>(a+c)/2 >= sqrt(ac)
<BR>(b+c)/2 >= sqrt(bc)
<BR>e moltiplicando membro a membro dovrebbe venire.
<BR>In ogni caso grazie ancora.
<BR>Andrea
<BR>

Avatar utente
Boll
Messaggi: 1076
Iscritto il: 01 gen 1970, 01:00
Località: Piacenza

Messaggio da Boll » 01 gen 1970, 01:33

A questo link --> <!-- BBCode Start --><A HREF="http://olimpiadi.ing.unipi.it/modules.p ... 38&forum=5" TARGET="_blank">clicca qui</A><!-- BBCode End --> c\'è un mio post in cui spiego in modo a dir poco spartano il bunching e poi uno di ma_go in cui lo spiega bene \"matematicamente\".
<BR>
<BR>In ogni caso le medie sono una soluzione molto più immediata ed elegante, ma a quest\'ora non avevo voglia di pensare... <BR><BR>[ Questo Messaggio è stato Modificato da: Boll il 02-12-2004 22:50 ]
"Ma devo prendere una n-upla qualsiasi o una n-upla arbitraria?" (Lui)

Avatar utente
karl
Messaggi: 926
Iscritto il: 01 gen 1970, 01:00

Messaggio da karl » 01 gen 1970, 01:33

Una dimostrazione diretta (previa discussione sui segni)
<BR>puo\' essere la seguente.
<BR>E\' sicuramente:
<BR>x^2>=x^2-(y-z)^2=(x-y+z)(x+y-z)
<BR>y^2>=y^2-(z-x)^2=(y-z+x)(y+z-x)
<BR>z^2>=z^2-(x-y)^2=(z-x+y)(z+x-y)
<BR>E moltiplicando:
<BR>(xyz)^2>=(x-y+z)^2.(y-z+x)^2.(z-x+y)^2
<BR>da cui,essendo xyz>0,risulta:
<BR><!-- BBCode Start --><B>(xyz)>=(x-y+z)(y-z+x)(z-x+y)</B><!-- BBCode End -->
<BR>
<BR>
<BR>
<BR><BR><BR>[ Questo Messaggio è stato Modificato da: karl il 04-12-2004 12:38 ]

Hammond
Messaggi: 110
Iscritto il: 01 gen 1970, 01:00
Località: Verona

Messaggio da Hammond » 01 gen 1970, 01:33

Grazie a tutti dell\'interessamento.
<BR>
<BR>@ Karl: gran bella dimostrazione, non c\'è che dire... quando te la dicono, uno si chiede sempre come abbia fatto a non venirgli in mente <IMG SRC="images/forum/icons/icon_wink.gif">
<BR>
<BR>Ciao
<BR>
<BR>
<BR>

Avatar utente
info
Messaggi: 903
Iscritto il: 01 gen 1970, 01:00

Messaggio da info » 01 gen 1970, 01:33

Cmq, le soluzioni come quelle di karl sono le migliori...
<BR>Prima ho scritto quella soluzione solo con lo scopo di mostrare quanto nn mi piacciano le soluzioni \'ibride\'!

Bloccato