🔢 Η Ανισότητα Αναδιάταξης — Γιατί η σωστή σειρά δίνει το μεγαλύτερο άθροισμα;

Έχουμε δύο ομάδες αριθμών και θέλουμε να τους αντιστοιχίσουμε ανά δύο. Μπορεί η σειρά με την οποία θα κάνουμε τα ζευγάρια να επηρεάσει το άθροισμα των γινομένων τους;

Η απάντηση δίνεται από την ανισότητα αναδιάταξης (rearrangement inequality), μία απλή αλλά εξαιρετικά ισχυρή ανισότητα.

📌 Η βασική ιδέα

Έστω

\[ a_1\le a_2\le\cdots\le a_n \]

και

\[ b_1\le b_2\le\cdots\le b_n. \]

Αν αντιστοιχίσουμε τους μικρότερους με τους μικρότερους και τους μεγαλύτερους με τους μεγαλύτερους, παίρνουμε

\[ A=a_1b_1+a_2b_2+\cdots+a_nb_n. \]

Αν κάνουμε ακριβώς την αντίθετη αντιστοίχιση, παίρνουμε

\[ B=a_1b_n+a_2b_{n-1}+\cdots+a_nb_1. \]

⭐ Η Ανισότητα Αναδιάταξης

Για οποιαδήποτε μετάθεση \(x_1,x_2,\ldots,x_n\) των αριθμών \(b_1,b_2,\ldots,b_n\), θέτουμε

\[ X=a_1x_1+a_2x_2+\cdots+a_nx_n. \]

Τότε ισχύει

\[ \boxed{A\ge X\ge B}. \]

💡 Με απλά λόγια

Το άθροισμα γινομένων γίνεται μέγιστο όταν οι δύο ακολουθίες έχουν την ίδια διάταξη και ελάχιστο όταν έχουν αντίθετη διάταξη.

🔄 Γιατί συμβαίνει αυτό;

Η ουσία φαίνεται ήδη από δύο ζεύγη. Αν

\[ a_i\le a_{i+1}, \qquad b_j\le b_{j+1}, \]

τότε

\[ (a_{i+1}-a_i)(b_{j+1}-b_j)\ge0. \]

Αναπτύσσοντας, παίρνουμε

\[ a_ib_j+a_{i+1}b_{j+1} \ge a_ib_{j+1}+a_{i+1}b_j. \]

Άρα, αν δύο όροι έχουν τοποθετηθεί σε «λάθος» σειρά, η ανταλλαγή τους ώστε να συμφωνούν με τη σειρά των \(a_i\) δεν μειώνει το άθροισμα. Επαναλαμβάνοντας αυτή τη διαδικασία φτάνουμε στη μέγιστη δυνατή διάταξη.

⚖️ Η ανισότητα του Chebyshev

Μια σημαντική εφαρμογή είναι η ανισότητα του Chebyshev. Για δύο ομοίως διατεταγμένες ακολουθίες ισχύει

\[ \boxed{ \frac1n\sum_{i=1}^{n}a_ib_i \ge \left(\frac1n\sum_{i=1}^{n}a_i\right) \left(\frac1n\sum_{i=1}^{n}b_i\right) }. \]

Η σχέση αυτή προκύπτει όμορφα αν πάρουμε κυκλικές μεταθέσεις των \(b_i\), εφαρμόσουμε την ανισότητα αναδιάταξης σε καθεμία και στη συνέχεια υπολογίσουμε τον μέσο όρο.

📊 Από εδώ στους γνωστούς μέσους

Η ανισότητα του Chebyshev μπορεί να χρησιμοποιηθεί για να συνδέσει τέσσερις από τους σημαντικότερους μέσους θετικών αριθμών \(c_1,c_2,\ldots,c_n\):

\[ \boxed{\mathrm{RMS}\ge\mathrm{AM}\ge\mathrm{GM}\ge\mathrm{HM}}. \]

Για παράδειγμα, θέτοντας \(a_i=b_i=c_i\) στην ανισότητα του Chebyshev, παίρνουμε

\[ \frac{c_1^2+\cdots+c_n^2}{n} \ge \left(\frac{c_1+\cdots+c_n}{n}\right)^2, \]

δηλαδή

\[ \boxed{\mathrm{RMS}\ge\mathrm{AM}}. \]

Οι επόμενοι κρίκοι της αλυσίδας είναι οι γνωστές σχέσεις

\[ \mathrm{AM}\ge\mathrm{GM} \qquad\text{και}\qquad \mathrm{GM}\ge\mathrm{HM}. \]

🌟 Μια απλή αρχή με μεγάλη δύναμη

Η ανισότητα αναδιάταξης μετατρέπει ένα πρόβλημα πολλών πιθανών αντιστοιχίσεων σε μια απλή αρχή: μεγάλο με μεγάλο και μικρό με μικρό για το μέγιστο — μεγάλο με μικρό για το ελάχιστο.

🔢 Η σειρά των αριθμών δεν είναι πάντα αθώα.
Μερικές φορές καθορίζει το μεγαλύτερο και το μικρότερο δυνατό αποτέλεσμα.

📚

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

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

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

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