🔢 Οι Αριθμοί Fermat: Μια Εικασία που Κατέρρευσε στο Πέμπτο Βήμα

Μια Εικασία • Ένας Παράγοντας • Ένα Ανοιχτό Πρόβλημα

🔢 Οι αριθμοί Fermat

Πέντε διαδοχικοί πρώτοι αριθμοί έπεισαν τον Fermat ότι είχε ανακαλύψει έναν αλάνθαστο τύπο. Ο έκτος αριθμός είχε διαφορετική γνώμη.

✨ Ένας τύπος που φαινόταν τέλειος

Το 1640, σε επιστολές προς τους μαθηματικούς αλληλογράφους του, ο Pierre de Fermat παρατήρησε μια εντυπωσιακή ακολουθία. Οι αριθμοί που σήμερα φέρουν το όνομά του ορίζονται από τον τύπο:

\[ F_n=2^{2^n}+1, \qquad n=0,1,2,\ldots \]

Οι πέντε πρώτες τιμές είναι πράγματι πρώτοι αριθμοί:

F₀
3

F₁
5

F₂
17

F₃
257

F₄
65.537

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

🚀 Αριθμοί που μεγαλώνουν ασύλληπτα γρήγορα

Η διπλή εκθετική δύναμη (2^{2^n}) κάνει την ακολουθία να εκτοξεύεται. Το (F_4) έχει μόλις πέντε ψηφία, αλλά το επόμενο μέλος είναι:

\[F_5=2^{32}+1=4.294.967.297\]

Το (F_6=2^{64}+1) έχει ήδη 20 ψηφία. Γενικά, το πλήθος των ψηφίων του (F_n) είναι περίπου (2^n\log_{10}2+1). Κάθε αύξηση του δείκτη σχεδόν διπλασιάζει το πλήθος των ψηφίων, γι’ αυτό η άμεση παραγοντοποίηση γίνεται γρήγορα εξαιρετικά δύσκολη.

⚡ Ο Euler βρίσκει τη ρωγμή

Το 1732, σχεδόν έναν αιώνα μετά την εικασία, ο Leonhard Euler απέδειξε ότι το (F_5) δεν είναι πρώτος. Βρήκε ότι διαιρείται ακριβώς με το 641:

\[4.294.967.297=641\times6.700.417\]

Η διαιρετότητα μπορεί να φανεί με ένα κομψό παιχνίδι υπολοίπων. Παρατηρούμε ότι:

\[641=5\cdot2^7+1 \qquad \text{και} \qquad 641=5^4+2^4\]

Άρα, modulo 641, έχουμε (5cdot2^7\equiv-1). Υψώνοντας στην τέταρτη δύναμη παίρνουμε (5^4 2^{28}\equiv1). Από τη δεύτερη ισότητα έχουμε (5^4\equiv-2^4). Συνδυάζοντάς τες:

\[-2^{32}\equiv1\pmod{641}\quad\Longrightarrow\quad 2^{32}+1\equiv0\pmod{641}\]

Ένας παράγοντας μόλις τριών ψηφίων ήταν αρκετός για να καταρρεύσει μια εικασία που είχε επιβιώσει επί δεκαετίες.

❓ Τι γνωρίζουμε σήμερα;

Οι μόνοι γνωστοί πρώτοι αριθμοί Fermat παραμένουν οι:

3, 5, 17, 257, 65.537

Όλα τα μέλη από το (F_5) έως τουλάχιστον το (F_{32}) είναι γνωστό ότι είναι σύνθετα, όπως και πολλά πολύ μεγαλύτερα μέλη. Σε αρκετές περιπτώσεις γνωρίζουμε μόνο έναν παράγοντα — αρκετό για να αποδειχθεί ότι ο αριθμός είναι σύνθετος — χωρίς να γνωρίζουμε την πλήρη παραγοντοποίησή του.

Δεν έχει βρεθεί κανένας νέος πρώτος Fermat μετά το (F_4). Αυτό όμως δεν αποτελεί απόδειξη ότι δεν υπάρχει άλλος. Το αν υπάρχουν επιπλέον πρώτοι αριθμοί Fermat —ή αν οι πέντε γνωστοί είναι οι μοναδικοί— παραμένει ανοικτό πρόβλημα.

📐 Η απρόσμενη σύνδεση με τη γεωμετρία

Οι αριθμοί Fermat δεν είναι απλώς μια αποτυχημένη εικασία. Παίζουν κεντρικό ρόλο στην κατασκευή κανονικών πολυγώνων. Το θεώρημα Gauss–Wantzel δηλώνει ότι ένα κανονικό (N)-γωνο κατασκευάζεται με κανόνα και διαβήτη ακριβώς όταν:

\[N=2^k p_1p_2\cdots p_r\]

όπου τα (p_1,ldots,p_r) είναι διαφορετικοί πρώτοι Fermat. Γι’ αυτό το κανονικό 17-γωνο μπορεί να κατασκευαστεί με κανόνα και διαβήτη: το 17 είναι ο αριθμός (F_2).

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

💡 Το μάθημα της εικασίας

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

Ένα μόνο αντιπαράδειγμα αρκεί για να καταρρεύσει ένας καθολικός ισχυρισμός.

📚

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

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

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

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