Νιμ

Ας θεωρήσουμε ένα παιχνίδι με τους εξής κανόνες:

Σχήμα 1.

• στήνουμε νομίσματα όπως στο Σχ. 1
• δύο παίκτες παίζουν εναλλάξ
• όποιος πάρει το τελευταίο νόμισμα χάνει
• σε κάθε γύρο ένας παίκτης πρέπει να πάρει ένα νόμισμα ή περισσότερα αλλά από την ίδια σειρά.

Αν ο πρώτος παίκτης κάνει μία "σωστή" πρώτη κίνηση και μετά ακολουθήσει βέλτιστη στρατηγική, τότε κερδίζει πάντα. Ποια είναι αυτή η πρώτη σωστή κίνηση;

Το νέο τετράγωνο

Μπορείτε να εξηγήσετε το παρακάτω φαινομενικά παράδοξο;

Η ανισότητα αριθμητικού-γεωμετρικού μέσου

Εισαγωγή

Oι έννοιες του αριθμητικού και γεωμετρικού μέσου είναι γνωστές: Για δύο αριθμούς $a, b$ ο αριθμητικός μέσος (αυτό που λέμε μέσος όρος) είναι ο $\frac{a+b}{2}$. Αν επιπλέον οι $a,b\textgreater 0$, τότε ο γεωμετρικός μέσος είναι ο $\sqrt{ab}$. Για τους δύο αυτούς αριθμούς ισχύει η ανισότητα

ή

(1)

Η παραπάνω ανισότητα είναι εύκολο να αποδειχθεί χάρη στην ταυτότητα

$(\frac{a+b}{2})^2 = (\frac{a-b}{2})^2 + ab$,

δηλαδή η ποσότητα $ab$ για να γίνει ίση με την $(\frac{a+b}{2})^2$ πρέπει να αυξηθεί κατά τη μη-αρνητική ποσότητα $(\frac{a-b}{2})^2$, άρα η $ab$ είναι μικρότερη από ή το πολύ ίση με την $(\frac{a+b}{2})^2$.

Το πρόβλημα

Αυτό που θα εξετάσουμε στη συνέχεια είναι αν η ανισότητα αυτή ισχύει και για τον αριθμητικό και γεωμετρικό μέσο όχι 2 αλλά $n$ αριθμών. Δηλαδή αν ισχύει

$a_1a_2\cdots a_n\leq\left(\frac{a_1+a_2+\cdots+a_n}{n}\right)^n$

(2)

Υπάρχουν πολλές αποδείξεις για την (2). Η παρακάτω πολύ όμορφη απόδειξη απόδειξη οφείλεται στον ίδιο τον Cauchy (περιέχεται στο βιβλίο του Cours d' Analyse).

Απόδειξη για n = 2^m

Αρχικά παρατηρούμε ότι για τους αριθμούς $a_1,a_2$ και $a_3,a_4$ ξεχωριστά έχουμε

$a_1a_2\leq\left(\frac{a_1+a_2}{2}\right)^2$ και $a_3a_4\leq\left(\frac{a_3+a_4}{2}\right)^2$

(3)

Πολλαπλασιάζοντας κατά μέλη τις παραπάνω εξισώσεις έχουμε

$a_1a_2a_3a_4\leq\left(\frac{a_1+a_2}{2}\right)^2\left(\frac{a_3+a_4}{2}\right)^2$

(4)

H (1) ισχύει για οποιουσδήποτε δύο αριθμούς $a, b$ άρα για $a=\frac{a_1+a_2}{2}$ και $b=\frac{a_3+a_4}{2}$ παίρνουμε

$\frac{a_1+a_2}{2}\frac{a_3+a_4}{2}\leq\left(\frac{\frac{a_1+a_2}{2}+\frac{a_3+a_4}{2}}{2}\right)^2=\left(\frac{a_1+a_2+a_3+a_4}{4}\right)^2$

Αν υψώσουμε την τελευταία στο τετράγωνο και την αντικαταστήσουμε στην (4) παίρνουμε

$a_1a_2a_3a_4\leq\left(\frac{a_1+a_2+a_3+a_4}{4}\right)^4$

(5)

δηλαδή η ανισότητα ισχύει για n = 4.

Επαναλαμβάνοντας την ίδια διαδικασία μπορούμε να δείξουμε ότι η ανισότητα ισχύει για n = 8. Επαγωγικά μπορούμε να αποδείξουμε ότι η γενικευμένη ανισότητα (2) ισχύει για n = 2^m (δεν το κάνω διότι είμαι τεμπέλης).

Απόδειξη για κάθε n

Τώρα είναι εύκολο να το δείξουμε και για όλους τους άλλους αριθμούς. Ας πούμε ότι έχουμε τους $a_1,a_2,\ldots,a_n$. Βρίσκουμε ένα m τέτοιο, ώστε 2^m ≥ n (π.χ. αν n = 20, τότε επιλέγουμε m = 5, αφού 2⁵ ≥ 20). Θέτουμε

$b_1=a_1,b_2=a_2,\ldots,b_n=a_n,b_{n+1}=b_{n+2}=\cdots=b_{2^m}=A$

όπου $A$ είναι ο αριθμητικός μέσος των $a_i$.

Έχουμε

$b_1b_2\cdots b_{2^m}\leq\left(\frac{b_1+b_2+\cdots+b_{2^m}}{2^m}\right)^{2^m}$

Αν αντικαταστήσουμε τα $b_i$ παίρνουμε

$a_1a_2\cdots a_n\underbrace{AA\cdots A}_{2^m-n}\leq\left(\frac{a_1+a_2+\cdots+a_n + A + A +\cdots+A}{2^m}\right)^{2^m}$

ή

$a_1a_2\cdots a_nA^{2^m-n}\leq\left(\frac{1}{2^m}(a_1+a_2+\cdots+a_n) + \frac{2^m-n}{2^m}A\right)^{2^m}$

Όμως $a_1+a_2+\cdots+a_n = nA$ άρα

$a_1a_2\cdots a_nA^{2^m-n}\leq\left(\frac{n}{2^m}A + \frac{2^m-n}{2^m}A\right)^{2^m}=A^{2^m}$

και τελικά μετά τις πράξεις

$a_1a_2\cdots a_n\leq A^n$.

Σχόλια

Θεωρώ ότι αυτή η απόδειξη έχει πολλά ενδιαφέροντα σημεία.

• Αρχικά χρησιμοποιεί την ανισότητα (1) με λίγο-πολύ αναμενόμενο τρόπο για να αποδείξει τις εξ. (3).
• Μετά ξαναχρησιμοποιεί την (1) με πολύ λιγότερο αναμενόμενο τρόπο για να περάσει από την (4) στην (5), δηλαδή να δείξει την ισχύ της ανισότητας για n = 4
• Αποδεικνύει την ισχύ της ανισότητας εφαρμόζοντας μία ασυνήθιστη μορφή επαγωγής η οποία αντί να γίνεται στο n γίνεται στο 2ⁿ.
• Το πιο μαγικό όμως είναι το τέλος. Αποδεικνύει τη γενική περίπτωση (για κάθε n) από την ειδική (για n = 2^m). Και όχι μόνο αυτό αλλά για να αποδείξει τη γενική περίπτωση παίρνει μία ειδική περίπτωση της ειδικής περίπτωσης $b_{n+1}=b_{n+2}=\cdots=b_{2^m}=A$!  

Πηγή: The Enjoyment of Mathematics: Selections from Mathematics for the Amateur των O. Toeplitz & H. Rademacher

Είναι ο πολλαπλασιασμός επαναλαμβανόμενη πρόσθεση;

Πρόσφατα διάβασα το βιβλίο The unfinished game: Pascal, Fermat, and the 17th-century letter that made the world modern του Keith Devlin. (Ίσως γράψω μερικά πράγματα για αυτό σε κάποιο post στο μέλλον).

Ψάχνοντας στο δίκτυο για το συγγραφέα βρήκα μία μηνιαία στήλη (Devlin's angle) που συντηρεί στην ιστοσελίδα της MAA (Mathematical Association of America). Πιο πολύ μου τράβηξε το ενδιαφέρον ένα άρθρό του με τίτλο "It ain't no repeated addition". Στο συγκεκριμένο άρθρο ο Devlin επιχειρηματολογεί ότι ο πολλαπλασιασμός δεν είναι επαναλαμβανόμενη πρόσθεση και για αυτό το λόγο οι μαθητές του δημοτικού δε θα έπρεπε να διδάσκονται ότι είναι. Αρχικά παραξενεύτηκα αλλά τελικά κατέληξα στο ότι ο Devlin έχει μάλλον δίκιο. Για να γίνω πιο σαφής, ανάμεσα σε άλλα υποστηρίζει τα εξής:

• όπως η πρόσθεση είναι μία θεμελιώδης πράξη την οποία δεν εξηγούμε με βάση κάποια άλλη πράξη, έτσι και ο πολλαπλασιασμός είναι μία θεμελιώδης πράξη, την οποία δεν πρέπει να εξηγούμε με βάση κάποια άλλη πράξη αλλά να της δίνουμε τη δική της ερμηνεία (π.χ. να τον βλέπουμε ως την κλιμάκωση ενός αριθμού).
• ο πολλαπλασιασμός δύο αριθμών δεν είναι επαναλαμβανόμενη πρόσθεση. Πώς θα μπορούσε να εξηγήσει κανείς ως "επαναλαμβανόμενη πρόσθεση" το γινόμενο π√2; ή ακόμα και το ½×(-¾);
• το γεγονός ότι ο πολλαπλασιασμός ενός αριθμού με έναν ακέραιο n συμπίπτει με την πρόσθεση του αριθμού n φορές δεν καθιστά τον πολλαπλασιασμό "επαναλαμβανόμενη πρόσθεση". Απλά συμβαίνει η "επαναλαμβανόμενη πρόσθεση" να γίνεται γρήγορα και εύκολα χρησιμοποιώντας τον πολλαπλασιασμό (όπως π.χ. συμβαίνει 2⁴ = 4² αλλά γενικά δεν ισχύει ότι x^y = y^x ή ότι η αντιπαράγωγος είναι ένας γρήγορος τρόπος να υπολογίζουμε ολοκληρώματα αλλά δεν είναι το ίδιο πράγμα.
• όταν ο δάσκαλος φτάσει στο σημείο να διδάξει τον πολλαπλασιασμό π.χ. κλασμάτων ή γενικότερα πραγματικών, δε θα μπορεί να χρησιμοποιεί τον ορισμό του πολλαπλασιασμού ως "επαναλαμβανόμενη πρόσθεση" και θα πρέπει να βρει κάποια άλλη ερμηνεία για τον πολλαπλασιασμό. Αυτό είναι αρνητικό διότι ο πολλαπλασιασμός είτε κλασμάτων, είτε ακεραίων, είτε άρρητων είναι ένα και το αυτό, δεν είναι διαφορετικό για κάθε περίσταση. Επιπλέον κλονίζει την εμπιστοσύνη του μαθητή στα Μαθηματικά, που έμαθε κάτι και βλέπει ότι τώρα δεν ισχύει.

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

Θα ήθελα τις απόψεις όλων αλλά κυρίως των μαθητών και των δασκάλων των μαθηματικών είτε στο δημοτικό, είτε στο γυμνάσιο/λύκειο.

Άθροισμα όρων γεωμετρικών όρων

Το άθροισμα άπειρων όρων γεωμετρικής προόδου είναι

$a + a\lambda + a\lambda^2 + \ldots = \frac{a}{1-\lambda}$

με την προϋπόθεση ότι $|\lambda|<1$.

Μία γεωμετρική απόδειξη της παραπάνω σχέσης δίνεται στο Σχ. 1. Στο ορθογώνιο ΑΒΓΔ με πλευρές ΑΒ = ΓΔ = α και ΒΓ = ΑΔ = 1, παίρνουμε σημείο Ε πάνω στην ΒΓ έτσι, ώστε ΒΕ = λ < 1. Οι ΔΕ, ΑΒ συναντιούνται στο Ζ. Χωρίζουμε το τρίγ. ΑΖΔ σε τραπέζια όμοια με το ΑΒΕΔ και των οποίων οι μικρές βάσεις είναι διαδοχικά λ, λ², λ³, ... όπως στο σχήμα.

Σχήμα 1.

Από την ομοιότητα των τριγώνων ΑΖΔ και ΓΔΕ έχουμε

$\frac{AZ}{A\Delta} = \frac{\Gamma\Delta}{\Gamma E}$

δηλαδή

$a + a\lambda + a\lambda^2 + \ldots = \frac{a}{1-\lambda}$.

Σχήμα 2.

Στο Σχ. 2 φαίνονται άλλες δύο εικόνες που αντιπροσωπεύουν δύο άλλα αθροίσματα γεωμετρικών προόδων. Μπορείτε να βρείτε ποιες είναι αυτές;

Πηγή: Math Made Visual: Creating Images for Understanding Mathematics των R. Nelsen & C. Alsina