Εικασία του Όπερμαν

Στα μαθηματικά, η **εικασία Όπερμαν** είναι ένα άλυτο πρόβλημα σχετικά με την κατανομή των πρώτων αριθμών. Σχετίζεται στενά με τις εικασίες των Λεζάντρ, Αντρίκα και Μπροκάρντ, αλλά είναι ισχυρότερη από αυτές. Πήρε το όνομά της από τον Δανό μαθηματικό Λούντβιγκ Όπερμαν, ο οποίος την ανακοίνωσε σε μια αδημοσίευτη διάλεξη τον Μάρτιο του 1877. .

## Δήλωση
Η εικασία δηλώνει ότι, για κάθε ακέραιο x > 1, υπάρχει τουλάχιστον ένας πρώτος αριθμός μεταξύ 

: *x*(*x*&nbsp;&minus;&nbsp;1) και&nbsp;*x*2,

και τουλάχιστον ένας άλλος πρώτος μεταξύ 

: *x*2 και *x*(*x*&nbsp;+&nbsp;1).

Μπορεί επίσης να διατυπωθεί ισοδύναμα ως η δήλωση ότι η συνάρτηση καταμέτρησης πρώτων υλών πρέπει να λαμβάνει άνισες τιμές στα τελικά σημεία κάθε περιοχής. Δηλαδή:

: (*x*2&nbsp;&minus;&nbsp;x) 2) 2&nbsp;+&nbsp;*x*) για *x* > 1
με (*x*)είναι ο αριθμός των πρώτων αριθμών που είναι μικρότεροι ή ίσοι με *x*. Τα τελικά σημεία αυτών των δύο περιοχών είναι ένα τετράγωνο μεταξύ δύο προμήκων αριθμών, με κάθε έναν από τους προμήκους αριθμούς να είναι διπλάσιος ενός τριγωνικού αριθμού ζεύγους. Το άθροισμα του ζεύγους τριγωνικών αριθμών είναι το τετράγωνο.

## Συνέπειες

Αν η εικασία είναι αληθής, τότε το μέγεθος του κενού θα είναι της τάξης των 

: g_n 

Αυτό σημαίνει επίσης ότι θα υπάρχουν τουλάχιστον δύο πρώτοι μεταξύ *x*2 and (*x*&nbsp;+&nbsp;1)2 (ένας στην περιοχή από *x*2 έως *x*(*x*&nbsp;+&nbsp;1) και ο δεύτερος στην περιοχή από *x*(*x*&nbsp;+&nbsp;1) έως (*x*&nbsp;+&nbsp;1)2), ενισχύοντας την εικασία του Λεζάντρ ότι υπάρχει τουλάχιστον ένας πρώτος στην περιοχή αυτή. Επειδή υπάρχει τουλάχιστον ένας μη πρώτος αριθμός μεταξύ δύο οποιωνδήποτε περιττών πρώτων αριθμών, αυτό θα συνεπαγόταν επίσης την εικασία του Μπροκάρντ ότι υπάρχουν τουλάχιστον τέσσερις πρώτοι αριθμοί μεταξύ των τετραγώνων διαδοχικών περιττών πρώτων αριθμών. Επιπλέον, θα συνεπαγόταν ότι τα μεγαλύτερα δυνατά κενά μεταξύ δύο διαδοχικών πρώτων αριθμών θα μπορούσαν να είναι το πολύ ανάλογα με το διπλάσιο της τετραγωνικής ρίζας των αριθμών, όπως αναφέρει η εικασία του Αντρίκα.

Η εικασία συνεπάγεται επίσης ότι τουλάχιστον ένας πρώτος αριθμός μπορεί να βρεθεί σε κάθε τέταρτο της σπείρας του Ούλαμ.

## Κατάσταση

Ακόμη και για μικρές τιμές του x, ο αριθμός των πρώτων αριθμών στις περιοχές που δίνει η εικασία είναι πολύ μεγαλύτερος από 1, γεγονός που παρέχει ισχυρή απόδειξη ότι η εικασία είναι αληθής. Ωστόσο, η εικασία του Όπερμαν δεν έχει αποδειχθεί το 2018 .

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

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

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

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

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

* 
* 
* 
* 
* <
* *Sorini, Laerte (2001). "Un Metodo Euristico per la Soluzione della Congettura di Giuga". Quaderni di Economia, Matematica e Statistica, DESP, Università di Urbino Carlo Bo (in Italian). *'68*'. .*

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

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