🔢 Τι είναι τα Ορθογώνια Διαγώνια Λατινικά Τετράγωνα;

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

Ένα τέτοιο αποτέλεσμα είναι το ακόλουθο.

📌 Θεώρημα Ύπαρξης

Για κάθε θετικό ακέραιο

\[ n\neq2,3,6, \]

υπάρχει ένα ζεύγος ορθογώνιων διαγώνιων λατινικών τετραγώνων τάξης \(n\).

🟦 Τι είναι ένα λατινικό τετράγωνο;

Ένα λατινικό τετράγωνο τάξης \(n\) είναι ένας πίνακας

\[ n\times n \]

στον οποίο χρησιμοποιούνται \(n\) διαφορετικά σύμβολα έτσι ώστε κάθε σύμβολο να εμφανίζεται ακριβώς μία φορά σε κάθε γραμμή και ακριβώς μία φορά σε κάθε στήλη.

Στην εικόνα χρησιμοποιούνται οι αριθμοί

\[ 0,1,2,\ldots,n-1. \]

Για \(n=10\), λοιπόν, κάθε γραμμή και κάθε στήλη περιέχει ακριβώς μία φορά καθέναν από τους αριθμούς \(0,1,\ldots,9\).

↘️↙️ Και τι σημαίνει «διαγώνιο»;

Σε ένα διαγώνιο λατινικό τετράγωνο απαιτούμε κάτι περισσότερο.

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

🔍 Επομένως, σε ένα διαγώνιο λατινικό τετράγωνο τάξης \(n\):

✓ κάθε γραμμή περιέχει τα \(n\) σύμβολα μία φορά,
✓ κάθε στήλη περιέχει τα \(n\) σύμβολα μία φορά,
✓ η κύρια διαγώνιος περιέχει τα \(n\) σύμβολα μία φορά,
✓ και η δεύτερη κύρια διαγώνιος επίσης.

🤝 Πότε δύο λατινικά τετράγωνα είναι ορθογώνια;

Εδώ βρίσκεται το πιο ενδιαφέρον σημείο.

Έστω δύο λατινικά τετράγωνα

\[ A=(a_{ij}) \qquad\text{και}\qquad B=(b_{ij}). \]

Τα τοποθετούμε νοητά το ένα πάνω στο άλλο και, σε κάθε θέση \((i,j)\), σχηματίζουμε το διατεταγμένο ζεύγος

\[ (a_{ij},b_{ij}). \]

Τα δύο τετράγωνα λέγονται ορθογώνια όταν όλα τα \(n^2\) διατεταγμένα ζεύγη που προκύπτουν είναι διαφορετικά.

Δηλαδή εμφανίζεται ακριβώς μία φορά κάθε δυνατό ζεύγος

\[ (0,0),(0,1),\ldots,(n-1,n-1). \]

💡 Με άλλα λόγια: αν υπερθέσουμε τα δύο τετράγωνα, κανένα ζεύγος αριθμών δεν επαναλαμβάνεται.

🧩 Η πρόκληση της εικόνας

Στην εικόνα παρουσιάζονται πέντε διαφορετικά διαγώνια λατινικά τετράγωνα τάξης \(10\), με τις ενδείξεις

\[ a,\quad b,\quad c,\quad d,\quad e. \]

Και τίθεται ένα ωραίο υπολογιστικό πρόβλημα:

🧠 Ποια ζεύγη από αυτά τα πέντε διαγώνια λατινικά τετράγωνα είναι ορθογώνια;

Για να το ελέγξουμε, δεν αρκεί να κοιτάξουμε τις γραμμές ή τις διαγωνίους. Για κάθε ζεύγος τετραγώνων πρέπει να εξετάσουμε τις 100 αντίστοιχες θέσεις και να διαπιστώσουμε αν παράγονται και τα \(100\) διαφορετικά διατεταγμένα ζεύγη.

✨ Ένα όμορφο θεώρημα ύπαρξης

Το εντυπωσιακό είναι ότι το φαινόμενο δεν περιορίζεται στο παράδειγμα τάξης \(10\).

Το θεώρημα μάς λέει ότι ένα ζεύγος ορθογώνιων διαγώνιων λατινικών τετραγώνων μπορεί να κατασκευαστεί για κάθε θετικό ακέραιο \(n\), με τρεις μόνο εξαιρέσεις:

\[ \boxed{n=2,\;3,\;6} \]

Οι τρεις αυτοί μικροί αριθμοί είναι λοιπόν οι μοναδικές τάξεις για τις οποίες δεν υπάρχει τέτοιο ζεύγος.

♟️ Μια σύνδεση με τον Euler

Τα ορθογώνια λατινικά τετράγωνα έχουν μεγάλη ιστορία. Ο Leonhard Euler τα μελέτησε ήδη τον 18ο αιώνα, και από τις ιδέες αυτές προέκυψε το περίφημο πρόβλημα των 36 αξιωματικών.

Η εικόνα επισημαίνει επίσης μια ενδιαφέρουσα σχέση με τα μαγικά τετράγωνα. Αν \(A=(a_{ij})\) και \(B=(b_{ij})\) είναι δύο ορθογώνια διαγώνια λατινικά τετράγωνα τάξης \(n\), τότε ο πίνακας με στοιχεία

\[ a_{ij}+n\,b_{ij} \]

περιέχει μία φορά όλους τους αριθμούς από \(0\) έως \(n^2-1\), ενώ οι γραμμές, οι στήλες και οι δύο κύριες διαγώνιοι έχουν το ίδιο άθροισμα:

\[ \boxed{\frac{n(n^2-1)}{2}}. \]

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

📚

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

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

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

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