⚖️ Η Ανισότητα του Muirhead — Συμμετρικές ανισότητες και majorization

Η ανισότητα του Muirhead είναι ένα από τα ισχυρότερα εργαλεία για συμμετρικές ανισότητες θετικών πραγματικών αριθμών.

Έστω δύο ακολουθίες εκθετών

\[ (a_1,a_2,\ldots,a_n) \qquad\text{και}\qquad (b_1,b_2,\ldots,b_n), \]

ταξινομημένες κατά φθίνουσα σειρά. Λέμε ότι η πρώτη majorizes τη δεύτερη όταν

\[ a_1+\cdots+a_k \ge b_1+\cdots+b_k \qquad (k=1,\ldots,n-1) \]

και τα συνολικά αθροίσματα είναι ίσα:

\[ a_1+\cdots+a_n = b_1+\cdots+b_n. \]

Τότε, για θετικούς πραγματικούς αριθμούς \(x_1,\ldots,x_n\), το θεώρημα του Muirhead δίνει

\[ \boxed{ \sum_{\mathrm{sym}} x_1^{a_1}x_2^{a_2}\cdots x_n^{a_n} \ge \sum_{\mathrm{sym}} x_1^{b_1}x_2^{b_2}\cdots x_n^{b_n} } \]

όπου τα συμμετρικά αθροίσματα λαμβάνονται πάνω σε όλες τις μεταθέσεις των μεταβλητών.

🔎 Ένα απλό παράδειγμα

Έχουμε

\[ (2,0,0)\succ(1,1,0), \]

επειδή

\[ 2\ge1, \qquad 2+0\ge1+1, \qquad 2+0+0=1+1+0. \]

Έτσι το Muirhead οδηγεί στη γνωστή ανισότητα

\[ x^2+y^2+z^2\ge xy+yz+zx. \]

🏅 Σημαντική παρατήρηση για Ολυμπιάδες

Παρότι το θεώρημα φέρει ιδιαίτερο όνομα και είναι εξαιρετικά χρήσιμο, δεν θεωρείται πάντοτε η καλύτερη επιλογή ως τελική απόδειξη σε μια λύση Ολυμπιάδας.

Συχνά χρησιμοποιούμε το Muirhead για να εντοπίσουμε ποια σχέση είναι αληθής και στη συνέχεια γράφουμε την απόδειξη αναλυτικά με κατάλληλες εφαρμογές της AM-GM.

Με άλλα λόγια, το Muirhead είναι όχι μόνο ένα θεώρημα, αλλά και ένας πολύ αποτελεσματικός οδηγός για την αναγνώριση της δομής μιας συμμετρικής ανισότητας.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →