🧮 Η Σταθερά του Mills: Μια Μηχανή που Παράγει Μόνο Πρώτους;

class="separator" style="clear: both; text-align: center;">

Πρώτοι αριθμοί · Δάπεδο · Εκθετική μεγέθυνση

🧮 Η Σταθερά του Mills

Μια μηχανή πρώτων αριθμών — με ένα καλά κρυμμένο τίμημα

✨ Ο εντυπωσιακός τύπος

Το 1947 ο William H. Mills απέδειξε ότι υπάρχει πραγματικός αριθμός \(A>1\) τέτοιος ώστε

\[ M_n=\left\lfloor A^{,3^n}\right\rfloor \]

είναι πρώτος αριθμός για κάθε θετικό ακέραιο \(n\). Οι αγκύλες \(\lfloor x\rfloor\) δηλώνουν το ακέραιο μέρος: τον μεγαλύτερο ακέραιο που δεν υπερβαίνει το \(x\).

🔢 Οι πρώτοι όροι

Για την καθιερωμένη ελάχιστη επιλογή της σταθεράς, που συνήθως ονομάζεται σταθερά του Mills,

\[ A\approx1{,}3063778838630806904686\ldots \]

και ο τύπος αρχίζει ως εξής:

\(n\)	\(3^n\)	\(\lfloor A^{3^n}\rfloor\)
1	3	2
2	9	11
3	27	1361
4	81	2521008887

🔐 Πώς αποδεικνύεται ότι υπάρχει τέτοια σταθερά;

Το κρίσιμο εργαλείο είναι ένα θεώρημα για τα κενά ανάμεσα σε διαδοχικούς πρώτους: για αρκετά μεγάλο \(x\), υπάρχει πρώτος ανάμεσα στο \(x^3\) και στο \((x+1)^3\).

Επιλέγουμε αναδρομικά πρώτους \(p_1,p_2,p_3,\ldots\) έτσι ώστε

\[p_n^3<p_{n+1}<(p_n+1)^3.\]

Τότε τα διαστήματα

\[ I_n=\left[p_n^{,1/3^n},(p_n+1)^{,1/3^n}\right) \]

είναι φωλιασμένα. Η κοινή τους τομή περιέχει έναν αριθμό \(A\) για τον οποίο \(\lfloor A^{3^n}\rfloor=p_n\) για κάθε \(n\). Έτσι η ύπαρξη της σταθεράς προκύπτει από την ύπαρξη πρώτων μέσα σε κατάλληλα μικρά διαστήματα.

⚠️ Γιατί δεν είναι πραγματική «γεννήτρια» πρώτων;

Για να γνωρίζουμε αρκετά ψηφία του \(A\), πρέπει ήδη να γνωρίζουμε τους πρώτους \(p_n\) που θέλουμε να εμφανίσει ο τύπος. Η πληροφορία για τους πρώτους είναι, κατά κάποιον τρόπο, κωδικοποιημένη μέσα στα δεκαδικά ψηφία της σταθεράς.

Επιπλέον, το σφάλμα μεγεθύνεται δραματικά. Αν χρησιμοποιήσουμε μια προσέγγιση \(A+\delta\), τότε περίπου

\[ (A+\delta)^{3^n}-A^{3^n} \approx3^nA^{3^n-1}\delta. \]

Καθώς το \(3^n\) αυξάνεται, ακόμη και ένα απειροελάχιστο σφάλμα μπορεί να αλλάξει το ακέραιο μέρος. Ο τύπος δεν «καταρρέει» επειδή η ακριβής σταθερά αποτυγχάνει· καταρρέει επειδή η δεκαδική της προσέγγιση δεν είναι αρκετά ακριβής.

🧠 Μια λεπτή μαθηματική παρατήρηση

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

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

🎯 Το παράδοξο της σταθεράς

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

📚

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

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

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

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