🕊️ Ο Περιστερώνας του Διόφαντου: Ένας Γρίφος χωρίς Μέγιστο

🕊️ Ο Περιστερώνας του Διόφαντου

Ακέραιες αποστάσεις, Πυθαγόρειες τριάδες και ένα πλήθος επιπέδων χωρίς μέγιστο

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

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

📐 Η μαθηματική διατύπωση

Έστω \(d\) η οριζόντια απόσταση του παρατηρητή από τη βάση του περιστερώνα και \(h_k\) το ύψος της \(k\)-οστής φωλιάς. Ζητάμε:

• οι \(d,h_k\) να είναι θετικοί ακέραιοι,
• η απόσταση \(\ell_k\) από τον παρατηρητή έως τη φωλιά να είναι ακέραια,
• η γωνία ανύψωσης να είναι \(k\theta\), για κάποια κοινή βασική γωνία \(\theta\).

Για κάθε επίπεδο πρέπει επομένως να ισχύει

\[ d^2+h_k^2=\ell_k^2, \qquad \tan(k\theta)=\frac{h_k}{d}. \]

Άρα κάθε τριάδα \((d,h_k,\ell_k)\) είναι Πυθαγόρεια και όλες οι γωνίες προέρχονται από διαδοχικά πολλαπλάσια της ίδιας γωνίας.

🔑 Η ιδέα της κατασκευής

Επιλέγουμε μια Πυθαγόρεια γωνία \(\theta\), δηλαδή μια γωνία με ρητό ημίτονο και συνημίτονο. Για παράδειγμα, από την τριάδα \((5,12,13)\) παίρνουμε

\[ \cos\theta=\frac{12}{13}, \qquad \sin\theta=\frac{5}{13}, \qquad \tan\theta=\frac{5}{12}. \]

Από τους τύπους πρόσθεσης προκύπτει ότι τα \(\sin(k\theta)\) και \(\cos(k\theta)\) παραμένουν ρητά για κάθε ακέραιο \(k\). Συνεπώς και η \(\tan(k\theta)\) είναι ρητή, εφόσον \(\cos(k\theta)\neq0\).

Για ένα πεπερασμένο σύνολο γωνιών \(\theta,2\theta,\ldots,N\theta\), μπορούμε να επιλέξουμε το \(d\) ως κοινό πολλαπλάσιο των παρονομαστών των ρητών αριθμών \(\tan(k\theta)\) και \(1/\cos(k\theta)\). Τότε

\[ h_k=d\tan(k\theta) \qquad\text{και}\qquad \ell_k=\frac{d}{\cos(k\theta)} \]

είναι ταυτόχρονα ακέραιοι για όλα τα \(k=1,2,\ldots,N\).

🧮 Ένα ακριβές παράδειγμα με τρία επίπεδα

Για τη γωνία της τριάδας \((5,12,13)\), οι δυνάμεις του μιγαδικού αριθμού \(12+5i\) δίνουν ακριβώς:

\[ (12+5i)^1=12+5i, \] \[ (12+5i)^2=119+120i, \] \[ (12+5i)^3=828+2035i. \]

Επομένως,

\[ \tan\theta=\frac5{12}, \qquad \tan2\theta=\frac{120}{119}, \qquad \tan3\theta=\frac{2035}{828}. \]

Επιλέγουμε κοινή οριζόντια απόσταση

\[ d=\operatorname{lcm}(12,119,828)=98\,532. \]

Στη συγκεκριμένη κατασκευή η επιλογή αυτή αρκεί επίσης για να γίνουν ακέραιες οι αντίστοιχες υποτείνουσες. Προκύπτουν οι τρεις Πυθαγόρειες τριάδες με κοινό πρώτο σκέλος:

Γωνία	\(d\)	Ύψος \(h_k\)	Απόσταση \(\ell_k\)
\(\theta\)	98 532	41 055	106 743
\(2\theta\)	98 532	99 360	139 932
\(3\theta\)	98 532	242 165	261 443

Οι αριθμοί είναι μεγάλοι, αλλά η μονάδα μέτρησης μπορεί να επιλεγεί μικρή. Αν μία μονάδα αντιστοιχεί σε \(0{,}01\) mm, τότε η οριζόντια απόσταση είναι περίπου \(0{,}985\) m και τα ύψη περίπου \(0{,}411\), \(0{,}994\) και \(2{,}422\) m.

♾️ Υπάρχει μέγιστος αριθμός επιπέδων;

Όχι, με τα δεδομένα του προβλήματος δεν υπάρχει μέγιστο. Για οποιονδήποτε προκαθορισμένο θετικό ακέραιο \(N\), μπορούμε να επιλέξουμε μια αρκετά μικρή Πυθαγόρεια γωνία \(\theta\), ώστε

\[ N\theta<\frac{\pi}{2}. \]

Έπειτα, επειδή για τα \(k=1,\ldots,N\) οι αριθμοί \(\tan(k\theta)\) και \(1/\cos(k\theta)\) είναι ρητοί, επιλέγουμε το \(d\) ως κοινό πολλαπλάσιο των παρονομαστών τους. Έτσι όλα τα ύψη \(h_k\) και όλες οι αποστάσεις \(\ell_k\) γίνονται ακέραιοι.

Κάθε συγκεκριμένη κατασκευή έχει πεπερασμένο ύψος, αλλά ο αριθμός των επιπέδων δεν έχει καθολικό άνω φράγμα. Για να αποκτήσει το πρόβλημα μια μοναδική «βέλτιστη» απάντηση, πρέπει να προστεθεί κάποιος επιπλέον περιορισμός — για παράδειγμα μέγιστο συνολικό ύψος, ελάχιστη απόσταση μεταξύ φωλιών ή κατώτατο μέγεθος της μονάδας μέτρησης.

❌ Γιατί δεν εφαρμόζεται το θεώρημα του Niven;

Το θεώρημα του Niven αφορά τις δυνατές ρητές τιμές του ημιτόνου — και αντίστοιχα του συνημιτόνου — όταν η γωνία είναι ρητό πολλαπλάσιο του \(\pi\).

Εδώ όμως δεν απαιτούμε η ποσότητα \(\theta/\pi\) να είναι ρητή. Απαιτούμε μόνο τα \(\sin\theta\) και \(\cos\theta\) να είναι ρητά, κάτι που εξασφαλίζεται επιλέγοντας μια κατάλληλη Πυθαγόρεια γωνία.

Επομένως το θεώρημα του Niven δεν επιβάλλει περιορισμό στον αριθμό των επιπέδων και δεν αποτελεί το κατάλληλο εργαλείο για τον συγκεκριμένο γρίφο.

Συμπέρασμα: τρία επίπεδα δίνουν ένα συγκεκριμένο και σχετικά διαχειρίσιμο παράδειγμα. Μαθηματικά, όμως, μπορούν να κατασκευαστούν όσα πεπερασμένα επίπεδα επιθυμούμε· δεν υπάρχει μεγαλύτερος δυνατός αριθμός.

📚

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

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

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

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

Σχετικά άρθρα