Εικασία του Καταλάν

Η **εικασία του Καταλάν** (ή το **θεώρημα του Μιχαϊλέσκου**) είναι ένα θεώρημα στη θεωρία των αριθμών που εικάστηκε από τον μαθηματικό Εζέν Σαρλ Καταλάν το 1844 και αποδείχθηκε το 2002 από την Πρέντα Μιχαϊλέσκου στο Πανεπιστήμιο του Πάντερμπορν.  Οι ακέραιοι 23 και 32  είναι δύο τέλειες δυνάμεις (δηλαδή δυνάμεις εκθέτη μεγαλύτερου του ενός) φυσικών αριθμών των οποίων οι τιμές (8 και 9, αντίστοιχα) είναι διαδοχικές. Το θεώρημα δηλώνει ότι αυτή είναι η μοναδική περίπτωση δύο διαδοχικών τέλειων δυνάμεων. Δηλαδή, ότι 

 **Η εικασία του Καταλάν** - η μόνη λύση στους φυσικούς αριθμούς του 
  x^a - y^b = 1
 για ,  is , , , .

## Ιστορία
Η ιστορία του προβλήματος χρονολογείται τουλάχιστον από τον Γκερσονίδη, ο οποίος απέδειξε μια ειδική περίπτωση της εικασίας το 1343, όπου (*x*, *y*) περιορίστηκε να είναι (2, 3) ή (3, 2).  Η πρώτη σημαντική πρόοδος μετά την εικασία του Καταλάν, ήρθε το 1850, όταν ο Βικτόρ-Αμεντί Λεμπεσγκ  ασχολήθηκε με την περίπτωση *b* = 2.

Το 1976, ο Ρόμπερτ Τίζντεμαν εφάρμοσε τη μέθοδο του Μπέικερ στη θεωρία της υπερβατικότητας για να καθορίσει ένα φράγμα για τα *a*, *b* και χρησιμοποίησε τα υπάρχοντα αποτελέσματα που οριοθετούσαν τα *x*, *y* ως προς τα *a*, *b* για να δώσει ένα αποτελεσματικό άνω φράγμα για τα *x*, *y*, *a*, *b*. Ο Μισέλ Λανγκεβέν υπολόγισε μια τιμή \exp \exp \exp \exp 730 \approx 10^{10^{10^{10^{317}}}}  για το όριο,  επιλύοντας την εικασία του Καταλάν για όλες τις περιπτώσεις εκτός από έναν πεπερασμένο αριθμό περιπτώσεων.

Η εικασία του Καταλάν αποδείχθηκε από τον Πρέντα Μιχαηλέσκου τον Απρίλιο του 2002. Η απόδειξη δημοσιεύθηκε στο J*ournal für die reine und angewandte Mathematik*, 2004. Κάνει εκτεταμένη χρήση της θεωρίας των κυκλοτομικών σωμάτων και των modules Γαλουά. Μια έκθεση της απόδειξης δόθηκε από τον Γιούρι Μπίλου στο Σεμινάριο Μπουρμπακί. Το 2005, ο Μιχαϊλέσκου δημοσίευσε μια απλουστευμένη απόδειξη.

## Εικασία του Πιλάι
Η εικασία του ** Πιλάι** αφορά μια γενική διαφορά των τέλειων δυνάμεων : πρόκειται για ένα ανοιχτό πρόβλημα που αρχικά προτάθηκε από τον Πιλάι (Pillai]), ο οποίος υπέθεσε ότι τα κενά στην ακολουθία των τέλειων δυνάμεων τείνουν στο άπειρο.  Αυτό είναι ισοδύναμο με το να πούμε ότι κάθε θετικός ακέραιος αριθμός εμφανίζεται μόνο πεπερασμένες φορές ως διαφορά τέλειων δυνάμεων: Γενικότερα, το 1931 ο Πιλάι υπέθεσε ότι για σταθερούς θετικούς ακέραιους *A*, *B*, *C* η εξίσωση Ax^n - By^m = C έχει μόνο πεπερασμένα πολλές λύσεις (*x*,&nbsp;*y*,&nbsp;*m*,&nbsp;*n*) με (*m*,&nbsp;*n*) ≠ (2,&nbsp;2).  Ο Πιλάι απέδειξε ότι για σταθερά *A*, *B*, *x*, *y*, και για κάθε λ μικρότερο του 1, έχουμε |Ax^n - By^m| \gg x^{\lambda n} ομοιόμορφα στο *m* και *n*.

Η γενική εικασία προκύπτει από την εικασία ABC.

Η εικασία του Πιλάι υποδηλώνει ότι για κάθε φυσικό αριθμό *n*, υπάρχουν μόνο πεπερασμένα πολλά ζεύγη τέλειων δυνάμεων με διαφορά *n*. Ο παρακάτω κατάλογος δείχνει, για *n*&nbsp;≤&nbsp;64, όλες τις λύσεις για τέλειες δυνάμεις μικρότερες από 1018, τέτοιες ώστε ο εκθέτης και των δύο δυνάμεων να είναι μεγαλύτερος από 1. Ο αριθμός τέτοιων λύσεων για κάθε *n* παρατίθεται στη διεύθυνση . Δείτε επίσης  για τη μικρότερη λύση (&gt;&nbsp;0).

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
* Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
* Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
* Θεωρία Αριθμών και Εφαρμογές
* Υπολογιστική Θεωρία Αριθμών

## Δείτε επίσης
* Θεωρία αριθμών
* Αλγεβρική θεωρία αριθμών
* Φυσικός λογάριθμος
* Δεύτερη Εικασία Χάρντι-Λίτλγουντ
* Κυκλοτομικό σώμα
* e (μαθηματική σταθερά)
* Πυθαγόρεια τετράδα
* Άρτιοι και περιττοί αριθμοί
* Δίδυμοι πρώτοι αριθμοί
* Γενικευμένη υπόθεση Ρίμαν
* Προβλήματα του Λαντάου
* Αριθμοί των Ταξί
* Εικασία του Γκόλντμπαχ
* Θεμελιώδες θεώρημα αριθμητικής
* Αλγεβρική γεωμετρία
* Υπόθεση H του Σίνζελ
* Συνάρτηση Όιλερ
* Ευκλείδειος χώρος

## Βιβλιογραφία
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## Παραπομπές

* 
* 
* 
* 
* 
* 
*   Predates Mihăilescu's proof.
* 
* 

## Πηγές
* 
* 
* 
* 
* 
* 
* 

Κατηγορία:Διοφαντικές εξισώσεις
Κατηγορία:Περιοχές των μαθηματικών
Κατηγορία:Θεωρία αριθμών
Κατηγορία:Εικασίες
Κατηγορία:Άλυτα προβλήματα στα μαθηματικά