📐 Πέντε κλασικοί μέσοι σε μία αυστηρή αλυσίδα ανισοτήτων

Δύο άνισοι θετικοί αριθμοί δεν έχουν μόνο έναν «μέσο». Υπάρχουν πολλοί διαφορετικοί τρόποι να εκφράσουμε μια ενδιάμεση τιμή και, εντυπωσιακά, οι πιο γνωστοί από αυτούς εμφανίζονται πάντοτε με την ίδια σειρά.

Αν

\[ 0<a<b, \]

τότε ισχύει η αυστηρή αλυσίδα

\[ \boxed{ a < \frac{2ab}{a+b} < \sqrt{ab} < \frac{a+b}{2} < \sqrt{\frac{a^2+b^2}{2}} < \frac{a^2+b^2}{a+b} < b } \]

🔎 Ποιος είναι ποιος;

\[ H=\frac{2ab}{a+b} \] Αρμονικός μέσος \[ G=\sqrt{ab} \] Γεωμετρικός μέσος \[ A=\frac{a+b}{2} \] Αριθμητικός μέσος \[ Q=\sqrt{\frac{a^2+b^2}{2}} \] Τετραγωνικός μέσος (RMS) \[ C=\frac{a^2+b^2}{a+b} \] Αντι-αρμονικός μέσος

Ο αρμονικός μέσος βρίσκεται πιο κοντά στον μικρότερο αριθμό \(a\), ενώ ο αντι-αρμονικός μετατοπίζεται περισσότερο προς τον μεγαλύτερο \(b\). Ανάμεσά τους τοποθετούνται, με αυστηρή σειρά, ο γεωμετρικός, ο αριθμητικός και ο τετραγωνικός μέσος.

🧩 Γιατί αυτή η σειρά;

Πίσω από μεγάλο μέρος αυτής της αλυσίδας βρίσκεται μια από τις απλούστερες αλήθειες της Άλγεβρας:

\[ (a-b)^2\ge0. \]

Για παράδειγμα, από

\[ (a-b)^2\ge0 \]

παίρνουμε

\[ (a+b)^2\ge4ab, \]

και επειδή \(a,b>0\),

\[ \frac{a+b}{2}\ge\sqrt{ab}. \]

Αυτή είναι η περίφημη ανισότητα Αριθμητικού–Γεωμετρικού μέσου.

Επειδή εδώ \(a\neq b\), η ισότητα αποκλείεται και επομένως

\[ \sqrt{ab}<\frac{a+b}{2}. \]

✨ Και πότε γίνονται όλοι ίσοι;

Αν αφήσουμε την προϋπόθεση \(a<b\) και πάρουμε \(a=b\), τότε ολόκληρη η αλυσίδα καταρρέει σε μία μόνο τιμή:

\[ H=G=A=Q=C=a=b. \]

💡 Μια απλή ιδέα πίσω από πολλές ανισότητες

Η φαινομενικά αθώα σχέση \[ (a-b)^2\ge0 \] είναι αρκετή για να φωτίσει μεγάλο μέρος της διάταξης των κλασικών μέσων.

Πέντε διαφορετικοί τρόποι να «πάρουμε έναν μέσο» — και μία αυστηρή μαθηματική ιεραρχία.

📚

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

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

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

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