Αριθμός Φερμά

Στα μαθηματικά, **αριθμός Φερμά** είναι ένας φυσικός αριθμός της μορφής:

:F_{n} = 2^{(2^n)} + 1

όπου *n* είναι επίσης φυσικός αριθμός. Οι αριθμοί Φερμά πήραν το όνομά τους από τον Πιερ ντε Φερμά, ο οποίος ήταν ο πρώτος που μελέτησε τους αριθμούς αυτούς. Οι αρχικοί αριθμοί Φερμά είναι:
: 3, 5, 17, 257, 65.537, 4.294.967.297, 18.446.744.073.709.551.617, … .

Αν ο 2*k* + 1 είναι πρώτος, και το *k* > 0, μπορεί να αποδειχθεί ότι ο *k* πρέπει να είναι δύναμη του δύο. (Αν *k* = *ab* όπου 1 ≤ *a*, *b* ≤ *k* και *b* είναι περιττός, τότε 2*k* + 1 = (2*a*)*b* + 1 ≡ (&minus;1)*b* + 1 = 0 (**mod** 2*a* + 1). Βλέπε κατωτέρω την πλήρη απόδειξη.) Με άλλα λόγια, κάθε πρώτος της μορφής 2*k* + 1 (εκτός του 2 = 20 + 1) είναι ένας αριθμός Φερμά και αντί του πρώτος ονομάζεται **πρώτος Φερμά**. Από το 2015, οι μόνοι γνωστοί πρώτοι αριθμοί Φερμά είναι οι *F*0, *F*1, *F*2, *F*3 και *F*4 .

## Βασικές ιδιότητες
Οι αριθμοί Φερμά πληρούν τις ακόλουθες αναδρομικές σχέσεις:

:
F_{n} = (F_{n-1}-1)^{2}+1\!

για *n* ≥ 1,

:
F_{n} = F_{n-1} + 2^{2^{n-1}}F_{0} \cdots F_{n-2}\!

:
F_{n} = F_{n-1}^2 - 2(F_{n-2}-1)^2\!

:
F_{n} = F_{0} \cdots F_{n-1} + 2\!

για *n* ≥ 2.

Κάθε μία από αυτές τις σχέσεις μπορεί να αποδειχθεί με μαθηματική επαγωγή. Από την τελευταία εξίσωση, μπορούμε να συμπεράνουμε το **Θεώρημα του Γκόλντμπαχ** (που πήρε το όνομά του από τον Κρίστιαν Γκόλντμπαχ), σύμφωνα με το οποίο δεν υπάρχουν δύο αριθμοί Φερμά που μοιράζονται έναν κοινό ακέραιο παράγοντα μεγαλύτερο από τον 1. Για να το δούμε αυτό, ας υποθέσουμε ότι 0 ≤ *i* *i* και *F**j* έχουν ένα κοινό παράγοντα *a* > 1. Τότε το *a* τους διαιρεί και τους δύο:

:F_{0} \cdots F_{j-1}

και *F**j*, ως εκ τούτου, ο *a* διαιρεί τη διαφορά τους, που είναι ίση με 2. Δεδομένου ότι το *a* > 1, πρέπει αναγκαστικά το *a* = 2 και αυτό είναι μια αντίφαση, διότι κάθε αριθμός Φερμά είναι σαφώς περιττός. Ως επιστέγασμα, παίρνουμε μια άλλη απόδειξη για το άπειρο πλήθος των πρώτων αριθμών, σύμφωνα με την οποία για κάθε *F**n*, επιλέγουμε έναν πρώτο παράγοντα *p**n*, και τότε η ακολουθία {*p**n*} είναι μια άπειρη ακολουθία διακριτών πρώτων αριθμών.

Περαιτέρω ιδιότητες:

* Ένας πρώτος Φερμά δεν μπορεί να εκφραστεί ως διαφορά δύο *p*-οστών δυνάμεων, όταν ο *p* είναι πρώτος και περιττός.
* Με εξαίρεση τους *F<sub>0</sub>* και *F<sub>1</sub>*, το τελευταίο ψηφίο ενός αριθμού Φερμά είναι 7.
* Το άθροισμα των αντίστροφων όλων των αριθμών Φερμά  είναι άρρητος αριθμός.

## Ψευδοπρώτοι και αριθμοί Φερμά
Όπως και οι σύνθετοι αριθμοί της μορφής 2*p* − 1, έτσι και ο κάθε σύνθετος αριθμός Φερμά είναι ένας ισχυρός ψευδοπρώτος με βάση το 2. Αυτό συμβαίνει επειδή όλοι οι ισχυροί ψευδοπρώτοι με βάση το 2 είναι και ψευδοπρώτοι Φερμά, δηλαδή:

:2^{F_n-1} \equiv 1 \pmod{F_n}\,\!

για όλους τους αριθμούς Φερμά.

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

## Εικασία του Σέλφριτζ
Ο Τζον Λ. Σέλφριτζ έκανε μια ενδιαφέρουσα εικασία. Έστω ότι *g*(*n*) είναι το πλήθος των διακριτών πρώτων παραγόντων του  . Τότε, η *g*(*n*) δεν είναι μονότονη (μη φθίνουσα) και αν υπάρχει κάποιος ακόμα πρώτος Φερμά, η εικασία θα συνεπάγεται.

## Άλλα θεωρήματα σχετικά με τους αριθμούς Φερμά
**Λήμμα: Αν ''n'' είναι ένας θετικός ακέραιος αριθμός, τότε**

:a^n-b^n=(a-b)\sum_{k=0}^{n-1} a^kb^{n-1-k}.

*Απόδειξη:*

:(a-b)\sum_{k=0}^{n-1}a^kb^{n-1-k}

:=\sum_{k=0}^{n-1}a^{k+1}b^{n-1-k}-\sum_{k=0}^{n-1}a^kb^{n-k}

:=a^n+\sum_{k=1}^{n-1}a^kb^{n-k}-\sum_{k=1}^{n-1}a^kb^{n-k}-b^n

:=a^n-b^n.

**Θεώρημα: Αν ο <math>2^k+1</math> είναι περιττός πρώτος, τότε ο <math>k</math> είναι δύναμη του 2.**

*Απόδειξη:*

Αν k είναι ένας θετικός ακέραιος αριθμός αλλά όχι δύναμη του 2, τότε k= rs όπου
1 \le r , 1  και οι r και s είναι σχετικά πρώτοι. Άνευ βλάβης της γενικότητας πρέπει ο s να είναι περιττός.

Σύμφωνα με το προηγούμενο λήμμα, για θετικό ακέραιο m,

:(a-b) \mid (a^m-b^m)

όπου το σύμβολο  \mid  σημαίνει μια «άρτια διαίρεση».

Αντικαθιστώντας a = 2^r, b = -1 και m = s κάνοντας χρήση του  s  ως περιττό αριθμό,

: (2^r+1) \mid (2^{rs}+1), 
και ετσι
: (2^r+1) \mid (2^k+1). 

Δεδομένου του 1 , προκύπτει ότι ο 2^k+1 δεν είναι πρώτος. Ως εκ τούτου, με αντιδιαστολή ο k πρέπει να είναι δύναμη του 2.

## Σχέση με τα κατασκευάσιμα πολύγωνα
Ένα κανονικό πολύγωνο με *n* πλευρές μπορεί να κατασκευαστεί με κανόνα και διαβήτη αν και μόνον αν ο *n* είναι γινόμενο μιας δύναμης του 2 ή διακριτός πρώτος Φερμά. Με άλλα λόγια, αν και μόνο αν ο *n* είναι της μορφής *n* = 2*k**p*1*p*2…*p**s*, όπου ο *k* είναι ένας μη αρνητικός ακέραιος αριθμός και οι *p**i* είναι διακριτοί πρώτοι Φερμά.

Ένας θετικός ακέραιος *n* είναι της παραπάνω μορφής αν και μόνον αν η τιμή φ(*n*) είναι δύναμη του 2.

## Εφαρμογές των αριθμών Φερμά

### Δημιουργία ψευδοτυχαίων αριθμών
Οι πρώτοι Φερμά είναι ιδιαίτερα χρήσιμοι στη δημιουργία ψευδοτυχαίων ακολουθιών αριθμών σε πεδία 1 ... *Ν*, όπου το *N* είναι μία δύναμη του 2. Η πιο κοινή μέθοδος που χρησιμοποιείται είναι να λάβει οποιαδήποτε αρχική τιμή μεταξύ 1 και *P*&nbsp;−&nbsp;1, όπου το *P* είναι ένας πρώτος Φερμά, και στη συνέχεια πολλαπλασιάζοντας τον με έναν αριθμό *A*, ο οποίος είναι μεγαλύτερος από την τετραγωνική ρίζα του *P* και είναι μια πρωτογενής ρίζα του υπολοίπου του *P* (δηλαδή, δεν είναι υπόλοιπο τετραγώνου). Έτσι, παίρνουμε το αποτέλεσμα του υπολοίπου του *P*, το οποίο είναι η επόμενη τιμή του αλγορίθμου για τη δημιουργία ψευδοτυχαίων αριθμών.
:V_{j+1} = \left( A \times V_j \right) \bmod P&nbsp; &nbsp;(βλ. Γραμμική συμβατική γεννήτρια, RANDU)

Αυτό είναι χρήσιμο στην επιστήμη των υπολογιστών δεδομένου ότι οι περισσότερες δομές δεδομένων έχουν μέλη με 2*X* δυνατές τιμές. Για παράδειγμα, ένα byte έχει 256 = 28 πιθανές τιμές (0–255). Ως εκ τούτου, για να γεμίσει ένα byte ή bytes με τυχαίες τιμές, μπορεί να χρησιμοποιηθεί μια γεννήτρια τυχαίων αριθμών που παράγει τιμές 1–256, και το byte θα λάβει τις αξίες αυτές −&nbsp;1. Για το λόγο αυτό, παρουσιάζουν ιδιαίτερο ενδιαφέρον στην κρυπτογράφηση δεδομένων οι πολύ μεγάλοι πρώτοι αριθμοί Φερμά. Αυτή η μέθοδος παράγει μόνο ψευδοτυχαίες τιμές καθώς, μετά από *P*&nbsp;−&nbsp;1 επαναλήψεις, η ακολουθία επαναλαμβάνεται. Μια κακή επιλογή πολλαπλασιαστή μπορεί να οδηγήσει στην επανάληψη της ακολουθίας νωρίτερα από τις *P*&nbsp;−&nbsp;1 επαναλήψεις.

## Άλλα ενδιαφέροντα στοιχεία
Ένας αριθμός Φερμά δεν μπορεί να είναι τέλειος αριθμός ή μέρος ενός ζεύγους φιλικών αριθμών.

Η σειρά των αντίστροφων από όλους τους πρώτους διαιρέτες των αριθμών Φερμά είναι συγκλίνουσα.

Αν *n**n* + 1 είναι πρώτος, τότε υπάρχει ακέραιος *m* τέτοιος ώστε *n*&nbsp;=&nbsp;22*m*, και τότε ισχύει η εξίσωση *n**n*&nbsp;+&nbsp;1&nbsp;= *F*(2*m*+*m*).

Έστω ότι ο μεγαλύτερος πρώτος παράγοντας του αριθμού Φερμά *F**n* είναι ο *P*(*F**n*). Τότε ισχύει *P*(*F**n*)&nbsp;≥ 2n+2(4n&nbsp;+&nbsp;9)&nbsp;+&nbsp;1.

## Γενικευμένοι αριθμοί Φερμά
Οι αριθμοί της μορφής *a*2*n* + *b*2*n* όπου *a*, *b* είναι σχετικά πρώτοι ακέραιοι και *a* > *b* > 0, ονομάζονται **γενικευμένοι αριθμοί Φερμά**. Ένας περιττός πρώτος *p* είναι ένας γενικευμένος αριθμός Φερμά αν και μόνο αν ο *p* είναι σύμφωνος στο 1 (mod 4), εδώ θεωρούμε ότι το *n* > 0, για να μην είναι αντιπαράδειγμα το 3 = *2*20 + 1.

Κατ' αναλογία με τους απλούς αριθμούς Φερμά, είναι σύνηθες να γράψουμε τους γενικευμένους αριθμούς Φερμά της μορφής *a*2*n* + 1 ως *F<sub>n</sub>*(*a*). Για παράδειγμα, με αυτή τη σημειογραφία ο αριθμός 100000001 θα γράφονταν ως *F*3(10). Ακολούθως θα πρέπει να περιοριστούμε σε πρώτους της μορφής *a*2*n* + 1.

Εάν απαιτήται το *n* > 0, τότε το τέταρτο πρόβλημα Λαντάου ρωτά εάν υπάρχουν απείρως πολλοί γενικευμένοι πρώτοι Φερμά *F<sub>n</sub>*(*a*).

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

Οι γενικευμένοι αριθμοί Φερμά μπορεί να είναι πρώτοι μόνο για άρτιο *a*, διότι αν ο *a* είναι περιττός τότε κάθε γενικευμένος αριθμός Φερμά θα διαιρείται με το 2. Ο μικρότερος πρώτος αριθμός *F<sub>n</sub>*(*a*) όπου *n* > 4 είναι ο *F<sub>5</sub>*(*30*), ή 3032+1. Εκτός αυτού, μπορούμε να ορίσουμε και «ημιγενικευμένους αριθμούς Φερμά» σε μια περιττή βάση, ένας ημιγενικευμένος αριθμός Φερμά με βάση τον περιττό *a* είναι της μορφής , επίσης θα πρέπει να υπάρχει πεπερασμένο πλήθος ημιγενικευμένων πρώτων Φερμά για κάθε περιττή βάση.

Στην παρακάτω λίστα, οι γενικευμένοι αριθμοί Φερμά *F<sub>n</sub>*(*a*), για άρτιο *a* είναι , για περιττό *a*, είναι . Εάν ο *a* είναι μια τέλεια δύναμη με περιττό εκθέτη , τότε όλοι οι γενικευμένοι αριθμοί Φερμά μπορεί να είναι πεπερασμένοι αλγεβρικά και έτσι δεν μπορεί να είναι πρώτοι. Για τον μικρότερο αριθμό *n* τέτοιο ώστε ο *F<sub>n</sub>*(*a*) να είναι πρώτος, βλ. .

Για περισσότερες πληροφορίες σχετικά με άρτιες βάσεις έως το 1000, βλέπε *jeppesn.dk*, έως το 1030, βλέπε *noprimeleftbehind.net*.

Για τον μικρότερο πρώτο της μορφής *F<sub>n</sub>*(*a*,&nbsp;*b*), όπου ο *a*&nbsp;+&nbsp;*b* είναι περττός, βλέπε την .

Για τη μικρότερη άρτια βάση του *a* τέτοιον ώστε ο *F<sub>n</sub>*(*a*) να είναι πρώτος, βλέπε την .

Η μικρότερη βάση *b* τέτοια ώστε ο *b*2*n* + 1 να είναι πρώτος, δίνει:
:2, 2, 2, 2, 2, 30, 102, 120, 278, 46, 824, 150, 1534, 30406, 67234, 70906, 48594, 62722, 24518, 75898, ... 

Ο μικρότερος *k* τέτοιος ώστε ο (2*n*)*k* + 1 να είναι πρώτος, δίνει:
:1, 1, 1, 0, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 0, 4, 1, ... (ο επόμενος όρος δεν είναι γνωστός), βλέπε την , επίσης την  και την .

Μια πιο εμπεριστατωμένη θεωρία μπορεί να χρησιμοποιηθεί για να προβλεφθεί ο αριθμός των βάσεων για τις οποίες ο *F<sub>n</sub>*(*a*) θα είναι πρώτος για πεπερασμένο αριθμό *n*. Ο αριθμός των γενικευμένων πρώτων αριθμών Φερμά χονδρικά αναμένεται να μειωθεί στο ήμισυ όταν ο *n* αυξηθεί κατά 1.

### Οι μεγαλύτεροι γνωστοί γενικευμένοι πρώτοι Φερμά
Η παρακάτω λίστα περιέχει τους 10 μεγαλύτερους γνωστούς γενικευμένους πρώτους αριθμούς Φερμά, οι οποίοι είναι όλοι μεγάλοι πρώτοι. Ανακαλύφθηκαν όλοι από τους συμμετέχοντες στην έρευνα του *PrimeGrid* και ισχύουν ως σήμερα.

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


### Βιβλιογραφία
*
*
*
* - This book contains an extensive list of references.
*
*
*
*
*

## Εξωτερικοί σύνδεσμοι
* 
* 
* 
* 
* 

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