Professional Documents
Culture Documents
Τσανακτσίδου Βασιλική
ge17128
9ο εξάμηνο
email: vasilikitsanaktsidou@gmail.com
Αθήνα, 2022
Έως το 300π.Χ., έτος στο οποίο γράφτηκαν τα «Στοιχεία» του Ευκλείδη, πολλά
αποτελέσματα για τους πρώτους αριθμούς είχαν ήδη αποδειχθεί.
Ο Ευκλείδης, στο βιβλίο ΙΧ των Στοιχείων, αποδεικνύει την απειρία των πρώτων
αριθμών. Εσκεμμένα δεν αναφέρεται στο άπειρο αλλά δηλώνει ότι οι πρώτοι αριθμοί
είναι περισσότεροι από οποιοδήποτε δεδομένο πλήθος πρώτων αριθμών.
Αν ο m είναι διαιρέτης των F k και F n για k < n, τότε ο m διαιρεί το 2 και για αυτό
m=1 ή m=2.
Είναι αδύνατο να έχουμε m=2 καθώς οι αριθμοί του Fermat είναι περιττοί
Θα αποδείξουμε τον αναδρομικό τύπο (1) με επαγωγή στο n.
Για n=1 έχουμε F 0=3 και F 1−2=3 ⟹ F1=5
Κάνοντας επαγωγή έχουμε:
n n−1
∏ Fk = ∏ Fk
k=0
( )
k=0
n n n
Ορισμός 5.
Ορίζουμε την συνάρτηση π : R → N ως π ( x ) ≔¿ { p≤ x : p ∈ P } τον αριθμό των πρώτων
αριθμών που είναι μικρότεροι ή ίσοι από τον πραγματικό αριθμό.
Άρα,
π (x)
1 p pk
log x ≤ ∏ =∏ =∏
p ∈P 1 p ∈P p−1 k=1 p k −1
p≤ x
1− p≤x
p
pk 1 1 k +1
Προφανώς ισχύει pk ≥ k +1 και άρα =1+ ≤ 1+ =
p k −1 p k −1 k k
Επομένως, έχουμε:
π ( x)
k +1
logx ≤ ∏ =π ( x ) +1
k=1 k
Κάθε σύνολο N a , b είναι άπειρη αριθμητική πρόοδος που επεκτείνεται σε θετικούς και
αρνητικούς αριθμούς.
Έστω O ⊆ Z ανοικτό αν είτε Ο=∅ ή αν ∀ a ∈O ∃b> 0 με N a , b ⊆ O
Η ένωση των ανοικτών συνόλων είναι ανοικτό σύνολο.
Αν Ο 1 ,Ο2 ανοικτά, a ∈O1 ∩O 2 με N a , b ⊆ O 1 και N a , b ⊆ O2
1 2
τότε a ∈ N a ,b b ⊆ O 1 ∩O 2
1 2
Για το 2. έχουμε:
N a , b=Z ¿ i=1 ¿ b−1 N a +i ,b
Αφού, κάθε n ≠ 1 ,−1 έχει έναν πρώτο διαιρέτη p και άρα περιέχεται στο N 0 , p
Για το N b
N
Το ακέραιο μέρος [ ]
pi
μετράει τους θετικούς ακεραίους n ≤ N που είναι
πολλαπλάσια του pi
Από την (1) θα έχουμε:
N N
Nb ≤ ∑
i ≥ k+1
[ ]
< (2)
pi 2
Για το N s
Κάθε n ≤ N που έχει διαιρέτες μόνο από τους p1 , p2 , … , p k θα γράφεται
n=an b2n , an ελεύθερο από τετράγωνα μέρος
Το a n είναι γινόμενο από διαφορετικούς πρώτους p1 , p2 , … p k
Υπάρχουν ακριβώς 2k διαφορετικά μέρη ελεύθερα από τετράγωνα
Αφού,b n ≤ √ n≤ √ N, άρα N s ≤ 2k √ N
Απόδειξη Θεωρήματος 3.