Το Θεώρημα του Tijdeman και οι Διαδοχικές Δυνάμεις

Το 1976, ο Robert Tijdeman απέδειξε ότι:

Υπάρχει μόνο πεπερασμένος αριθμός διαδοχικών ακεραίων που είναι όλοι τέλειες δυνάμεις.

Με άλλα λόγια, αν έχουμε μια ακολουθία ακεραίων

$$n,n+1,n+2,\dots ,n+k$$

και καθένας από αυτούς είναι τέλεια δύναμη (δηλαδή της μορφής $a^m$ με $m \geq 2$), τότε το μήκος $k$ είναι φραγμένο. Δεν μπορεί να υπάρχουν απείρως πολλές τέτοιες ακολουθίες.

---

Πώς αποδείχθηκε

Η απόδειξη του Tijdeman δεν είναι στοιχειώδης∙ στηρίζεται σε βαθιά εργαλεία της Υπερβατικής Θεωρίας Αριθμών. Συγκεκριμένα:

1. Χρησιμοποίησε αποτελέσματα από την θεωρία Baker για γραμμικούς συνδυασμούς λογαρίθμων αλγεβρικών αριθμών.

2. Ο Alan Baker είχε αποδείξει λίγο νωρίτερα εκτιμήσεις για το πόσο «κοντά» μπορεί να βρεθεί ένας μη μηδενικός γραμμικός συνδυασμός τέτοιων λογαρίθμων στο μηδέν. Αυτές οι εκτιμήσεις παρείχαν ρητά φράγματα.

3. Ο Tijdeman εφάρμοσε αυτές τις εκτιμήσεις για να δείξει ότι, αν υπήρχε «πολύ μεγάλη» ακολουθία διαδοχικών τελείων δυνάμεων, τότε θα προέκυπτε αντίφαση με τα όρια του Baker.

4. Το θεώρημα δίνει θεωρητικά ένα απόλυτο φράγμα στο μήκος τέτοιων ακολουθιών, αν και το ίδιο το φράγμα είναι τεράστιο και μη πρακτικό.

---

Συνέπειες

• Ένα διάσημο ανοιχτό πρόβλημα, που σχετίζεται με το θεώρημα, είναι η Υπόθεση του Catalan (ή Εικασία του Mihăilescu), η οποία δηλώνει ότι η εξίσωση

$$x^p-y^q=1$$

με $p, q > 1$ έχει μοναδική λύση: $3^2 - 2^3 = 1$.

• Ο Tijdeman έδειξε ότι υπάρχουν μόνο πεπερασμένες λύσεις, αλλά δεν τις προσδιόρισε.

• Αργότερα, το 2002, ο Mihăilescu έδωσε την πλήρη απόδειξη της εικασίας, βασισμένος σε θεωρία αλγεβρικών αριθμών.

---

📌 Με λίγα λόγια:

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