Έστω δύο συλλογές πραγματικών αριθμών, ταξινομημένες σε αύξουσα σειρά:
Αν αναδιατάξουμε με οποιονδήποτε τρόπο τους αριθμούς \(a_1,a_2,\ldots,a_n\), ποια αντιστοίχιση με τους \(b_i\) δίνει το μεγαλύτερο άθροισμα γινομένων;
Για οποιαδήποτε μετάθεση \[ a'_1,a'_2,\ldots,a'_n \] των \(a_1,a_2,\ldots,a_n\), ισχύει
και
Με απλά λόγια:
🔻 Ελάχιστο: κάνουμε ακριβώς το αντίθετο — τον μικρότερο με τον μεγαλύτερο, τον δεύτερο μικρότερο με τον δεύτερο μεγαλύτερο κ.ο.κ.
💡 Γιατί λειτουργεί;
Η βασική ιδέα της απόδειξης είναι εξαιρετικά απλή. Ας πάρουμε δύο θέσεις \(r<s\) και ας ανταλλάξουμε μόνο τους αντίστοιχους όρους.
Η μεταβολή στο άθροισμα είναι
Επειδή
έχουμε
Άρα η τοποθέτηση των αριθμών στην ίδια σειρά δεν μειώνει το άθροισμα. Επαναλαμβάνοντας τέτοιες ανταλλαγές καταλήγουμε στη διάταξη που δίνει το μέγιστο.
✨ Μια όμορφη συνέπεια
Αν εφαρμόσουμε την ανισότητα στην ίδια ακολουθία \(a_1,\ldots,a_n\), παίρνουμε για κάθε μετάθεση \(a'_1,\ldots,a'_n\):
Η μεγαλύτερη τιμή προκύπτει όταν κάθε αριθμός αντιστοιχιστεί με τον εαυτό του.
Μεγάλο με μεγάλο και μικρό με μικρό μεγιστοποιεί το άθροισμα των γινομένων· μεγάλο με μικρό το ελαχιστοποιεί.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου