Αρχή Dirichlet ή Περιστερώνα
- Details
- Category: Εφαρμογές μαθηματικών
- Published on Wednesday, 15 April 2015 23:35
- Written by Super User
- Hits: 4000
Αρχή Diriclet ή Περιστερώνα ή Περιστεροφωλιάς
Ένα από τα αγαπημένα παιχνίδια σε πολλές παρέες που συνδυάζει κίνηση, ευελιξία, αντανακλαστικά και σκέψη είναι οι μουσικές καρέκλες. Σε αυτό τα παιδιά που συγκροτούν την παρέα τοποθετούν καρέκλες σε κύκλο με την πλάτη προς το εσωτερικό του κύκλου. Το πλήθος τους είναι αρχικά κατά ένα μικρότερο από το πλήθος των παικτών. Οι παίκτες αρχίζουν να τρέχουν γύρω από τις καρέκλες, ακούγοντας μουσική. Κάποια στιγμή η μουσική σταματά και όλοι πρέπει να κάτσουν σε μία καρέκλα. Χάνει όποιος δεν προλάβει να καθίσει. Θα υπάρχει ηττημένος?
Στη συνέχεια του παιχνιδιού η μουσική ξαναρχίζει και οι παίκτες και πάλι αρχίζουν να τρέχουν γύρω γύρω από τις καρέκλες, οι οποίες αυτήν τη φορά έχουν μειωθεί κατά μία, ενώ και στις επόμενες φορές μειώνονται κατά μία κάθε φορά. Κερδίζει αυτός που θα προλάβει να καθίσει πρώτος στον τελευταίο γύρο του παιχνιδιού στην τελευταία καρέκλα που θα έχει απομείνει. Θα υπάρχει νικητής?
Πέρα από την εμπειρία μας, η απάντηση επιβεβαιώνεται και από μία παρατήρηση που πρώτος συστηματοποίησε και κατέγραψε αυστηρά ο P.G.L. Dirichlet περί το 1834 και έκτοτε φέρει το όνομά του.
Ο P.G.L. Dirichlet (1805-1859) υπήρξε σημαντικός Γερμανός μαθηματικός, που σπούδασε στο Παρίσι και θήτευσε ως καθηγητής και συνεχιστής του C.F. Gauss στο διάσημο Πανεπιστήμιο του G\"ottingen
Μεταξύ άλλων στο ίδιο Πανεπιστήμιο φοίτησαν ή δίδαξαν προσωπικότητες όπως οι: Arthur Schopenhauer, οι αδελφοί Grimm, Otto von Bismarck, Edmund Husserl, Max Weber, Jurgen Habermas, Gerhard Schr\"oder, Max Planck, Werner Heisenberg, J. Robert Oppenheimer, Enrico Fermi, Wolfgang Pauli και μαθηματικοί όπως οι: Carl Friedrich Gauss, Bernhard Riemann, David Hilbert, Felix Klein, Richard Courant, Emmy Noether, Constantin Carath\'eodory, John von Neumann, Bolyai, Freudenthal, Haar, Hamel, Hecke, Hurwitz, κ.ά. Έως σήμερα 45 βραβεία Nobel είχαν συμμετοχή αποφοίτων ή καθηγητών του. Τα περισσότερα από αυτά στο πρώτο μισό του 20ου αιώνα.
Είχε σημαντική συμβολή στην αναλυτική θεωρία αριθμών, στις σειρές Fourier και στην ανάλυση γενικότερα.
Αρχή Dirichlet ή Αρχή περιστεροφωλιάς
Αν n+1 περιστέρια καθίσουν σε n φωλιές, τότε σε μία τουλάχιστον φωλιά θα καθίσουν 2 περιστέρια.
Έστω ότι καμία από τις περιστεροφωλιές δεν περιέχει 2 περιστέρια ή περισσότερα. Τότε οι k περιστεροφωλιές θα περιέχουν συνολικά το πολύ k περιστέρια, το οποίο είναι άτοπο, διότι υπάρχουν τουλάχιστον k+1 περιστέρια.
Σε οποιοδήποτε κείμενο της Ελληνικής γλώσσας, σε μία σειρά από 26 λέξεις τουλάχιστον 2 αρχίζουν από το ίδιο γράμμα.
[Ισοδύναμη διατύπωση]
Έστω φυσικός αριθμός k και k+1 ή περισσότερα αντικείμενα τοποθετούνται σε k κουτιά. Τότε υπάρχει τουλάχιστον ένα κουτί, το οποίο περιέχει δύο ή περισσότερα αντικείμενα.
Σε ολόκληρη την Αττική υπάρχουν τουλάχιστον 2 άτομα που έχουν ακριβώς το ίδιο πλήθος από τρίχες στο κεφάλι τους.
Στο σχολείο μας (Γυμνάσιο και Λύκειο) υπάρχουν τουλάχιστον δύο μαθητές που έχουν την ίδια ημέρα γεννέθλια.
Αν επιλέξουμε πέντε αριθμούς από τους ακέραιους 1-8, τότε δύο από αυτούς έχουν άθροισμα 9.
Μία αντιστοίχιση των k+1 ή περισσοτέρων στοιχείων ενός συνόλου Α στα k στοιχεία ενός συνόλου Β δεν μπορεί να γίνει ένα προς ένα στοιχείο.
Για παράδειγμα όταν συγκρίνουμε δύο τρίγωνα αναζητούμε να αντιστοιχίσουμε στοιχεία ένα προς ένα και αντίστοιχα μεταξύ τους. Ας υποθέσουμε τρεις πλευρές. Αν θέλαμε να συγκρίνουμε τρίγωνο με τετράπλευρο η αντιστοίχιση των πλευρών δεν θα μπορούσε να γίνει μία προς μία.
Ας εξετάσουμε τώρα κάποιους γενικούς κανόνες που μπορούμε να συνάγουμε για τη χρήση της αρχής.
- Σε πρώτη φάση προσδιορίζουμε τους ρόλους. Δηλαδή ποια αντικείμενα έχουν το ρόλο των «περιστεριών» και ποια αντικείμενα το ρόλο της «περιστεροφωλιάς».
- Τα αντικείμενα «περιστέρια» και «φωλιές» είναι εντελώς αφηρημένα και μπορεί να αντικαθίστανται σχεδόν από οτιδήποτε βολικό.
- Φυσιολογικά φροντίζουμε ώστε οι περιστεροφωλιές να είναι λιγότερες από τα περιστέρια.
- Φτιάχνουμε έναν κανόνα τοποθέτησης των περιστεριών στις φωλιές τους.
Το συμπέρασμα της αρχής της περιστεροφωλιάς ισχύει για οποιαδήποτε τοποθέτηση περιστεριών σε φωλιές, οπότε επιλέγουμε τον κανόνα αντιστοίχισης, ώστε «αρκετά» από τα περιστέρια να βρίσκονται στην ίδια περιστεροφωλιά που δίνει τη ζητούμενη ιδιότητα.
- Εφαρμόζουμε την Α.Π.Φ. με βάση τα παραπάνω.
Ας εξετάσουμε τώρα μία λύση της άσκησης:
Θα επιλέξουμε αριθμούς μεταξύ των 1-8. Προφανώς οι 5 αριθμοί που θα επιλέξουμε θα είναι τα «περιστέρια». Οι περιστεροφωλιές θα πρέπει να είναι τέσσερεις το πολύ. Δηλαδή, θα χωρίσουμε τους αριθμούς σε ομάδες, ώστε αριθμοί από διαφορετικές ομάδες να δίνουν άθροισμα 9.
Επιλέγουμε $ \{1,2\}, \{3,4\}, \{5,6\}, \{7,8\} $ τις περιστεροφωλιές. Τότε από τους $5$ αριθμούς που επιλέχθηκαν τουλάχιστον δύο θα έχουν άθροισμα 9.
- Να αποδειχθεί ότι ανάμεσα σε 52 θετικούς ακέραιους αριθμούς υπάρχουν δύο των οποίων η διαφορά ή το άθροισμα διαιρείται με από το 100.
- Να αποδειχθεί ότι ανάμεσα σε 4 αριθμούς υπάρχουν 2, ώστε η διαφορά τους να διαιρείται από το 3.
- Να αποδειχθεί ότι ανάμεσα σε $n+1$ ακεραίους υπάρχουν δύο, των οποίων η διαφορά διαιρείται με $n$.
Γενικευμένη αρχή της περιστεροφωλιάς
Σε αρκετές περιπτώσεις η χρήση της αρχής του Dirichlet γίνεται ευκολότερα με χρήση μίας διαφορετικής διατύπωσης:
[Γενικευμένη αρχή περιστεροφωλιάς]
Αν n περιστέρια καθίσουν σε k περιστεροφωλιές, όπου n>k, τότε υπάρχει τουλάχιστον μία περιστεροφωλιά με τουλάχιστον n/k περιστέρια.
Αν για παράδειγμα υπάρχουν $5$ περιστέρια που κάθονται σε $2$ περιστεροφωλιές, τότε μία από αυτές πρέπει να έχει $\frac{5}{2} = 2,5$ περιστέρια. Προφανώς, εφόσον ο αριθμός των περιστεριών πρέπει να είναι ακέραιος, προκύπτει ότι τουλάχιστον μία θα έχει τρία περιστέρια.
Απόδειξη:
Ας υποθέσουμε ότι δεν υπάρχει περιστεροφωλιά με $\frac{n}{k}$ περιστέρια.
Τότε κάθε περιστεροφωλιά θα έχει λιγότερα από $\frac{n}{k}$ περιστέρια, οπότε ο συνολικός αριθμός περιστεριών στις $k$ περιστεροφωλιές θα είναι μικρότερος του $\frac{n}{k} \cdot k = n$ το οποίο είναι άτοπο αφού ο αριθμός των περιστεριών είναι ακριβώς $n$. Συνεπώς, υπάρχει περιστεροφωλιά με $\frac{n}{k}$ περιστέρια τουλάχιστον.
Παράδειγμα:
Ας υποθέσουμε ότι υπάρχουν $50$ καλάθια με πορτοκάλια. Αν κάθε καλάθι περιέχει το πολύ $24$ πορτοκάλια, τότε υπάρχουν $3$ τουλάχιστον καλάθια, τα οποία περιέχουν ακριβώς τον ίδιο αριθμό πορτοκαλιών.
Εδώ τα «περιστέρια» είναι τα καλάθια και τα τοποθετούμε στις $24$ «περιστεροφωλιές» ανάλογα με το πόσα πορτοκάλια περιέχει το καθένα. Έτσι ο λόγος $\frac{n}{k}$ των περιστεριών προς τις περιστεροφωλιές είναι $\frac{50}{24}=2 + \frac{2}{24}$. Οπότε από τη γενικευμένη αρχή της περιστεροφωλιάς υπάρχουν τουλάχιστον τόσα καλάθια με το ίδιο πλήθος πορτοκαλιών, δηλαδή τουλάχιστον 3 καλάθια.
Να αποδειχθεί ότι για κάθε φυσικό αριθμό $n$ υπάρχει αριθμός που αποτελείται από τα ψηφία $5$ και $0$ και διαιρείται από τον $n$.
Έστω ένα ισόπλευρο τρίγωνο με μήκος πλευράς $2$ και πέντε εσωτερικά σε αυτό σημεία. Να αποδειχθεί ότι τουλάχιστον δύο από τα σημεία έχουν απόσταση μικρότερη από $1$.
Αν επιλεχθούν $51$ ακέραιοι αριθμοί μεταξύ του $1$ και του $100$, τότε υπάρχουν τουλάχιστον δύο συνεχόμενοι. %de-D4
[Ισοδύναμη διατύπωση]
Αν περισσότερα από $n \cdot k$ αντικείμενα τοποθετηθούν σε $n$ κελιά, τότε κάποιο κελί περιέχει περισσότερα από $k$ αντικείμενα.
Διαφορετικά διατυπωμένο: Αν $nk + 1$ αντικείμενα τοποθετηθούν σε $n$ κελιά, τότε κάποιο κελί θα περιέχει $k+1$ αντικείμενα.
Σε ένα διαγωνισμό ΠΡΟΠΟ με $13$ αγώνες κάποιος θέλει να πετύχει τουλάχιστον $5$ σωστές προβλέψεις σε μία τουλάχιστον στήλη του δελτίου του. Να βρεθεί ο ελάχιστος αριθμός στηλών που πρέπει να συμπληρώσει.
Αν μία τράπουλα έχει $52$ φύλλα να βρεθεί πόσα φύλλα πρέπει να επιλεχθούν, ώστε να υπάρχουν τουλάχιστον 3 κάρτες του ίδιου συμβόλου στην επιλογή.
[Γνήσια αρχή της περιστεροφωλιάς]
Για κάθε μη κενό πεπερασμένο σύνολο αριθμών ο μεγαλύτερος είναι τουλάχιστον ίσος με τη μέση τιμή τους.
Την καθαρά Δευτέρα ο Δήμος Αθηναίων θα εορτάσει στο Ολυμπιακό Στάδιο, για το οποίο έχουν δοθεί 70.000 ατομικές προσκλήσεις. Να αποδειχθεί ότι τουλάχιστον $192$ άτομα από αυτούς που θα συμμετέχουν στη γιορτή θα έχουν γενέθλια την ίδια ημέρα.
Στοιβάζοντας κανονικά Οκτάγωνα
- Details
- Category: Εφαρμογές μαθηματικών
- Published on Wednesday, 15 October 2014 23:23
- Written by Super User
- Hits: 1054
Η τοποθέτηση αντικειμένω σε ένα χώρο, ώστε να γεμίσει αυτός όσο καλύτερα και περισσότερο γίνεται είναι ένα από τα ιδιαίτερα σημαντικά προβλήματα υπάρχει μεγάλο εύρος στη βιβλιογραφία για αυτό.
Ωστόσο, όταν η τοποθέτηση αφορά τη στοίβαξη περισσότερο κανονικών αντικειμένων, τότε αυτό μπορεί να μελετηθεί ως αυστηρά μαθηματικό πρόβλημα.
Στη συνέχεια ακολουθεί μία μετάφραση (με λίγες επεξηγηματικές πρόσθηκες του άρθρου Packing Regular Octagons από το blog της American Mathematical Society.
Στο προηγούμενο σχέδιο φαίνεται η πυκνότερη στοίβαξη (εννοούμε τη στοίβαξη η οποία αφήνει τα μικρότερα κενά στο επίπεδο) κανονικών οκταέδρων στο επίπεδο, όπως σχεδιάστηκε από τον Graeme McRae. Είναι ενδιαφέρουσα διότει αποτελεί ένα αντιπαράδειγμα του 2-διάστατου αναλόγου μίας εικασίας που έκανε ο Stanislaw Ulam (Πολωνο-Αμερικανός Μαθηματικός 1909-1984), της Εικασίας Στοιβάγματος του Ulam,
σύμφωνα με την οποία από όλα τα κυρτά σώματα (περιγραφικά σώματα που δεν έχουν πτυχές ή μαθηματικά σώματα στα οποία κάθε ευθύγραμμο τμήμα με άκρα μέσα στο σώμα αυτό βρίσκεται ολόκληρο επίσης μέσα σε αυτό το σώμα) στον 3-διάστατο Ευκλείδιο χώρο η σφαίρα έχει την μικρότερη μέγιστη δυνατή πυκνότητα ταξινόμησης. Μάλιστα για όμοιες σφαίρες αυτή η πυκνότητα είναι
This is the densest packing of regular octagons in the plane, drawn by Graeme McRae. It is interesting because it is a counterexample to the 2-dimensional analogue of a conjecture made in 3 dimensions by Stanislaw Ulam.
Ulam?s packing conjecture states that of all convex bodies in 3d Euclidean space, the ball has the smallest maximum packing density. Since congruent balls can be packed with a density of
- See more at: http://blogs.ams.org/visualinsight/2014/10/15/packing-regular-octagons/?utm_content=buffer2d542&utm_medium=social&utm_source=facebook.com&utm_campaign=buffer#sthash.InAkQTlt.dpufΕπιπλέον, η πρώην εικασία του Kepler , η οποία έχει πλέον αποδειχθεί και ισχύει ως θεώρημα, αναφέρει ότι καμία διάταξη ισομεγεθών σφαιρών δεν έχει μεγαλύτερη μέση πυκνότητα από αυτήν:
Η πυκνότητα της οποίας είναι ελαφρά μεγαλύτερη του 74%.
Η εικασία του Ulam λέει ότι για οποιοδήποτε άλλο κυρτό σώμα στον Ευκλείδιο 3-διάστατο χώρο, μπορούμε να στοιβάξουμε όμοια αντίτυπά του με πυκνότητα μεγαλύτερη του .
Το αντίστοιχο πρόβλημα στις 2 διαστάσεις (στο επίπεδο δηλαδή) θα έλεγε ότι κάθε κυρτό σχήμα στο Ευκλείδειο επίπεδο μπορεί να στοιβαχθεί με πυκνότητα τουλάχιστον:
Παρόλα αυτά η πυκνότερη τοποθέτηση κανονικών εξαγώνων, που φαίνεται στο αρχικό σχέδιο, έχει πυκνότητα μόλις:
η οποία αν και είναι μόλις 0.7 χιλιοστά μικρότερα, αποτελεί επαρκές αντιπαράδειγμα για την αντίστοιχη εικασία στο 2-διάστατο χώρο.
Η στοίβαξη των οκταγώνων του Graeme McRae ισχυρίζεται ότι είναι η πυκνότερη δυνατή για κανονικά οκτάγωνα στο άρθρο εδώ.
Γενικότερα, οι επικαλύψεις χώρων με κανονικά σχήματα λέγονται και πλακοστρώσεις (Tilings) και μπορεί να βρει κανείς ενδιαφέρουσες περισσότερες πληροφορίες εδώ , εδώ και κυρίως εδώ .
This is the densest packing of regular octagons in the plane, drawn by Graeme McRae. It is interesting because it is a counterexample to the 2-dimensional analogue of a conjecture made in 3 dimensions by Stanislaw Ulam.
Ulam?s packing conjecture states that of all convex bodies in 3d Euclidean space, the ball has the smallest maximum packing density. Since congruent balls can be packed with a density of
and Kepler?s conjecture, now a theorem, says this is a best possible, Ulam?s conjecture says that for any other convex body in R3, we can pack congruent copies of this body with a density more than π/18???.
The analogous conjecture in 2 dimensions would say that every convex region in the Euclidean plane can be packed with a density at least
However, the densest packing of regular octagons, shown above, has density only
It density is only about .0007 less, but this suffices to refute the conjecture!
There is another more famous packing of regular octagons, the truncated octagonal tiling:
- See more at: http://blogs.ams.org/visualinsight/2014/10/15/packing-regular-octagons/?utm_content=buffer2d542&utm_medium=social&utm_source=facebook.com&utm_campaign=buffer#sthash.InAkQTlt.dpufThis is the densest packing of regular octagons in the plane, drawn by Graeme McRae. It is interesting because it is a counterexample to the 2-dimensional analogue of a conjecture made in 3 dimensions by Stanislaw Ulam.
Ulam?s packing conjecture states that of all convex bodies in 3d Euclidean space, the ball has the smallest maximum packing density. Since congruent balls can be packed with a density of
and Kepler?s conjecture, now a theorem, says this is a best possible, Ulam?s conjecture says that for any other convex body in R3, we can pack congruent copies of this body with a density more than π/18???.
The analogous conjecture in 2 dimensions would say that every convex region in the Euclidean plane can be packed with a density at least
However, the densest packing of regular octagons, shown above, has density only
It density is only about .0007 less, but this suffices to refute the conjecture!
There is another more famous packing of regular octagons, the truncated octagonal tiling:
- See more at: http://blogs.ams.org/visualinsight/2014/10/15/packing-regular-octagons/?utm_content=buffer2d542&utm_medium=social&utm_source=facebook.com&utm_campaign=buffer#sthash.InAkQTlt.dpufThis is the densest packing of regular octagons in the plane, drawn by Graeme McRae. It is interesting because it is a counterexample to the 2-dimensional analogue of a conjecture made in 3 dimensions by Stanislaw Ulam.
Ulam?s packing conjecture states that of all convex bodies in 3d Euclidean space, the ball has the smallest maximum packing density. Since congruent balls can be packed with a density of
and Kepler?s conjecture, now a theorem, says this is a best possible, Ulam?s conjecture says that for any other convex body in R3, we can pack congruent copies of this body with a density more than π/18???.
The analogous conjecture in 2 dimensions would say that every convex region in the Euclidean plane can be packed with a density at least
However, the densest packing of regular octagons, shown above, has density only
It density is only about .0007 less, but this suffices to refute the conjecture!
There is another more famous packing of regular octagons, the truncated octagonal tiling:
- See more at: http://blogs.ams.org/visualinsight/2014/10/15/packing-regular-octagons/?utm_content=buffer2d542&utm_medium=social&utm_source=facebook.com&utm_campaign=buffer#sthash.InAkQTlt.dpufThis is the densest packing of regular octagons in the plane, drawn by Graeme McRae. It is interesting because it is a counterexample to the 2-dimensional analogue of a conjecture made in 3 dimensions by Stanislaw Ulam.
Ulam?s packing conjecture states that of all convex bodies in 3d Euclidean space, the ball has the smallest maximum packing density. Since congruent balls can be packed with a density of
and Kepler?s conjecture, now a theorem, says this is a best possible, Ulam?s conjecture says that for any other convex body in R3, we can pack congruent copies of this body with a density more than π/18???.
The analogous conjecture in 2 dimensions would say that every convex region in the Euclidean plane can be packed with a density at least
However, the densest packing of regular octagons, shown above, has density only
It density is only about .0007 less, but this suffices to refute the conjecture!
There is another more famous packing of regular octagons, the truncated octagonal tiling:
- See more at: http://blogs.ams.org/visualinsight/2014/10/15/packing-regular-octagons/?utm_content=buffer2d542&utm_medium=social&utm_source=facebook.com&utm_campaign=buffer#sthash.InAkQTlt.dpufΜαθηματικά και μετάφραση
- Details
- Category: Εφαρμογές μαθηματικών
- Published on Friday, 03 January 2014 18:34
- Written by Super User
- Hits: 952
Πώς γίνεται ένα πρόβλημα μετάφρασης να μετατρέπεται σε ένα πρόβλημα διανυσματικών χώρων;
Αυτή ακριβώς είναι η μέθοδος που χρησιμοποίησε η google για να μεταφράζονται τα κείμενα που επιλέγουμε.
Διαβάστε αναλυτικά εδώ.
Πρότυπα και αριθμοί Catalan
- Details
- Category: Εφαρμογές μαθηματικών
- Published on Friday, 08 August 2014 10:18
- Written by Super User
- Hits: 892
Πρότυπα και αριθμοί Catalan
Πρότυπα και αριθμοί Catalan
Διδακτικές προτάσεις διδασκαλίας Μαθηματικών
Σ. Δ. Χασάπης |
Δ. Παναγόπουλος |
Σ.Δαβάκη 19 Κερατσίνι 18757 shasapis@gmail.com |
Πέλοπα 3 Γέρακας 15344 dpanagop@yahoo.gr |
Περίληψη. Η αναγνώριση και η χρήση προτύπων στα μαθηματικά αποτελεί μία από τις κύριες διεργασίες όταν «κάνουμε μαθηματικά». Η εισαγωγή τους στην Ελληνική υποχρεωτική μαθηματική εκπαίδευση είναι από τους βασικούς στόχους των προγραμμάτων σπουδών τα τελευταία χρόνια1. Η εισδοχή τους στο Λύκειο, αλλά και το Πανεπιστήμιο, απαιτεί συνδυασμούς με πολλαπλές αναπαραστάσεις και σύνθεση ? εφαρμογή τους σε πραγματικές καταστάσεις που θα προκαλέσουν το ενδιαφέρον των μαθητών. Οι αριθμοί Catalan, με την πολύπλευρη παρουσία τους, την κανονικότητα και τη δομή που εμπεριέχουν μπορούν να ανταποκριθούν ως ένα τέτοιο παράδειγμα. Στην παρούσα παρουσιάζεται ένα πλαίσιο και κάποιες από τις εφαρμογές των αριθμών Catalan, ενταγμένα στην παραπάνω λογική.
Abstract. Identification and use of patterns is of great importance when ?doing mathematics?. One of the main goals of the Greek syllabus is to introduce patterns in mathematical courses. This introduction in secondary, as well as in higher education demands that patterns are presented through real-life examples that entail use of multiple representations and will therefore intrigue and motivate students. Catalan numbers with their structure and numerous appearances in various fields of study satisfy the previous criteria. In this spirit, the authors present in this article Catalan numbers and some of their applications.
Εισαγωγή
Τα μαθηματικά θεωρούνται κατά διάφορους τρόπους ως η επιστήμη των προτύπων (Thescienceofpatterns [7],[8]). Ένα πρότυπο2 εγκλείει την κανονικότητα και τη δομή ενός μαθηματικού αντικειμένου. Στην πραγματικότητα αποτελεί συμπυκνωμένη εμπειρία πολλών ανθρώπων στην εξέλιξη ενός μαθηματικού αντικειμένου. Η αναγνώριση και κατανόηση ενός προτύπου απαιτούν ανάπτυξη μεταγνωστικών λειτουργιών και κατανόηση της δομής σε βάθος. Δηλαδή αποτελεί ένα υψηλό στόχο στη μαθηματική εκπαίδευση, αλλά επιπλέον η ανάπτυξη δεξιοτήτων επέκτασης ενός προτύπου επιτρέπει την επαναχρησιμοποίησή του και διανοίγει αποτελεσματικούς δρόμους επίλυσης προβλημάτων3. Οι πολλαπλές μορφές των προτύπων [3] και οι αντίστοιχες πολλαπλές αναπαραστάσεις τους μπορούν να ωθήσουν τη σύγχρονη διδασκαλία των μαθηματικών στις ανάγκες των μαθητών και των στόχων σύγχρονων αναλυτικών προγραμμάτων. Πρότυπα αρίθμησης, όπως οι φυσικοί αριθμοί που αποτελούν το απλούστερο παράδειγμα τέτοιου είδους προτύπου ή οι αριθμοί Catalan που συνιστούν μία εκλεπτυσμένη εφαρμογή των αρχών της συνδυαστικής και της απαρίθμησης μπορούν να εντάξουν πολλές διαφορετικές κατηγορίες προβλημάτων και να αναδείξουν στα μάτια μαθητών και φοιτητών την ομορφιά, την αναγκαιότητα και την τέχνη του να «κάνεις μαθηματικά» (Doingmathematics).
Η διερεύνηση των προτύπων απαιτεί λειτουργίες όπως: υπόθεση ? δοκιμή ? έλεγχο και απόδειξη ? γενίκευση και τελικά αναγνώριση και επαναχρησιμοποίηση. Έτσι, ο ασκούμενος στα μαθηματικά μπορεί να μάθει όχι μόνο τους κανόνες τους και τη χρήση τους, αλλά να προχωρήσει πέρα από αυτούς, να λύσει προβλήματα, να δει πραγματικές χρήσεις τους, ώστε τελικά να διατηρήσει ενεργό το ενδιαφέρον του. Δηλαδή « το αναμενόμενο » που είναι η ? συχνά ? βαρετή τήρηση των κανόνων της μαθηματικής συλλογιστικής, να εναλλάσσεται με «το απροσδόκητο», που μπορεί να συνίσταται στην αναγνώριση ενός προτύπου, το οποίο δε θα έπρεπε να βρίσκεται εκεί σε πρώτη ανάγνωση, μέσω του οποίου τελικά θα επιτραπεί η επίλυση ενός όμορφου προβλήματος και η βαθύτερη κατανόηση της δομής του.
Οι αριθμοί Catalan ορίζονται με διάφορους τρόπους και εμφανίζονται κατά τη μελέτη πολλών προβλημάτων. Τα προβλήματα αυτά σχετίζονται με την καθημερινότητα και είναι κατανοητά από τους μαθητές. Μπορούν λοιπόν να κεντρίσουν το ενδιαφέρον τους. Δηλαδή, ο διδάσκων μπορεί να εντάξει τη μελέτη των αριθμών Catalan στη διδασκαλία του ως ένα ενδιαφέρον πρότυπο με εφαρμογές σε φαινομενικά ασυσχέτιστα μεταξύ τους προβλήματα και τελικά να διευρύνει αριθμητικά πρότυπα που ήδη χρησιμοποιούνται στη διδασκαλία των μαθηματικών στο Λύκειο και το Πανεπιστήμιο και με τους αριθμούς Catalan που βρίσκουν ενδιαφέρουσες εφαρμογές.
Σύντομη ιστορία των αριθμών Catalan
Ο Βέλγος μαθηματικός E.C.Catalan4 χρησιμοποίησε την ακολουθία αυτών των αριθμών το 1838, στην προσπάθειά του να επιλύσει ένα πρόβλημα καλής διάταξης ? αντιστοίχισης παρενθέσεων. Εντούτοις πολύ πριν (περί το 1751) ο Euler μελέτησε τις τριγωνοποιήσεις κυρτών πολυγώνων, όπου και κατέληξε στους αριθμούς Catalan [4]. Μάλιστα, θεωρείται πιθανό να είχε κάνει χρήση τους ακόμα πιο πριν (περί το 1730) ο Κινέζος μαθηματικός AntuMing [5]. Γενικότερα, στην εποχή μας έχουν ασχοληθεί πολλοί μαθηματικοί με τους αριθμούς Catalan και έχουν αναλύσει τη χρήση τους. Ο RichardStanley του M.I.T. περιγράφει περισσότερες από 70 χρήσεις τους στο [11], κεφάλαιο 6, ενώ έχει δημιουργήσει και το CatalanAddendum5 όπου περιγράφει άλλες 70 χρήσεις τους. Οι πρώτοι σε σειρά αριθμοί Catalan είναι οι: 1,1,2,5,14,42,132,429,? και περιγράφονται ως η 577η ακολουθία ακεραίων στο [9] και ως η A000108 στην ιστοσελίδα oeis.org6. Σύμφωνα με τον MartinGardner αποτελεί την πιο συχνά εμφανιζόμενη ακολουθία ακεραίων, η οποία ταυτόχρονα δεν είναι και τόσο γνωστή, όσο για παράδειγμα η ακολουθία Fibonacci και άλλες. Μερικές από τις εμφανίσεις τους που θα παρουσιαστούν στο παρόν αφορούν: το πρόβλημα της τριγωνοποίησης κυρτού πολυγώνου του Euler, τακτοποίηση παρενθέσεων του Catalan, διαδρομές σε τετράγωνο χωρίς να τέμνεται η διαγώνιος, εξαγωγή από το τρίγωνο Pascal και συσχέτιση με τους κεντρικούς διωνυμικούς συντελεστές, πλήθος τρόπων προσεταιρισμού πολλαπλασιασμού ν συμβόλων, βουνοκορυφές, πρόβλημα χειραψιών.
Εμφανίσεις των αριθμών Catalan
Ας ξεκινήσουμε με ένα απλό στη διατύπωσή του πρόβλημα:
με πόσους διαφορετικούς τρόπους μπορούμε να σχεδιάσουμε διαγώνιους σε ένα κανονικό πολύγωνο έτσι ώστε αυτές να μην τέμνονται και να χωρίζουν το πολύγωνο σε τρίγωνα (βλ. Εικόνα 1);
Το πρόβλημα αυτό λύθηκε από τον Euler το 1761. Η απόδειξη του είναι αρκετά υπολογιστική και για αυτό την παραλείπουμε. Μπορούμε όμως να «ανακαλύψουμε» μία απόδειξη, η οποία είναι παρόμοιας λογικής με απόδειξη του σχολικού βιβλίου γεωμετρίας ([1] σελ.85), όπου, τριγωνοποιώντας ένα κυρτό πολύγωνο προσδιορίζει το άθροισμα των γωνιών του. Αυτή η απόδειξη οφείλεται στον Segner7 (1761) και μας οδηγεί σε έναν αναδρομικό τύπο. Πριν δούμε αυτήν την απόδειξη όμως, αρκεί να πούμε ότι το πλήθος των τρόπων με τους οποίους μπορούμε να τριγωνοποιήσουμε ένα κανονικό n-γωνο όπως πριν δίνεται από τον τύπο:
Θέτουμε
Παρατηρούμε ότι:
Όπου .
Με βάση αυτόν τον αναδρομικό ορισμό έχουμε:
Πολλαπλασιάζοντας κατά μέλη παίρνουμε:
Οι αριθμοί αυτοί ονομάζονται αριθμοί Catalan.
Η συνδυαστική απόδειξη του Segner
Θεωρούμε το πολύγωνο P, όπως στην εικόνα 2. Η ακμή του e θα ανήκει σε μοναδικό τρίγωνο Τ. Επιλέγοντας την τρίτη κορυφή του Τ (που δεν ανήκει στην e) σχηματίζονται δύο μικρότερα πολύγωνα τα οποία θα έχουν σύνολο πλευρών n+2. Από πολλαπλασιαστική αρχή της συνδυαστικής προκύπτει ότι οι τριγωνοποιήσεις του n-γώνου P θα είναι : . Συνεπώς, αν θεωρήσουμε τότε προκύπτει ο αναδρομικός τύπος του Segner :
Η
Εικόνα 2: Τριγωνοποίηση και τύπος Segner
εικασία του Urban
Το 1941 διατυπώθηκε, ως εικασία, από τον H.Urban ένας αναδρομικός τύπος, ο οποίος αναγνώρισε το εξής πρότυπο :
και
Δηλαδή : .
Παρατηρούμε δηλαδή ότι η ίδια η ιστορία της εξέλιξης των μαθηματικών αντικειμένων μπορεί να μας προσφέρει παραδείγματα (και αναμενόμενες συμπεριφορές) εύρεσης και αναγνώρισης προτύπων.
Ας υποθέσουμε τώρα το εξής πρόβλημα :
Με πόσους τρόπους μπορούμε να τοποθετήσουμε n ζευγάρια παρενθέσεων σε μια ακολουθία n γραμμάτων ώστε το αποτέλεσμα να είναι συντακτικά σωστό;
Για παράδειγμα αν έχουμε ένα ζευγάρι τότε έχουμε ένα τρόπο: (a), για δύο ζευγάρια έχουμε δύο τρόπους: (a)(b),((ab)). Για τρία ζευγάρια πέντε τρόπους:(a)(b)(c),((a)b(c)),((ab))(c),(a)((bc)),(((abc))). Οι αριθμοί αυτοί είναι και πάλι οι .
Το γεγονός αυτό δεν αποτελεί σύμπτωση. Υπάρχει τρόπος να μεταβούμε από το ένα πρόβλημα στο άλλο. Δηλαδή να αναγνωρίσουμε το πρότυπο που συνιστά η ακολουθία των αριθμών Catalan και να καλύψουμε τις θέσεις της με τα κατάλληλα κάθε φορά αντικείμενα [6]. Αυτή η αναγνώριση προτύπου και το ταίριασμά του σε ένα νέο πρόβλημα ? φαινομενικά διαφορετικό ? αποδίδει ήδη πολλά από τα στοιχεία που αναφέρθηκαν προηγουμένως.
Αν έχουμε ένα (n+2)-γωνο τότε μπορούμε σε κάθε τριγωνοποίηση του να αντιστοιχήσουμε μια διάταξη n παρενθέσεων και αντίστροφα. Για να το πετύχουμε αυτό έστω ότι έχουμε μια τριγωνοποίηση του (n+2)-γωνου. Σταθεροποιούμε μια πλευρά και τη θεωρούμε ως βάση του. Ονομάζουμε τις υπόλοιπες πλευρές του κινούμενοι σε μια φορά (π.χ. με αυτήν των δεικτών του ρολογιού). Στο τέλος ονοματίζουμε με τη σειρά όλες τις εναπομένουσες ακμές του (n+2)-γωνου έτσι ώστε σε κάθε βήμα αν θέλουμε να ονοματίσουμε μια πλευρά που συνδέει τις πλευρές με όνομα a, b να την ονομάζουμε (ab).
Αριθμοί Catalan παντού
Στα προηγούμενα παρουσιάστηκαν συνδυαστικά προβλήματα που έχουν ως λύση τους αριθμούς Catalan. Όμως, όπως έχει γράψει και ο MartinGardner, οι αριθμοί αυτοί έχουν την τάση «να εμφανίζονται ξαφνικά» σε διάφορα προβλήματα. Για παράδειγμα έστω ότι έχουμε το παρακάτω «σύνθετο κλάσμα»:
με πόσους τρόπους μπορούμε να το ερμηνεύσουμε; Για παράδειγμα το
μπορεί να ερμηνευτεί με δύο τρόπους : ή .
Αν γράφαμε οριζόντια τους όρους και παραλείπαμε τις γραμμές των κλασμάτων θα παίρναμε τις ακολουθίες . Δηλαδή το πρόβλημα αυτό ανάγεται στο πρόβλημα της ορθής τοποθέτησης n ζευγών παρενθέσεων σε μια ακολουθία n γραμμάτων. Συνεπώς η απάντηση είναι οι αριθμοί Catalan. Βέβαια, το παραπάνω πρόβλημα μπορεί επίσης να ληφθεί και ως οι δυνατότητες πολλαπλασιασμού στα n σύμβολα μίας προσεταιριστικής και μη μεταθετικής πράξης.
Αν σε κάθε λύση του προβλήματος της τοποθέτησης παρενθέσεων σε ακολουθίες αντιστοιχίσουμε στις αριστερές παρενθέσεις ( γραμμές προς τα πάνω / ενώ στις δεξιές γραμμές προς τα κάτω \, τότε σε κάθε λύση αντιστοιχίζεται μια «βουνοκορφή» η οποία δεν πέφτει κάτω από το «μηδέν».
Κάθε τέτοια «βουνοκορυφή» με n ζευγάρια γραμμών πάνω / και γραμμών κάτω \ αντιστοιχεί με φυσιολογικό τρόπο σε μια διαδρομή από την πάνω αριστερή γωνία στη κάτω δεξιά σε ένα nxn κιγκλίδωμα με οριζόντια και κατακόρυφα βήματα και η οποία δεν διασχίζει τη διαγώνιο.
Στη συγκεκριμένη περίπτωση η εφαρμογή και ταύτιση των θέσεων στο ίδιο πρότυπο των αριθμών Catalan μπορεί να γίνει με έναν απλό γεωμετρικό μετασχηματισμό (στροφή), με τη βοήθεια του οποίου θα αναγνωριστεί η εναλλακτική κάλυψη των θέσεων του προτύπου. Δηλαδή, γίνεται γεωμετρική μετάβαση από τη μία χρήση του προτύπου στην άλλη.
Απόδειξη του κλειστού τύπου
Το προηγούμενο παράδειγμα μπορεί να μας βοηθήσει να αποδείξουμε τον κλειστό τύπο για τους αριθμούς Catalan. Μια διαδρομή από την επάνω αριστερή γωνία ενός κιγκλιδώματος στην κάτω δεξιά μπορεί να γίνει με τρόπους. Αυτό γιατί μια τέτοια διαδρομή γίνεται σε βήματα όπου κάθε βήμα είναι προς τα δεξιά ή προς τα κάτω. Συνεπώς, μια τέτοια διαδρομή καθορίζεται πλήρως από το σε ποια βήματα θα κινηθούμε προς τα κάτω. Αυτό μπορεί να γίνει επιλέγοντας από τα βήματα.
Οπότε το πλήθος όλων των διαδρομών από την πάνω αριστερή γωνία στην κάτω δεξιά σε ένα κιγκλίδωμα είναι . Μία τέτοια διαδρομή ίσως να τέμνει τη διαγώνιο. Αν αυτό συμβαίνει ορίζεται το σημείο Ρ ως το τέλος της πρώτης ακμής που βρίσκεται κάτω από τη διαγώνιο (βλ.εικ.6). Για μια τέτοια διαδρομή και ξεκινώντας από την ακμή με αρχή την Ρ κατασκευάζουμε μια νέα πηγαίνοντας κάτω αν στην αρχική διαδρομή πηγαίναμε δεξιά και αντίστροφα. Εφόσον η αρχική διαδρομή έχει περάσει κάτω από τη διαγώνιο στο σημείο Ρ θα έχει κάνει ένα βήμα επιπλέον προς τα κάτω από ότι δεξιά. Άρα αν έχει κάνει βήματα δεξιά μέχρι το Ρ θα έχει κάνει βήματα κάτω. Επειδή η αρχική διαδρομή έχει βήματα δεξιά και βήματα κάτω στο σημείο Ρ θα απομένουν βήματα δεξιά και κάτω. Λόγω της αντιστροφής η νέα διαδρομή κάτω από το Ρ κάνει βήματα δεξιά και κάτω. Συνεπώς, η νέα διαδρομή κάνει βήματα δεξιά και κάτω (στη νέα διαδρομή προσθέτουμε μια γραμμή στο τέλος).
Τελικά, υπάρχει μια αντιστοιχία μεταξύ των διαδρομών που τέμνουν τη διαγώνιο με αυτά που κάνουν βήματα δεξιά και βήματα κάτω. Δηλαδή, το πλήθος των προβληματικών διαδρομών είναι :
Συνεπώς, το πλήθος των διαδρομών που δεν διέρχονται κάτω από τη διαγώνιο θα είναι:
Catalan και στο τρίγωνο του Pascal
Οι διωνυμικοί συντελεστές συνήθως είναι ήδη γνωστοί από τα αναπτύγματα των ταυτοτήτων : Συνηθίζεται μάλιστα να παρουσιάζονται με το γνωστό τρίγωνο του Pascal :
Παρατηρώντας το, φαίνεται ότι αν από τους κεντρικούς διωνυμικούς συντελεστές 1,2,6,20 αφαιρεθούν αντίστοιχα οι συντελεστές της δεξιάς ή της αριστερής στήλης στην ίδια γραμμή : 0, 1, 4, 15 τότε προκύπτουν οι αριθμοί : το οποίο φυσικά και δεν είναι τυχαίο, αλλά προς επιβεβαίωση αναζητούμε την γενίκευση με την απόδειξη.
Πράγματι, ισχύει ότι :
.
Πρόβλημα παρενθέσεων και γεννήτρια συνάρτηση
Παραπάνω εντοπίσαμε τους αριθμούς Catalan στους τρόπους τοποθέτησης n διαφορετικών ζευγών παρενθέσεων. Συγκεκριμένα ισχύει η αντιστοιχία :
Ζεύγη παρενθέσεων |
|
|
0 |
|
|
1 |
(αβ) |
|
2 |
((αβ)γ), (α(βγ)) |
|
3 |
(((αβ)γ)δ), ((α(βγ)δ), (α((βγ)δ)), (α(β(γδ))), ((αβ)(γδ)) |
Αν γίνει αντικατάσταση όλων των συμβόλων στις παραπάνω περιπτώσεις με μία κοινή μεταβλητή x και προσθέτοντας ανά γραμμή, τότε μπορούμε να διακρίνουμε τις εξής αντιστοιχίες :
(αβ) |
|
((αβ)γ), (α(βγ)) |
|
(((αβ)γ)δ), ((α(βγ)δ), (α((βγ)δ)), (α(β(γδ))), ((αβ)(γδ)) |
Συνεχίζοντας με τον ίδιο τρόπο, προσθέτοντας εμφανίζεται μία τυπική δυναμοσειρά :
στην οποία εμφανίζονται οι αριθμοί Catalan, ως συντελεστές αυτής της δυναμοσειράς. Οι αναπαραστάσεις ακολουθιών με τέτοιες τυπικές δυναμοσειρές8, οι οποίες καλούνται γεννήτριες συναρτήσεις προσφέρουν πολλά πλεονεκτήματα, μεταξύ των οποίων και η δυνατότητα ευκολότερων υπολογισμών. Γενικά η (συνήθης) γεννήτρια συνάρτηση της ακολουθίας ορίζεται ως η τυπική δυναμοσειρά : για την οποία είναι σημαντικός ο υπολογισμός ενός κλειστού τύπου αφενός και η δυνατότητα προσδιορισμού του συντελεστή μίας συγκεκριμένης δύναμης του x, ο οποίος εκφράζει τον αντίστοιχο όρο της ακολουθίας αφετέρου. Η αναζήτηση ενός κλειστού τύπου ενδείκνυται διότι υπάρχουν προβλήματα τα οποία αντιστοιχούν σε συγκεκριμένες πράξεις μεταξύ των γεννητριών συναρτήσεων [6]. Συνεπώς, η εύρεση ενός κλειστού τύπου για μια γεννήτρια συνάρτηση οδηγεί στην απλοποίηση των υπολογισμών .
Για την εύρεση ενός κλειστού τύπου για τη γεννήτρια συνάρτηση των αριθμών Catalan παρατηρούμε στον αναδρομικό τύπο του Segner ότι: ο οποίος μπορεί να προκύπτει ως συντελεστής στον πολλαπλασιασμό τυπικών δυναμοσειρών. Συγκεκριμένα, ισχύει ότι : , όπου οι συντελεστές Αν υψωθεί στο τετράγωνο η γεννήτρια συνάρτηση της ακολουθίας Catalan
ισχύει ότι
Από την τελευταία σχέση οι θετικοί συντελεστές της γεννήτριας συνάρτησης προκύπτουν αν επιλεχθεί ο τύπος με το αρνητικό πρόσημο. Δηλαδή, ο κλειστός τύπος για τη γεννήτρια συνάρτηση των αριθμών Catalan είναι :
Αν χρησιμοποιηθεί το γενικευμένο διωνυμικό ανάπτυγμα στον προηγούμενο τύπο τότε η γράφεται : και οι συντελεστές του γίνονται :
Οπότε .
Δηλαδή, χρησιμοποιώντας τη γεννήτρια συνάρτηση εξάγουμε για τους αριθμούς Catalan : .
Τα προηγούμενα παραδείγματα αποτελούν ένα μικρό μέρος από τις συναντήσεις με τη συγκεκριμένη ακολουθία. Συνεπώς, μπορεί να υπάρξει μία εναλλαγή μεταξύ αλγεβρικών, γεωμετρικών και συνδυαστικών μεθόδων στην εμφάνιση των αριθμών Catalan.
Άλλες ιδιότητες των αριθμών Catalan
Συνοψίζοντας την παρουσίαση κάποιων εναλλακτικών χρήσεων των αριθμών Catalan, παρατίθενται και δύο βασικές τους ιδιότητες.
Θεώρημα : Κάθε αριθμός Catalanείναι ακέραιος.
Απόδειξη : Ισχύει ότι . Από Θεώρημα Hermite9 για m = 2n έπεται ότι : Συνεπώς κάθε αριθμός Catalan είναι ακέραιος.
Θεώρημα (Koshy ? Salmassi, 2004 [4] σελ.330): Οι μοναδικοί πρώτοι αριθμοί Catalan είναι οι .
Απόδειξη : Από τον αναδρομικό τύπο του Segner ισχύει ότι
Έστω ότι ο είναι πρώτος.
Τότε και όπου Οπότε δηλαδή Συνεπώς είναι οι μοναδικοί πρώτοι Catalan.
Συμπεράσματα
Συνοψίζοντας, τα αναμορφωμένα προγράμματα σπουδών της υποχρεωτικής εκπαίδευσης ορίζουν τη μελέτη προτύπων ως έναν από τους βασικούς στόχους στην Ελληνική μαθηματική εκπαίδευση. Οι μαθητές από απλά πρότυπα αριθμών στις πρώτες τάξεις του Δημοτικού (περιττοί, άρτιοι, πρώτοι ? σύνθετοι, κλπ) περνούν στην αναγνώριση, περιγραφή και επέκταση αριθμητικών, γεωμετρικών και σύνθετων επαναλαμβανόμενων προτύπων στις τελευταίες τάξεις του Δημοτικού και στις πρώτες του Γυμνασίου. Η συμβολική αναπαράσταση των προτύπων εντάσσεται στο τέλος του Γυμνασίου. Αυτή επιτυγχάνεται με την ανακάλυψη της σχέσης μεταξύ των αριθμών (στα αριθμητικά πρότυπα) μίας ακολουθίας με τελικό ζητούμενο ουσιαστικά μία συναρτησιακή σχέση.
Από την άλλη πλευρά στο λύκειο και την ανώτερη εκπαίδευση χρειάζονται ουσιαστικότερες τομές στην πρακτική εφαρμογή στη διδασκαλία, ώστε να γίνει ομαλότερα για τους μαθητές η μετάβαση από την επαγωγική συμπερασματολογία και ανακάλυψη, μέσω διευρεύνησης προτύπων, που θα πρέπει να συμβαίνει στο Γυμνάσιο, σε μία πιο αφηρημένη - συμβολική αναπαράσταση στο Λύκειο και την ανώτερη εκπαίδευση. Όμως, αυτή η διαδικασία πρέπει να έχει νόημα και να προκαλεί το ενδιαφέρον του διδασκομένου, ώστε μέσω της παρατήρησης προτύπων που βρίσκουν εφαρμογές στην καθημερινότητα και τη δοκιμή υποθέσεων, να μπορέσουν να διατυπώσουν πολλαπλές αναπαραστάσεις προτύπων (λεκτικές, συμβολικές, γραφικές) και να εκτιμήσουν αποτελέσματα ή να λύσουν προβλήματα, που, τελικά, είναι η χαρά του να κάνεις μαθηματικά. Πιστεύουμε ότι οι αριθμοί Catalan, μεταξύ άλλων, αποτελούν ένα πρόσφορο παράδειγμα.
Τελειώνοντας, ας χαιρετηθούμε ! Να δώσουμε τα χέρια μας γύρω από το τραπέζι ανά δύο άτομα, αλλά προσοχή να μην τέμνονται οι χειραψίες μας διότι μερικοί πιστεύουν ότι είναι γρουσουζιά. Με πόσους τρόπους μπορεί να γίνει αυτό; Αν n τα ζεύγη που θα δώσουν τα χέρια τους, τότε η παρακάτω εικόνα φαίνεται να υποδεικνύει ότι αυτό μπορεί να συμβεί κατά Cn τρόπους.
Πράγματι, αν στο παραπάνω σχήμα αριθμήσουμε σε κάθε περίπτωση τα άτομα, τότε το πρόβλημα μπορεί να έρθει σε 1-1 και επί αντιστοιχία με το πρόβλημα των παρενθέσεων, όπως φαίνεται στο παρακάτω σχήμα.
Προφανώς, η παραπάνω διαδικασία θα μπορούσε να αποτελεί το κλείσιμο μίας μελέτης των αριθμών Catalan σε μία πραγματική τάξη, ως τελευταίο παράδειγμα αναγνώρισης και εφαρμογής ενός προτύπου.
Βιβλιογραφία
1. Αργυρόπουλος Η., κ.ά, Ευκλείδια Γεωμετρία,Ο.Ε.Δ.Β. ,2010.
2. Τσικοπούλου Στάμη, Ο ρόλος των προτύπων στη διδασκαλία των μαθηματικών, Ε.Μ.Ε. Πρακτικά 24ου Συνέδριου ,2007.
3. Keith Devlin, Mathematics: the science of patterns,Henry Holt and Company, New York ,1994.
4. Koshy Thomas, Catalan Numbers with Applications,Oxford ,2009.
5. Larcombe Peter, The 18th century Chinese discovery of the Catalan numbers,Mathematical Spectrum 32 5?6 ,1999-2000.
6. Mathematical Database, Generating Functions,http://eng.mathdb.org/ ,2008.
7. Resnik Michael D. , Mathematics as a Science of Patterns,Oxford ,1997.
8. Schoenfeld Alan, Learning to think mathematically : Problem solving, metacognition, and sense-making in mathematics,Mac Millan ,1992.
9. Sloane N.J.A., Handbook of Integer Sequences,Academic Pr ,1973.
10. Stanley Richard P., Enumerative Combinatorics vol.I,Wadsworth & Brooks/Cole ,1986.
11. Stanley Richard P., Enumerative Combinatorics Vol.II,Cambridge ,1999.
12. Wilf Herbert, generatingfunctionology: Third Edition,CRC Press,2005.
13. Davis Tom, Catalan Numbers, http://www.geometer.org/mathcircles/ catalan.pdf, 2010.
14. Internet Encyclopedia of Philosophy, www.iep.utm.edu.
1Βλέπε αναμορφωμένο Διαθεματικό Eνιαίο Πλαίσιο Σπουδών-Αναλυτικά Προγράμματα Σπουδών υποχρεωτικής εκπαίδευσης, ΥΠΕΠΘ-Π.Ι, τόμος Α΄, Αθήνα, Σεπτέμβριος 2002
2Χρησιμοποιούμε τη λέξη πρότυπο για τον όρο pattern, αν και δεν απεικονίζει επακριβώς η προϋπάρχουσα καθημερινή της έννοια τον όρο pattern. Στην πραγματικότητα όμως φαίνεται να έχει καθιερωθεί σε μεγάλο ποσοστό στην Ελληνική βιβλιογραφία. Στα προγράμματα σπουδών του Π.Ι. ή του Υπουργείου γίνεται χρήση των όρων μοτίβο και κανονικότητα. Ο μεν πρώτος δεν είναι Ελληνικός, ενώ ο δεύτερος δεν εγκλείει και τη δομή μαζί με την κανονικότητα.
3Στο «Ο ρόλος των προτύπων στη διδασκαλία των μαθηματικών» [2] διερευνώνται σχετικές απόψεις για την εφαρμογή των προτύπων στη διδασκαλία των μαθηματικών στην εννιάχρονη υποχρεωτική εκπαίδευση.
4EugeneCharlesCatalan (1814 ? 1894). Γεννήθηκε στο Βέλγιο και σπούδασε στην EcolePolytechnique στο Παρίσι. Υπήρξε καθηγητής μαθηματικών σε κολλέγιο και το 1865 έγινε καθηγητής ανάλυσης στο Πανεπιστήμιο της Λιέγης. Έγραψε για Γεωμετρία, Αστρονομία και πολλά άρθρα για πολλαπλά ολοκληρώματα, θεωρία επιφανειών, ανάλυση, λογισμό πιθανοτήτων κ.ά.
5http://www-math.mit.edu/~rstan/ec/catadd.pdf
7JohannAndreasvonSegner(1704?1777), Μαθηματικός, Φυσικός και Γιατρός, γεννημένος στο Pressburg, της Ουγγαρίας (σημερινή Bratislava, Σλοβακίας).
8Ονομάζονται τυπικές δυναμοσειρές, διότι δεν μας ενδιαφέρει η σύγκλισή τους. Για τη γενική αντιμετώπιση προβλημάτων με αυτές μπορεί κανείς να ανατρέξει στα [12] και [10].
9Θεώρημα Hermite : Αν τότε