🔢 Θεώρημα Tijdeman: Μόνο Πεπερασμένες Λύσεις στην Εξίσωση y^m=x^n+1

Μπορούν δύο τέλειες δυνάμεις να διαφέρουν ακριβώς κατά \(1\);

Το ερώτημα αυτό οδηγεί στην εκθετική διοφαντική εξίσωση

\[ y^m=x^n+1, \qquad m,n>1. \]

Το Θεώρημα του Tijdeman, που αποδείχθηκε το 1976 από τον Ολλανδό μαθηματικό Robert Tijdeman, λέει ότι η παραπάνω εξίσωση έχει μόνο πεπερασμένες ακέραιες λύσεις.

Διατύπωση:
Η εξίσωση \[ y^m-x^n=1, \qquad x,y,m,n \in \mathbb{N}, \quad m,n>1 \] έχει μόνο πεπερασμένο πλήθος λύσεων.

Τι σημαίνει αυτό;

Το θεώρημα δεν λέει αμέσως ποια είναι όλες οι λύσεις. Λέει όμως κάτι εξαιρετικά ισχυρό: δεν υπάρχουν άπειρα πολλά ζεύγη τέλειων δυνάμεων που να είναι διαδοχικά.

Με άλλα λόγια, αν ψάχνουμε αριθμούς της μορφής \[ x^n \quad \text{και} \quad y^m \] με εκθέτες μεγαλύτερους του \(1\), τότε μόνο σε πεπερασμένες περιπτώσεις μπορούν να διαφέρουν κατά \(1\).

Γιατί ήταν τόσο σημαντικό;

Το αποτέλεσμα του Tijdeman αποτέλεσε ένα καθοριστικό βήμα προς την επίλυση της διάσημης εικασίας του Catalan, η οποία διατυπώθηκε το 1844 και τελικά αποδείχθηκε το 2002 από τον Preda Mihăilescu.

Η εικασία του Catalan έλεγε ότι η μοναδική λύση της εξίσωσης \[ y^m-x^n=1, \qquad m,n>1 \] στους θετικούς ακεραίους είναι

\[ 3^2-2^3=1. \]

Δηλαδή: \[ 9-8=1. \]

Ο Tijdeman δεν απέδειξε ακόμη τη μοναδικότητα, αλλά έδειξε ότι οι λύσεις είναι μόνο πεπερασμένες. Αυτό ήταν ένα τεράστιο βήμα, γιατί περιόρισε δραστικά το πρόβλημα.

Η ιδέα πίσω από την απόδειξη

Η απόδειξη του Tijdeman χρησιμοποιεί βαθιά εργαλεία από τη θεωρία αριθμών και ειδικότερα από τα γραμμικά λογαριθμικά σχήματα (linear forms in logarithms), μια περιοχή που συνδέεται στενά με τη μέθοδο του Baker.

Το βασικό μήνυμα είναι ότι οι εκθέτες \(m\) και \(n\) δεν μπορούν να μεγαλώνουν ανεξέλεγκτα. Υπάρχουν αποτελεσματικά άνω φράγματα, άρα το σύνολο των πιθανών λύσεων περιορίζεται σε πεπερασμένες περιπτώσεις.

Ένα ιστορικό ορόσημο στη θεωρία αριθμών

Το Θεώρημα του Tijdeman είναι από εκείνα τα αποτελέσματα που, ακόμη και όταν δεν δίνουν την τελική απάντηση, αλλάζουν ριζικά το τοπίο ενός προβλήματος. Από το «μπορεί να υπάρχουν άπειρες λύσεις;» περάσαμε στο «υπάρχουν μόνο πεπερασμένες — άρα το πρόβλημα είναι ελέγξιμο».

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

Συμπέρασμα:
Το Θεώρημα του Tijdeman απέδειξε ότι η εξίσωση \[ y^m=x^n+1, \qquad m,n>1 \] έχει μόνο πεπερασμένες ακέραιες λύσεις. Το αποτέλεσμα αυτό άνοιξε τον δρόμο για το μεταγενέστερο Θεώρημα του Mihăilescu, που έδειξε ότι η μοναδική τέτοια λύση είναι \[ 3^2-2^3=1. \]

Ένα σπουδαίο βήμα από την περατότητα προς τη μοναδικότητα.

📚

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

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

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

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