Σχετικά πρώτοι

Στη θεωρία αριθμών, δύο ακέραιοι αριθμοί $x$ και $y$ ονομάζονται σχετικά πρώτοι ή πρώτοι προς αλλήλους ή μεταξύ τους πρώτοι αν ο μέγιστος κοινός διαιρέτης τους είναι η μονάδα. Ισοδύναμα, θα μπορούσαμε να πούμε ότι είναι σχετικά πρώτοι εάν δεν έχουν άλλο κοινό διαιρέτη πλην του 1. Εξ ορισμού δύο (διαφορετικοί) πρώτοι αριθμοί είναι και σχετικά πρώτοι μεταξύ τους. Συμβολικά γράφουμε: ΜΚΔ(x, y) = 1 ή gcd(x, y) = 1 ή x  ⊥  y.

Για παράδειγμα οι ακέραιοι 14 και 15 είναι σχετικά πρώτοι γιατί ο μόνος κοινός διαιρέτης τους είναι το 1, δηλαδή ΜΚΔ(14, 15) = 1. Οι 14 και 21 δεν είναι σχετικά πρώτοι γιατί ΜΚΔ(14, 21) = 7.

Παράδειγμα

Για παράδειγμα οι αριθμοί 23 και 21 είναι σχετικά πρώτοι και για να το διαπιστώσουμε αυτό αρκεί να τρέξουμε τον αλγόριθμο του Ευκλείδη.

Να θυμίσουμε ότι ο αλγόριθμος του Ευκλείδη βρίσκει το μέγιστο κοινό διαιρέτη (ΜΚΔ) δύο αριθμών $x$ και $y$ (έστω $x>y$), με την ακόλουθη αναδρομική διαδικασία:

Με είσοδο $(x,y)$:

1. Αν το $y$ είναι μηδέν, δώσε το $x$ ως έξοδο.
2. Βρες το υπόλοιπο της διαίρεσης του $x$ με το $y$, έστω $\upsilon$.
3. Τρέξε αναδρομικά τον αλγόριθμο (πήγαινε στο βήμα 1) με είσοδο $(y,\upsilon )$.

Στο παράδειγμά μας έχουμε την ακόλουθη εκτέλεση (καλείται την πρώτη φορά ευθέως και τις άλλες τρεις αναδρομικά):

1. ΜΚΔ(23,21)
2. ΜΚΔ(21,2)
3. ΜΚΔ(2,1)
4. ΜΚΔ(1,0) και επιστρέφεται το 1 που είναι ο μέγιστος κοινός διαιρέτης των 23, 21.

Άρα, δείξαμε ότι οι αριθμοί 23 και 21 είναι σχετικά πρώτοι.

Δείτε επίσης

• Πρώτος αριθμός
• Συνάρτηση Όιλερ, $\varphi (n)$, η οποία μας δίνει το πλήθος των μικρότερων του $n$ φυσικών αριθμών οι οποίοι είναι σχετικά πρώτοι με τον $n$.
• Μέγιστος κοινός διαιρέτης