🔢 Η Άλλη Εικασία του Goldbach - Το Μυστήριο που Κράτησε 100 Χρόνια

🔢 Μια Εικασία που Έζησε και Πέθανε

Όλοι γνωρίζουν την εικασία του Goldbach: ότι κάθε άρτιος αριθμός μεγαλύτερος του 2 είναι άθροισμα δύο πρώτων. Είναι ένα από τα παλαιότερα και πιο διάσημα άλυτα προβλήματα των μαθηματικών.

Αλλά υπάρχει και μια άλλη εικασία του Goldbach — λιγότερο γνωστή, εξίσου συναρπαστική, και αποδείχθηκε ψευδής μετά από έναν αιώνα, αφήνοντας πίσω της ένα μυστήριο που παραμένει άλυτο ακόμα και σήμερα. Η ιστορία ξεκινά το 1752, όταν ο Goldbach έστειλε μια επιστολή στον Euler.

📜 Η Επιστολή του 1752

Στις 18 Νοεμβρίου 1752, ο Goldbach έγραψε στον Euler μια επιστολή που περιείχε μια νέα εικασία:

📌 Η «Άλλη» Εικασία του Goldbach: Κάθε περιττός αριθμός μπορεί να γραφτεί ως το άθροισμα του διπλάσιου ενός τετραγώνου και ενός πρώτου αριθμού:

\[ n = 2a^2 + p \]

(όπου \(a\) μη αρνητικός ακέραιος και \(p\) πρώτος ή 1)

Μερικά παραδείγματα, που επαληθεύσαμε:

\[ 9=2\cdot1^2+7,\quad 15=2\cdot1^2+13,\quad 29=2\cdot3^2+11,\quad 51=2\cdot5^2+1,\quad 87=2\cdot5^2+37 \]

Ο Euler ενδιαφέρθηκε αμέσως. Μέσα σε έναν μήνα, είχε επαληθεύσει την εικασία μέχρι το 1000. Λίγους μήνες αργότερα, είχε φτάσει μέχρι το 2500. Η εικασία φαινόταν αληθινή.

💥 Η Κατάρριψη — Το Έργο του Stern

Πέρασε περισσότερος από ένας αιώνας. Το 1856, ο Γερμανός μαθηματικός Moritz Abraham Stern αποφάσισε να ελέγξει την εικασία πιο συστηματικά — πιθανότατα, σύμφωνα με τον ιστορικό Laurent Hodges, αφού διάβασε μια συλλογή της αλληλογραφίας του Goldbach. Με τη βοήθεια των μαθητών του, έφτασε μέχρι το 9000, και εκεί βρήκε δύο αριθμούς που δεν μπορούσαν να γραφτούν με αυτόν τον τρόπο:

\[ 5777 \quad \text{και} \quad 5993 \]

Δύο αντιπαραδείγματα, που επαληθεύσαμε ανεξάρτητα — κατέρριψαν μια εικασία που είχε κρατήσει πάνω από 100 χρόνια.

🔢 Οι Πρώτοι Stern — Το Μυστήριο Συνεχίζεται

Οι αριθμοί που δεν μπορούν να γραφτούν ως \(2a^2+p\) ονομάζονται αριθμοί Stern. Ένας πρώτος αριθμός Stern είναι, επιπλέον, ένας πρώτος \(q\) για τον οποίο δεν υπάρχει κανένας μικρότερος πρώτος \(p\) και μη μηδενικός ακέραιος \(b\) τέτοιοι ώστε \(q=2b^2+p\). Επαληθεύσαμε υπολογιστικά ότι οι πρώτοι πρώτοι Stern είναι ακριβώς:

\[ 2,\ 3,\ 17,\ 137,\ 227,\ 977,\ 1187,\ 1493 \]

Το 5777 και το 5993 δεν είναι πρώτοι (επομένως δεν είναι πρώτοι Stern), αλλά είναι τα μόνα γνωστά σύνθετα αντιπαραδείγματα στην εικασία.

❓ Το Άλυτο Ερώτημα: Υπάρχουν άπειροι πρώτοι Stern, ή μόνο πεπερασμένοι; Αν υπάρχει κάποιος άλλος, πρέπει να είναι μεγαλύτερος από \(2\times10^{13}\).

Η γενική πεποίθηση είναι ότι υπάρχει πεπερασμένος αριθμός πρώτων Stern — αλλά αυτό δεν έχει αποδειχθεί.

🧠 Το Μάθημα — Η Δύναμη των Αντιπαραδειγμάτων

Η «άλλη» εικασία του Goldbach είναι μια ιστορία για τη δύναμη των αντιπαραδειγμάτων: ένα μόνο αντιπαράδειγμα αρκεί για να γκρεμίσει μια εικασία που φαινόταν αληθινή για χιλιάδες αριθμούς. Στα μαθηματικά, η επαλήθευση ενός πεπερασμένου αριθμού περιπτώσεων δεν αποδεικνύει τίποτα — χρειάζεται πλήρης απόδειξη.

Οι αριθμοί Stern είναι ακόμα εκεί έξω, κρυμμένοι στο άπειρο, περιμένοντας κάποιον να αποδείξει —ή να διαψεύσει— ότι είναι πεπερασμένοι.

📚

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

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

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

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