🌿 Η Απειρία των Πρώτων Αριθμών - Μια Απόδειξη με τους Αριθμούς Fermat

🔹 Εισαγωγή

Οι αριθμοί Fermat ορίζονται ως:

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

Ο Fermat πίστευε ότι όλοι αυτοί οι αριθμοί είναι πρώτοι, αλλά ο Euler απέδειξε ότι ο \(F_5\) είναι σύνθετος — συγκεκριμένα, \(F_5=4.294.967.297=641\times6.700.417\). Παρ' όλα αυτά, οι αριθμοί Fermat παραμένουν πολύτιμοι, όπως δείχνει η κομψή απόδειξη που ακολουθεί.

🔹 Η βασική ταυτότητα

Αποδεικνύουμε πρώτα την εξής ταυτότητα, με μαθηματική επαγωγή:

\[ F_0 \cdot F_1 \cdots F_{n-1} = F_n - 2 \]

Βάση (n=1): \(F_0=3\), \(F_1=5\), άρα \(F_0=F_1-2\) ✓

Επαγωγικό βήμα: υποθέτοντας ότι ισχύει για n:

\[ F_0\cdots F_{n-1}\cdot F_n = (F_n-2)\cdot F_n = (2^{2^n}-1)(2^{2^n}+1) = 2^{2^{n+1}}-1 = F_{n+1}-2 \]

Άρα η σχέση ισχύει για κάθε φυσικό n.

🔹 Συνέπεια: ανά δύο σχετικά πρώτοι

Από την παραπάνω σχέση προκύπτει ότι κανένας αριθμός Fermat δεν έχει κοινό πρώτο παράγοντα με κάποιον προηγούμενό του.

Έστω ότι πρώτος \(p\) διαιρεί τόσο τον \(F_k\) (με \(k

🔹 Το τελικό άλμα: άπειροι πρώτοι

Κάθε αριθμός Fermat (πρώτος ή σύνθετος) εισάγει τουλάχιστον έναν νέο πρώτο παράγοντα, που δεν υπήρχε σε κανέναν προηγούμενο. Επειδή υπάρχουν άπειροι αριθμοί Fermat, οι πρώτοι παράγοντές τους σχηματίζουν ένα άπειρο σύνολο:

✅ Συνεπώς, υπάρχουν άπειροι πρώτοι αριθμοί.

Σε κανένα σημείο της απόδειξης δεν χρειάστηκε να υποθέσουμε ότι οι αριθμοί Fermat είναι οι ίδιοι πρώτοι — μόνο ότι είναι ανά δύο σχετικά πρώτοι (coprime). Αυτό είναι το κλειδί της κομψότητας της μεθόδου, και μια εναλλακτική διαδρομή προς το ίδιο συμπέρασμα με την κλασική απόδειξη του Ευκλείδη.

📜 Η πραγματική προέλευση

Παρότι η απόδειξη αυτή κυκλοφορεί συχνά χωρίς σαφή αναφορά, ανήκει στην πραγματικότητα στον μαθηματικό Christian Goldbach, ο οποίος την περιέγραψε σε επιστολή του προς τον Leonhard Euler, στις 31 Ιουλίου 1730. Θεωρείται η πρώτη γνωστή απόδειξη της απειρίας των πρώτων που διαφέρει ουσιαστικά από αυτήν του Ευκλείδη.

📚

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

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

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

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