Αριθμοί Fermat

Οι Αριθμοί Φερμά: Μια Διαχρονική Μαθηματική Περιπέτεια

3

F₀

n=0

5

F₁

n=1

17

F₂

n=2

257

F₃

n=3

65537

F₄

n=4

Οι πέντε πρώτοι αριθμοί Φερμά (F₀ έως F₄) - Οι μόνοι γνωστοί πρώτοι της ακολουθίας

Υπάρχουν ακολουθίες αριθμών που μοιάζουν αθώες, κι όμως κρύβουν μέσα τους μυστικά αιώνων. Μια τέτοια περίπτωση είναι οι αριθμοί 3, 5, 17, 257 και 65537. Με μια πρώτη ματιά μοιάζουν με τυχαίους περιττούς αριθμούς. Στην πραγματικότητα, αποτελούν την αρχή μιας από τις πιο γοητευτικές ιστορίες στα μαθηματικά: την ιστορία των αριθμών Φερμά.

Τι ακριβώς είναι οι αριθμοί Φερμά;

Ο ορισμός τους είναι απλός, αλλά η δύναμή τους τεράστια. Για κάθε μη αρνητικό ακέραιο n, ο αριθμός Φερμά F_n δίνεται από τον τύπο:

F_n = 2²ⁿ + 1

Ας δούμε πώς ξετυλίγεται αυτή η φαινομενικά αθώα εξίσωση:

• F₀ = 2^2⁰ + 1 = 2¹ + 1 = 3
• F₁ = 2^2¹ + 1 = 2² + 1 = 5
• F₂ = 2^2² + 1 = 2⁴ + 1 = 17
• F₃ = 2^2³ + 1 = 2⁸ + 1 = 257
• F₄ = 2^2⁴ + 1 = 2¹⁶ + 1 = 65537

Αυτό που κάνει αυτή την ακολουθία εντυπωσιακή είναι ο ρυθμός με τον οποίο μεγαλώνει. Ο επόμενος, ο F₅, εκτοξεύεται στο 4.294.967.297. Αν κοιτάξει κανείς αυτούς τους αριθμούς στο δυαδικό σύστημα, ανακαλύπτει μια κρυμμένη συμμετρία: ξεκινούν και τελειώνουν με άσσους, ενώ ενδιάμεσα υπάρχει μόνο μια θάλασσα από μηδενικά. Το 5 γίνεται 101₂, το 17 γίνεται 10001₂, και το 257 γίνεται 100000001₂.

Η λάμψη και η πτώση μιας μεγάλης εικασίας

Τη δεκαετία του 1640, ο Πιέρ ντε Φερμά, ένας από τους σπουδαιότερους μαθηματικούς της εποχής του, μελετούσε αυτούς τους αριθμούς. Βλέποντας ότι οι πέντε πρώτοι (n=0 έως 4) ήταν όλοι πρώτοι αριθμοί, διατύπωσε με βεβαιότητα την εικασία του: όλοι οι αριθμοί της μορφής 2^2ⁿ+1 είναι πρώτοι. Ήταν τόσο σίγουρος για την ανακάλυψή του που την ανέφερε σε επιστολές του ως ένα από τα θαύματα των αριθμών.

Η παρέμβαση του Όιλερ

Για σχεδόν εκατό χρόνια, η εικασία του Φερμά έμοιαζε αληθινή. Μέχρι που το 1732, ένας νεαρός Λέοναρντ Όιλερ αποφάσισε να τη δοκιμάσει. Ο Όιλερ, με τη μαθηματική του οξυδέρκεια, ανακάλυψε ότι ο F₅ δεν είναι πρώτος αριθμός. Είναι σύνθετος. Συγκεκριμένα, απέδειξε ότι:

F₅ = 4.294.967.297 = 641 × 6.700.417

Πώς το κατάφερε; Ο Όιλερ σκέφτηκε έξυπνα. Απέδειξε ότι κάθε διαιρέτης ενός αριθμού Φερμά F_n (για n>2) πρέπει να έχει τη μορφή k × 2ⁿ⁺¹ + 1. Για τον F₅, αυτό σήμαινε διαιρέτες της μορφής 128k + 1. Δοκιμάζοντας μικρές τιμές για το k, βρήκε ότι για k=5, ο αριθμός 641 πληροί την προϋπόθεση και διαιρεί ακριβώς τον F₅. Η εικασία είχε πέσει.

Οι αριθμοί Φερμά σήμερα: ένα ανοιχτό βιβλίο

Η ανακάλυψη του Όιλερ δεν σταμάτησε την έρευνα. Αντιθέτως, τη γιγάντωσε. Από τον F₅ και μετά, κανένας άλλος αριθμός Φερμά δεν έχει βρεθεί να είναι πρώτος. Σήμερα γνωρίζουμε ότι οι αριθμοί από F₅ έως F₃₂ είναι όλοι σύνθετοι. Αυτό όμως δεν σημαίνει ότι τους έχουμε λύσει όλους.

Τα μυστήρια που παραμένουν

Η πλήρης παραγοντοποίηση (η εύρεση όλων των πρώτων παραγόντων) είναι εξαιρετικά δύσκολη υπόθεση. Γνωρίζουμε όλους τους παράγοντες μόνο για τα F₅ έως F₁₁. Για μεγαλύτερους αριθμούς, όπως ο F₂₀, δεν γνωρίζουμε ούτε έναν πρώτο παράγοντα. Τα ερωτήματα που παραμένουν ανοιχτά είναι συναρπαστικά:

• Είναι όλοι οι αριθμοί Φερμά για n>4 σύνθετοι;
• Υπάρχουν άπειροι πρώτοι αριθμοί Φερμά;
• Υπάρχουν άπειροι σύνθετοι αριθμοί Φερμά;

Οι στατιστικές αναλύσεις κάνουν τους μαθηματικούς να πιστεύουν ότι είναι εξαιρετικά απίθανο να υπάρχει άλλος πρώτος Φερμά. Μάλιστα, σύγχρονες αναλύσεις εκτιμούν την πιθανότητα ύπαρξης άλλου πρώτου Φερμά σε λιγότερο από 1 προς 1 δισεκατομμύριο.

Το τεστ των Πεπέν: μια κομψή λύση

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

Το τεστ λέει ότι για n>0, ο αριθμός F_n είναι πρώτος αν και μόνο αν ισχύει η εξής συνθήκη:

3^(F_n-1)/2 ≡ -1 (mod F_n)

Με απλά λόγια, αν υψώσουμε το 3 σε μια τεράστια δύναμη και το υπόλοιπο της διαίρεσης με τον F_n είναι ίσο με F_n-1 (δηλαδή -1), τότε ο F_n είναι πρώτος. Το τεστ αυτό έχει επιβεβαιώσει ότι όλοι οι F_n για n=5 έως 32 είναι σύνθετοι.

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

Η πραγματική λάμψη των αριθμών Φερμά, ωστόσο, ήρθε από τον Καρλ Φρίντριχ Γκάους. Σε ηλικία μόλις 19 ετών, ανακάλυψε μια εκπληκτική σύνδεση ανάμεσα σε αυτούς τους αριθμούς και την αρχαία γεωμετρία.

Το θεώρημα Gauss-Wantzel

Ο Γκάους απέδειξε ότι ένα κανονικό πολύγωνο με Ν πλευρές μπορεί να κατασκευαστεί με κανόνα και διαβήτη (χωρίς μετρήσεις) μόνο εάν το Ν είναι γινόμενο μιας δύναμης του 2 και οποιουδήποτε αριθμού διακριτών πρώτων αριθμών Φερμά.

Αυτό το θεώρημα εξηγεί γιατί οι αρχαίοι Έλληνες μπορούσαν να κατασκευάσουν το κανονικό πεντάγωνο (5, πρώτος Φερμά), αλλά όχι το κανονικό επτάγωνο (7, δεν είναι πρώτος Φερμά). Ο ίδιος ο Γκάους ενθουσιάστηκε τόσο πολύ με την ανακάλυψη ότι μπορούσε να κατασκευαστεί το κανονικό 17-γωνο, που αποφάσισε να αφιερώσει τη ζωή του στα μαθηματικά.

Η σύγχρονη αναζήτηση

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

Το 2020, ανακαλύφθηκε ότι ο γιγαντιαίος αριθμός F_18233954 είναι σύνθετος. Ο διαιρέτης του που βρέθηκε, ο πρώτος αριθμός 7 × 2^18233956 + 1, είναι από μόνος του ένα μαθηματικό τέρας. Για να καταλάβουμε το μέγεθος, το 2003 βρέθηκε ένας διαιρέτης του F_2145351 που αν γραφόταν σε χαρτί, η σελίδα που θα χρειαζόμασταν θα είχε μήκος που ξεπερνά τα 10 εκατομμύρια έτη φωτός.

Επίλογος

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