Μυστικά των Μέσων Όρων: Από τον Υπολογισμό στο Θεώρημα

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

Αν γνωρίζουμε τον μέσο όρο $\bar{x}$ ενός συνόλου αριθμών $x_1, x_2, \dots, x_n$, τότε μπορούμε εύκολα να βρούμε και το άθροισμά τους:

$$x_1 + x_2 + \dots + x_n = n \cdot \bar{x}$$

Για παράδειγμα, το γνωστό άθροισμα των ακεραίων από το $1$ έως το $n$ μπορεί να προκύψει πανέξυπνα:
ο μέσος όρος τους είναι $\dfrac{n+1}{2}$ και υπάρχουν $n$ όροι, άρα:

$$1+2+\cdots +n=n\cdot \frac{n+1}{2}=\frac{n(n+1)}{\mathrm{2}}$$

Αντίστοιχα, το άθροισμα των ακεραίων από $a$ έως $b$ δίνεται από τον τύπο:

$$a+(a+1)+\cdots +b=\frac{(b-a+1)(a+b)}{\mathrm{2}}$$

---

Το Θεώρημα του Μέσου Όρου: Πάντα Ανάμεσα στο Ελάχιστο και το Μέγιστο!

Αν $\bar{x}$ είναι ο μέσος όρος του συνόλου $\{x_1, x_2, \dots, x_n\}$, τότε:

$$\min (x_i)\le \bar{x}\le \max (x_i)$$

Δηλαδή, ο μέσος όρος βρίσκεται πάντα ανάμεσα στη μικρότερη και στη μεγαλύτερη τιμή.

• Αν όλοι οι αριθμοί είναι ίσοι, τότε $\min = \bar{x} = \max$.

• Αν όχι, τότε οι τρεις τιμές είναι διαφορετικές.

---

Σταθμισμένος Μέσος Όρος (Weighted Average)

Σε πολλές εφαρμογές, κάθε τιμή έχει διαφορετική βαρύτητα $w_i$:

$$\bar{x}=\frac{w_1{x}_1+w_2{x}_2+\cdots +w_n{x}_n}{w_1+w_2+\cdots +w_{\mathrm{n}}}$$

Αν τα βάρη αθροίζονται στο $1$, τότε:

$$\bar{x}=w_1{x}_1+w_2{x}_2+\cdots +w_n{x}_{\mathrm{n}}$$

Μια ιδιαίτερη περίπτωση είναι όταν τα $w_i$ αντιστοιχούν σε πιθανότητες· τότε ο μέσος όρος γίνεται αναμενόμενη τιμή — έννοια που συναντάμε συχνά στη θεωρία πιθανοτήτων.