🔢 Η Εξίσωση Ramanujan–Nagell: Πέντε Λύσεις και Καμία Άλλη

Εκθετικές διοφαντικές εξισώσεις

🔢 Η Εξίσωση Ramanujan–Nagell

Πέντε ακέραιες λύσεις — και καμία άλλη

🎯 Το πρόβλημα

Να βρεθούν όλες οι λύσεις σε θετικούς ακεραίους \(N\) και μη αρνητικούς ακεραίους \(X\) της εξίσωσης

\[2^N-7=X^2.\]

Ο Ramanujan παρατήρησε πέντε τιμές του εκθέτη:

\[N=3,4,5,7,15.\]

Το πραγματικό ερώτημα δεν ήταν αν αυτές λειτουργούν, αλλά αν υπάρχουν και άλλες.

✅ Οι πέντε λύσεις

\(N\)	\(2^N-7\)	\(X\)
3	1	1
4	9	3
5	25	5
7	121	11
15	32761	181

Αν επιτρέψουμε και αρνητικές τιμές του \(X\), σε καθεμία αντιστοιχεί φυσικά και η λύση \(-X\).

📜 Από τον Ramanujan στον Nagell

Η εξίσωση είναι σήμερα γνωστή ως εξίσωση Ramanujan–Nagell. Ο Ramanujan διατύπωσε την πεποίθηση ότι οι παραπάνω πέντε τιμές είναι οι μόνες. Η πλήρης απόδειξη δόθηκε από τον Νορβηγό μαθηματικό Trygve Nagell και δημοσιεύθηκε το 1948.

Επομένως, η φράση του screenshot ότι το αποτέλεσμα αποδείχθηκε «πρόσφατα» αντανακλά πιθανότατα την εποχή ή την πηγή του κειμένου· με τα σημερινά δεδομένα δεν είναι ακριβής.

🔐 Τι μπορούμε να αποδείξουμε γρήγορα;

Για \(N\ge3\), το \(X\) είναι περιττό. Εξετάζοντας την εξίσωση modulo μικρών αριθμών μπορούμε να αποκλείσουμε πολλές τιμές του \(N\), όχι όμως όλες.

Για παράδειγμα, αν \(N\) είναι άρτιος, τότε

\[ (2^{N/2}-X)(2^{N/2}+X)=7. \]

Οι δύο θετικοί ακέραιοι παράγοντες του \(7\) πρέπει να είναι \(1\) και \(7\). Έτσι

\[ 2^{N/2}=4,\qquad X=3, \]

οπότε η μοναδική λύση με άρτιο \(N\) είναι \((N,X)=(4,3)\).

🧭 Γιατί η πλήρης απόδειξη είναι δύσκολη;

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

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

Τελικό αποτέλεσμα

\[ (N,X)=(3,1),(4,3),(5,5),(7,11),(15,181) \]

και, αν \(X\in\mathbb Z\), προστίθενται οι αντίστοιχες αρνητικές τιμές του \(X\).

📚

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

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

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

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

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