Η εικασία του Λεζάντρ, που προτάθηκε από τον Αντριέν-Μαρί Λεζάντρ, δηλώνει ότι υπάρχει ένας πρώτος αριθμός μεταξύ και για κάθε θετικος ακέραιος. .[1]
Η εικασία είναι ένα από τα προβλήματα του Λαντάου (1912)[2] σχετικά με τους πρώτους αριθμούς και ένα από τα πολλά ανοικτά προβλήματα σχετικά με την απόσταση των πρώτων αριθμών.
Απόστασεις
Αν η εικασία του Λεζάντρ είναι αληθής, η απόσταση μεταξύ οποιουδήποτε πρώτου αριθμούp και του αμέσως μεγαλύτερου πρώτου αριθμού θα είναι , όπως εκφράζεται με τον συμβολισμό big O.[α] Είναι ένα από μια οικογένεια αποτελεσμάτων και εικασιών που σχετίζονται με τις αποστάσεις των πρώτων αριθμών, δηλαδή με την απόσταση μεταξύ των πρώτων αριθμών. Άλλοι περιλαμβάνουν το αξίωμα του Μπερτράν σχετικά με την ύπαρξη ενός πρώτου αριθμού μεταξύ και , την εικασία του Όπερμαν σχετικά με την ύπαρξη πρώτων αριθμών μεταξύ , και , την εικασία του Αντρίκα και την εικασία του Μπροκάρντ για την ύπαρξη πρώτων αριθμών μεταξύ τετραγώνων διαδοχικών πρώτων αριθμών, και την εικασία του Κράμερ ότι οι αποστάσεις είναι πάντα πολύ μικρότερες, της τάξης . Αν η εικασία του Κράμερ είναι αληθής, η εικασία του Λεζάντρ θα ακολουθούσε για όλα τα επαρκώς μεγάλα n. Ο Χάραλντ Κράμερ απέδειξε επίσης ότι η υπόθεση Ρίμαν συνεπάγεται ένα ασθενέστερο όριο για το μέγεθος των μεγαλύτερων πρώτων αποστάσεων.[3]
Σύμφωνα με το θεώρημα των πρώτων αριθμών, ο αναμενόμενος αριθμός των πρώτων αριθμών μεταξύ και είναι περίπου , και είναι επιπλέον γνωστό ότι για σχεδόν όλες τις αποστάσεις αυτής της μορφής ο πραγματικός αριθμός των πρώτων αριθμών (A014085) είναι ασυμπτωτικά προς αυτόν τον αναμενόμενο αριθμό.[4] Δεδομένου ότι ο αριθμός αυτός είναι μεγάλος για μεγάλο , αυτό προσδίδει αξιοπιστία στην εικασία του Λεζάντρ.[5]Είναι γνωστό ότι το θεώρημα των πρώτων αριθμών δίνει μια ακριβή καταμέτρηση των πρώτων αριθμών μέσα σε μικρά διαστήματα, είτε άνευ όρων [6] ή με βάση την υπόθεση Ρίμαν, [7] αλλά τα μήκη των αποστάσεων για τις οποίες αυτό έχει αποδειχθεί είναι μεγαλύτερα τις αποστάσεις μεταξύ διαδοχικών τετραγώνων, πολύ μεγάλα για να αποδειχθεί η εικασία του Λεζάντρ.
Μερικά αποτελέσματα
Από ένα αποτέλεσμα του Άλμπερτ Ίνγκαμ προκύπτει ότι για για όλους τους αρκετά μεγάλους , υπάρχει ένας πρώτος μεταξύ των διαδοχικών κύβων και .[8][9]. Ο Ντούντεκ απέδειξε ότι αυτό ισχύει για όλους τους.[10]
Ο Ντούντεκ απέδειξε επίσης ότι για και κάθε θετικό ακέραιο , υπάρχει ένας πρώτος αριθμός μεταξύ και . Ο Μάτνερ το μείωσε σε [11] το οποίο μειώθηκε περαιτέρω σε από τον Κούλι-Χούγκιλ.[12]
Οι Μπέικερ, Χάρμαν και Πιντζ απέδειξαν ότι υπάρχει ένας πρώτος αριθμός στο διάστημα για όλους τους μεγάλους .[13]
Ένας πίνακας μέγιστων αποστάσεων πρώτων δείχνει ότι η εικασία ισχύει για τουλάχιστον , δηλαδή .[14]
Σύνδεση με την εικασία Ρίμαν
Η αλήθεια ως προς την υπόθεση Ρίμαν προϋποθέτει μια ελαφρώς ασθενέστερη μορφή της εικασίας του Λεζάντρ:
Έστω pm ο πρώτος της τάξεως m και n η τιμή [√pm] + 1. Σύμφωνα με την εικασία του Λεζάντρ, θα υπήρχε ένας πρώτος p μεταξύ n2 και (n + 1)2. Τότε θα είχαμε τις ανισότητες (αυστηρές επειδή το τετράγωνο ενός ακεραίου δεν μπορεί να είναι πρώτος αριθμός)
από το οποίο μπορούμε να συμπεράνουμε ότι
Αυτό θα μας έδινε
Επομένως, η υπόθεση του Ρίμαν της μορφής συνεπάγεται, για μια ορισμένη σταθερά C προσαρμοσμένη
↑Legendre, Adriene Marie (1808). Essai sur la Théorie des Nombres (στα French) (2 έκδοση). Paris: Chez Courcier. σελίδες 405–406.CS1 maint: Μη αναγνωρίσιμη γλώσσα (link)
↑Weisstein, Eric W. «Landau's Problems». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 26 Δεκεμβρίου 2024.
↑Selberg, Atle (1943), «On the normal density of primes in small intervals, and the difference between consecutive primes», Archiv for Mathematik og Naturvidenskab47 (6): 87–105