$(x^3+y^3+z^3)^2+3(xyz)^2$

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Avatar utente
Nemo
Messaggi: 73
Iscritto il: 03 dic 2013, 17:35

$(x^3+y^3+z^3)^2+3(xyz)^2$

Messaggio da Nemo » 13 giu 2014, 17:05

Siano $x$, $y$, e $z$ dei numeri reali. Dimostrare che:
$$(x^3+y^3+z^3)^2+3(xyz)^2 \ge 4(y^3z^3+z^3x^3+x^3y^3)$$
Determinare i casi di uguaglianza.
[math]

Avatar utente
Lasker
Messaggi: 440
Iscritto il: 02 mag 2013, 20:47
Località: Udine

Re: $(x^3+y^3+z^3)^2+3(xyz)^2$

Messaggio da Lasker » 13 giu 2014, 17:37

Applicando opportunamente la disuguaglianza di Schur ai numeri $x^2y^2z^2$ e quindi bunching, ottengo che è verificata la seguente disuguaglianza:
$$\sum_{sym}x^6y^0z^0+\sum_{sym}x^2y^2z^2\geq 2\sum_{sym}x^4y^2z^0 \geq 2\sum_{sym}x^3y^3z^0$$
Sviluppando le sommatorie bovinamente:
$$2(x^6+y^6+z^6)+2(3x^2y^2z^2)\geq 2[2(x^3y^3+x^3z^3+y^3z^3)]$$
Che, sommando ad entrambi i membri $2(x^3y^3+x^3z^3+y^3z^3)$ diventa:
$$x^6+y^6+z^6+2(x^3y^3+x^3z^3+y^3z^3)+3x^2y^2z^2\geq 4(x^3y^3+x^3z^3+y^3z^3)$$
Riconoscendo al LHS un quadrato di trinomio, si ottiene la tesi.
Il caso di uguaglianza sarà quindi quello di Schur, (verificato a mano), ovvero $x=y=z$ oppure $x=y, z=0$ e cicliche.
Ultima modifica di Lasker il 13 giu 2014, 17:39, modificato 1 volta in totale.
"Una funzione generatrice è una corda da bucato usata per appendervi una successione numerica per metterla in mostra" (Herbert Wilf)

"La matematica è la regina delle scienze e la teoria dei numeri è la regina della matematica" (Carl Friedrich Gauss)

Sensibilizzazione all'uso delle potenti Coordinate Cartesiane, possano seppellire per sempre le orride baricentriche corruttrici dei giovani: cur enim scribere tre numeri quando se ne abbisogna di due?

PRIMA FILA TUTTI SBIRRI!

lucaboss98
Messaggi: 30
Iscritto il: 02 feb 2014, 19:23
Località: Napoli

Re: $(x^3+y^3+z^3)^2+3(xyz)^2$

Messaggio da lucaboss98 » 13 giu 2014, 17:38

EDIT: errore nel Bunching

Rispondi