Ο σπουδαίος μαθηματικός George Pólya γεννήθηκε στη Βουδαπέστη στις 13 Δεκεμβρίου 1887 και πέθανε στις 7 Σεπτεμβρίου 1985, σε ηλικία 97 ετών. Το 1940 εγκαταστάθηκε στις Ηνωμένες Πολιτείες και αργότερα συνέδεσε το όνομά του τόσο με σημαντικά μαθηματικά αποτελέσματα όσο και με τη συστηματική μελέτη της επίλυσης προβλημάτων.
Σε επιστολή του προς τον J. E. Wetzel, με ημερομηνία 31 Ιανουαρίου 1967, ο Pólya θυμήθηκε ότι στα νεανικά του χρόνια έβλεπε συχνά μαθηματικά όνειρα. Συνήθως, όπως έγραφε, το πρόβλημα λυνόταν μέσα στο όνειρο, αλλά η λύση χανόταν μετά το ξύπνημα. Μία μόνο απόδειξη διατηρήθηκε στη μνήμη του: μια κομψή απόδειξη της ανισότητας αριθμητικού και γεωμετρικού μέσου.
⚖️ Η ανισότητα αριθμητικού–γεωμετρικού μέσου
Έστω θετικοί πραγματικοί αριθμοί \(a_1,a_2,\ldots,a_n\). Ο αριθμητικός και ο γεωμετρικός μέσος τους είναι αντίστοιχα:
Η γνωστή ανισότητα δηλώνει ότι:
Δείτε την απόδειξη του Pólya
Χρησιμοποιούμε τη βασική ανισότητα
\[e^x\ge 1+x,\]η οποία ισχύει για κάθε πραγματικό \(x\), με ισότητα μόνο όταν \(x=0\).
Θέτουμε για κάθε \(k=1,2,\ldots,n\):
\[x=\frac{a_k-A}{A}=\frac{a_k}{A}-1.\]Τότε:
\[e^{\frac{a_k}{A}-1}\ge\frac{a_k}{A}.\]Πολλαπλασιάζοντας τις \(n\) ανισότητες κατά μέλη, παίρνουμε:
\[ \prod_{k=1}^{n}\frac{a_k}{A} \le \exp\!\left(\sum_{k=1}^{n}\left(\frac{a_k}{A}-1\right)\right). \]Επειδή \(\sum_{k=1}^{n}a_k=nA\), ο εκθέτης στο δεξί μέλος είναι μηδέν. Άρα:
\[ \frac{\prod_{k=1}^{n}a_k}{A^n}\le e^0=1 \quad\Longrightarrow\quad G^n\le A^n \quad\Longrightarrow\quad G\le A. \]Η απόδειξη είναι εντυπωσιακή επειδή μετατρέπει μια σχέση μεταξύ δύο μέσων σε ένα απλό γινόμενο εκθετικών ανισοτήτων. Ίσως αυτό ακριβώς εννοούσε ο Pólya όταν έλεγε ότι την «είδε» πρώτα σε όνειρο.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου