Θεώρημα του Ευκλείδη

Στην θεωρία αριθμών, το θεώρημα του Ευκλείδη είναι το θεμελειώδες θεώρημα που δηλώνει ότι υπάρχουν άπειροι πρώτοι αριθμοί. Αποδείχθηκε για πρώτη φορά από τον Ευκλείδη στο έργο του Στοιχεία. Έκτοτε έχουν δημοσιευθεί πολλές αποδείξεις για το θεώρημα.

 Η απόδειξη του Ευκλείδη 

Ο Ευκλείδης έδωσε την παρακάτω απόδειξη στο έργο του Στοιχεία (Βιβλίο IX, Πρόταση 20),

Στην αρχική απόδειξη, καθώς ο Ευκλείδης δεν είχε κανένα τρόπο να γράφει μια αυθαίρετη λίστα των πρώτων, χρησιμοποίησε μια μέθοδο που εφάρμοζε συχνά, δηλαδή τη μέθοδο του γενικευμένου παραδείγματος. Δηλαδή, επιλέγει μόνο τρεις πρώτους και χρησιμοποιώντας τη γενική μέθοδο που περιγράφεται παραπάνω, αποδεικνύει ότι μπορεί πάντα να βρει ένα επιπλέον πρώτο. Ο Eυκλείδης υποθέτει πιθανώς, ότι οι αναγνώστες του είναι πεπεισμένοι, ότι μια παρόμοια απόδειξη θα λειτουργήσει, ανεξάρτητα από το πόσοι πρώτοι αρχικά επιλέγονται.

Για τον Ευκλείδη συχνά αναφέρεται εσφαλμένα, ότι έχει αποδείξει αυτό το αποτέλεσμα με απαγωγή σε άτοπο, ξεκινώντας από την υπόθεση, ότι το πεπερασμένο σύνολο που εξετάστηκε αρχικά, περιέχει όλους τους πρώτους αριθμούς,Michael Hardy and Catherine Woodgold, "Prime Simplicity", Mathematical Intelligencer, volume 31, number 4, fall 2009, pages 44–52. αν και στην πραγματικότητα είναι μια απόδειξη με περιπτώσεις, μια μέθοδος ευθείας απόδειξης. Ο φιλόσοφος Torkel Franzén σε ένα βιβλίο σχετικά με τη λογική δηλώνει, ότι "η απόδειξη του Eυκλείδη, ότι υπάρχουν άπειροι πολλοί πρώτοι, δεν αποτελεί έμμεση απόδειξη [...]. Το επιχείρημα μερικές φορές διατυπώνεται ως έμμεση απόδειξη, αντικαθιστώντας το με την υπόθεση «Ας υποθέσουμε ότι οι  είναι όλοι οι πρώτοι». Ωστόσο, δεδομένου ότι αυτή η υπόθεση δεν χρησιμοποιείται καν στην απόδειξη, η αναδιατύπωση είναι άσκοπη." 

 Παραλλαγές 
Υπάρχουν αρκετές παραλλαγές στην απόδειξη του Eυκλείδη, όπως είναι η εξής:

Άλλες αποδείξεις
 Η απόδειξη του Όιλερ 
Μια άλλη απόδειξη από τον Ελβετό μαθηματικό Λέοναρντ Όιλερ βασίζεται στο θεμελιώδες θεώρημα της αριθμητικής: ότι κάθε ακέραιος έχει μία μοναδική ανάλυση σε πρώτους παράγοντες. 

 Η απόδειξη των Μπέρτραντ – Τσεμπισιόφ 
Στη θεωρία αριθμών, το αίτημα του Bertrand είναι ένα θεώρημα, που δηλώνει, ότι για οποιονδήποτε ακέραιο  υπάρχει πάντα τουλάχιστον ένας πρώτος αριθμός, έτσι ώστε



Το θεώρημα Μπέρτραντ-Τσεμπύσεφ μπορεί επίσης να δηλωθεί ως σχέση με , όπου  είναι η συνάρτηση μέτρησης πρώτων (πλήθος των πρώτων αριθμών μικρότερων ή ίσων με ):

 , για όλα .

Διατυπώθηκε ως εικασία για πρώτη φορά το 1845 από τον Γιόζεφ Μπέρτραντ. (1822–1900). Ο ίδιος ο Μπέρτραντ επαλήθευσε τη δήλωσή του για όλους τους αριθμούς στο διάστημα  Η εικασία του αποδείχθηκε πλήρως από τον Τσεμπύσεφ (1821–1894) το 1852 . (Proof of the postulate: 371-382). Also see Mémoires de l'Académie Impériale des Sciences de St. Pétersbourg, vol. 7, pp.15-33, 1854 και έτσι η πρόταση ονομάζεται θεώρημα Μπέρτραντ–Τσεμπισιόφ ή θεώρημα Τσεμπισιόφ.

 Η απόδειξη του Έρντος 
Ο Πολ Έρντος έδωσε μια απόδειξη , που επίσης βασίζεται στο θεμελιώδες θεώρημα της αριθμητικής. Κάθε θετικός ακέραιος έχει μια μοναδική ανάλυση ως το γινόμενο , όπου  ένας ακέραιος ελεύθερος τετραγώνου και  ένα τετράγωνο . Για παράδειγμα,  .

 Η απόδειξη του Furstenberg 
Στη δεκαετία του 1950, ο Hillel Furstenberg εισήγαγε μια απόδειξη με απαγωγή σε άτοπο, χρησιμοποιώντας τοπολογία συνόλου σημείου.

 Μερικές πρόσφατες αποδείξεις 

 Απόδειξη με χρήση της αρχής συμπερίληψης-αποκλεισμού 
Ο Χουάν Πάμπλο Πινάσκο (Juan Pablo Pinasco) δημοσίευσε το 2009 την παρακάτω απόδειξη.

 Απόδειξη χρησιμοποιώντας τον τύπο του de Polignac 
Το 2010, ο Γιούνο Πέτερ Γουάνγκ (Junho Peter Whang) δημοσίευσε την ακόλουθη απόδειξη με απαγωγή σε άτοπο. 

 Κατασκευαστική απόδειξη 
Ο Filip Saidak έδωσε την ακόλουθη κατασκευαστική απόδειξη, η οποία δεν χρησιμοποιεί απαγωγή σε άτοπο ή το Λήμμα του Ευκλείδη (ότι αν ένας πρώτος  διαιρεί το  τότε πρέπει να διαιρεί το  ή το ).

 Απόδειξη με χρήση θεωρίας πληροφοριών 
Ο Alexander Shen και άλλοι παρουσίασαν μια απόδειξη, που χρησιμοποιεί τη μη συμπίεση:

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

 Το θεώρημα του Ντίριχλετ για τις αριθμητικές προόδους 
Το θεώρημα του Ντίριχλετ δηλώνει, ότι για οποιουσδήποτε δύο θετικούς, σχετικά πρώτους μεταξύ τους, ακέραιους αριθμούς  και , υπάρχουν άπειροι πρώτοι της μορφής , όπου το  είναι θετικός ακέραιος. Δηλαδή υπάρχουν άπειροι πρώτοι, που είναι ισοϋπόλοιποι με .

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



Χρησιμοποιώντας ασυμπτωτικό συμβολισμό, αυτό το αποτέλεσμα μπορεί να επαναδιατυπωθεί ως



Αυτό δίνει το θεώρημα του Ευκλείδη, αφού 

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

 Euclid's Elements, Book IX, Prop. 20 (Euclid's proof, on David Joyce's website at Clark University)

 Σημειώσεις 

 Παραπομπές 

Κατηγορία:Σελίδες με μη επιθεωρημένες μεταφράσεις
Κατηγορία:Θεωρήματα