🔢 Πρώτοι αριθμοί σε αριθμητικές προόδους — Από τον Ευκλείδη στο Θεώρημα του Dirichlet

Από την εποχή του Ευκλείδη γνωρίζουμε ότι υπάρχουν άπειροι πρώτοι αριθμοί. Ένα φυσικό επόμενο ερώτημα είναι πολύ πιο λεπτό:

Τι συμβαίνει αν αναζητήσουμε πρώτους μόνο μέσα σε μια συγκεκριμένη αριθμητική πρόοδο;

Ας θεωρήσουμε την πρόοδο

\[ a,\quad a+b,\quad a+2b,\quad a+3b,\quad\ldots \]

ή, ισοδύναμα, τους αριθμούς της μορφής

\[ a+nb. \]

Πότε μπορούμε να είμαστε βέβαιοι ότι ανάμεσά τους εμφανίζονται άπειροι πρώτοι;

1️⃣ Μια πρώτη περίπτωση: οι πρώτοι της μορφής \(4n+1\)

Πριν φτάσουμε στο γενικό αποτέλεσμα, μπορούμε να δούμε μια χαρακτηριστική ειδική περίπτωση.

Υπάρχουν άπειροι πρώτοι αριθμοί της μορφής

\[ \boxed{4n+1}. \]

Ας υποθέσουμε, αντίθετα, ότι υπάρχουν μόνο πεπερασμένοι:

\[ p_1,p_2,\ldots,p_m. \]

Θεωρούμε τότε τον αριθμό

\[ N=(2p_1p_2\cdots p_m)^2+1. \]

Έστω \(q\) ένας πρώτος διαιρέτης του \(N\). Τότε

\[ (2p_1p_2\cdots p_m)^2\equiv -1\pmod q. \]

Αν \(a=2p_1p_2\cdots p_m\), έχουμε

\[ a^2\equiv-1\pmod q \]

και επομένως

\[ a^4\equiv1\pmod q. \]

Η τάξη του \(a\) modulo \(q\) είναι λοιπόν \(4\), άρα το \(4\) διαιρεί το \(q-1\). Συνεπώς

\[ q\equiv1\pmod4. \]

Όμως κανένας από τους \(p_1,\ldots,p_m\) δεν διαιρεί τον \(N\), αφού

\[ N\equiv1\pmod{p_i}. \]

Άρα εμφανίζεται ένας νέος πρώτος της μορφής \(4n+1\), έξω από την υποτιθέμενη πλήρη λίστα μας — αντίφαση.

Επομένως υπάρχουν άπειροι πρώτοι της μορφής \(4n+1\).

2️⃣ Θεώρημα του Bézout

Ένα από τα βασικά εργαλεία της Θεωρίας Αριθμών είναι το Θεώρημα του Bézout.

Για θετικούς ακεραίους \(a,b\), υπάρχουν ακέραιοι \(x,y\) τέτοιοι ώστε

\[ \boxed{ax+by=\gcd(a,b)}. \]

Ειδικότερα, όταν

\[ \gcd(a,b)=1, \]

υπάρχουν ακέραιοι \(x,y\) με

\[ ax+by=1. \]

Η απλή αυτή σχέση βρίσκεται πίσω από πολλές από τις σημαντικότερες ιδέες της αριθμητικής modulo \(n\).

3️⃣ Θεώρημα του Euler

Αν \(a\) και \(n\) είναι πρώτοι μεταξύ τους, τότε το Θεώρημα του Euler δίνει

\[ \boxed{a^{\varphi(n)}\equiv1\pmod n}, \]

όπου \(\varphi(n)\) είναι η συνάρτηση του Euler, δηλαδή το πλήθος των θετικών ακεραίων μικρότερων ή ίσων του \(n\) που είναι πρώτοι προς το \(n\).

Όταν \(n=p\) είναι πρώτος, έχουμε

\[ \varphi(p)=p-1, \]

οπότε προκύπτει το γνωστό Μικρό Θεώρημα του Fermat:

\[ \boxed{a^{p-1}\equiv1\pmod p} \]

για \(p\nmid a\).

4️⃣ Κινέζικο Θεώρημα Υπολοίπων

Έστω \(k_1,k_2,\ldots,k_n\) θετικοί ακέραιοι, ανά δύο πρώτοι μεταξύ τους, και έστω ακέραιοι \(c_1,c_2,\ldots,c_n\).

Τότε υπάρχει ακέραιος \(x\) που ικανοποιεί ταυτόχρονα

\[ x\equiv c_1\pmod{k_1}, \] \[ x\equiv c_2\pmod{k_2}, \] \[ \vdots \] \[ x\equiv c_n\pmod{k_n}. \]

Επιπλέον, η λύση είναι μοναδική modulo

\[ k_1k_2\cdots k_n. \]

Το Κινέζικο Θεώρημα Υπολοίπων μάς επιτρέπει έτσι να συνδυάζουμε πολλές διαφορετικές συνθήκες υπολοίπων σε μία κοινή αριθμητική συνθήκη.

5️⃣ Θεώρημα του Wilson

Ένα ακόμη κλασικό αποτέλεσμα συνδέει τους πρώτους αριθμούς με τα παραγοντικά.

Αν \(p\) είναι πρώτος, τότε

\[ \boxed{(p-1)!\equiv-1\pmod p}. \]

Μάλιστα, ισχύει και το αντίστροφο: για ακέραιο \(p>1\), η παραπάνω σχέση χαρακτηρίζει τους πρώτους αριθμούς.

6️⃣ Το μεγάλο αποτέλεσμα: Θεώρημα του Dirichlet

Όλες αυτές οι ιδέες μάς οδηγούν στο θεμελιώδες ερώτημα για μια γενική αριθμητική πρόοδο.

📐 Θεώρημα του Dirichlet για αριθμητικές προόδους

Αν \(a\) και \(b\) είναι θετικοί ακέραιοι και \[ \gcd(a,b)=1, \] τότε υπάρχουν άπειροι πρώτοι αριθμοί στην αριθμητική πρόοδο \[ an+b. \]

Για παράδειγμα, το θεώρημα εγγυάται ότι υπάρχουν άπειροι πρώτοι στις προόδους

\[ 4n+1,\qquad 4n+3,\qquad 5n+2,\qquad 7n+3, \]

αφού σε κάθε περίπτωση ο σταθερός όρος είναι πρώτος προς τη διαφορά της προόδου.

🤔 Γιατί χρειάζεται η συνθήκη \(\gcd(a,b)=1\);

Αν \(a\) και \(b\) είχαν κοινό διαιρέτη \(d>1\), τότε

\[ d\mid(an+b) \]

για κάθε \(n\). Όλοι οι όροι της προόδου θα είχαν λοιπόν έναν σταθερό κοινό διαιρέτη και δεν θα μπορούσαν να περιέχουν άπειρους πρώτους.

💡 Η μεγάλη εικόνα

Η μελέτη των πρώτων σε αριθμητικές προόδους ενώνει μερικές από τις σημαντικότερες ιδέες της στοιχειώδους Θεωρίας Αριθμών:

Bézout → Euler & Fermat → Κινέζικο Θεώρημα Υπολοίπων → Wilson → Dirichlet

Και το τελικό μήνυμα είναι εντυπωσιακό: οι πρώτοι αριθμοί δεν είναι απλώς άπειροι. Εμφανίζονται ξανά και ξανά μέσα σε κάθε επιτρεπτή αριθμητική πρόοδο.

Σημείωση: Η γενική απόδειξη του Θεωρήματος του Dirichlet είναι πολύ βαθύτερη από τις στοιχειώδεις ειδικές περιπτώσεις και χρησιμοποιεί εργαλεία πέρα από το επίπεδο της παρούσας παρουσίασης.

📚

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

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

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

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