ΔΗΜΗΤΡΗΣ έγραψε:ΑΣΚΗΣΗ 41: Δείξτε ότι για κάθεισχύει:
Θέτω

Τότε η ανισότητα γίνεται ισοδύναμα:

Θα αποδείξω πως ισχύει:

Αρκεί:

Αρκεί να δείξω:

Αρκεί:

Αρκεί να δείξω ότι:

Αρκεί να δείξω ότι:

το οποίο προφανώς ισχύει(ισότητα για
)Εργαζόμενος κυκλικά (αυτό το κυκλικά με παίδεψε λιγάκι μέχρι να βρω το κουμπί του!) δείχνω με ακριβώς όμοιο τρόπο ότι:

Με πρόθεση κατά μέλη των
, τελειώσαμε!
ισχύει:
. Η προς απόδειξη ανισότητα γράφεται ισοδύναμα:
οπότε και
.
.



, τότε

![\displaystyle{\frac{a^3 +b^3 }{c}+\frac{a^3 +c^3 }{b}+\frac{b^3 +c^3 }{a}\geq 6\sqrt[3]{a^2 b^2 c^2}} \displaystyle{\frac{a^3 +b^3 }{c}+\frac{a^3 +c^3 }{b}+\frac{b^3 +c^3 }{a}\geq 6\sqrt[3]{a^2 b^2 c^2}}](/forum/ext/geomar/texintegr/latexrender/pictures/34a049abd7eb7a198caa5806270e92e6.png)
![\displaystyle{\frac{a^3 +b^3 }{c}+\frac{a^3 +c^3 }{b}+\frac{b^3 +c^3 }{a}\geq 2\sqrt[3]{a^2 b^2 c^2}} \displaystyle{\frac{a^3 +b^3 }{c}+\frac{a^3 +c^3 }{b}+\frac{b^3 +c^3 }{a}\geq 2\sqrt[3]{a^2 b^2 c^2}}](/forum/ext/geomar/texintegr/latexrender/pictures/ec4f0535ea14fad6fbb234a92429dbea.png)
.
, τότε 
.
.
δίνει
.
είναι όμοια διατεταγμένες άρα η ανισότητα της αναδιάταξης δίνει
.
όπως θέλαμε.




οπότε αρκεί να αποδειχθει ότι
![\displaystyle{\boxed{\boxed{\rm \frac{a+b+c+d}{4}\geq \sqrt{\frac{ab+ac+ad+bc+bd+cd}{6}}\geq \sqrt[3]{\rm \frac{abc+bcd+cda+dab}{4}}\geq \sqrt[4]{\rm abcd}}}} \displaystyle{\boxed{\boxed{\rm \frac{a+b+c+d}{4}\geq \sqrt{\frac{ab+ac+ad+bc+bd+cd}{6}}\geq \sqrt[3]{\rm \frac{abc+bcd+cda+dab}{4}}\geq \sqrt[4]{\rm abcd}}}}](/forum/ext/geomar/texintegr/latexrender/pictures/9ca551b86c28f4e40fd7aba5d2a8afa6.png)



και προσθέτουμε συμμετρικά.
μπορούμε να καταλήξουμε και στην πιο κάτω απόδειξη:


, να αποδείξετε ότι: 
![\displaystyle{a^{5}-a^{2}+3-3a=a^{2}(a-1)(a^{2}+a+1)-3(a-1)=(a-1)(a^{4}+a^{3}+a^{2}-3)=(a-1)[(a^{4}-1)+(a^{3}-1)+(a^{2}-1)]=} \displaystyle{a^{5}-a^{2}+3-3a=a^{2}(a-1)(a^{2}+a+1)-3(a-1)=(a-1)(a^{4}+a^{3}+a^{2}-3)=(a-1)[(a^{4}-1)+(a^{3}-1)+(a^{2}-1)]=}](/forum/ext/geomar/texintegr/latexrender/pictures/475c4fdc454bb68fd1da6852a5c20d2e.png)
.
.
.Ομοίως
και
.