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

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

Συμβολικά γράφουμε:  ή  ή .

Για παράδειγμα οι ακέραιοι  και  είναι σχετικά πρώτοι γιατί ο μόνος κοινός διαιρέτης τους είναι το 1, δηλαδή . Οι  και  δεν είναι σχετικά πρώτοι γιατί .

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

 Παραδείγματα 
 Οι αριθμοί 4 και 9 είναι σχετικά πρώτοι, καθώς κανένας από τους πιθανούς κοινούς παράγοντες  δεν διαιρεί και τους δύο αριθμούς.
 Οι αριθμοί 3 και 8 είναι σχετικά πρώτοι. 
 Οι αριθμοί 21 και 23 είναι σχετικά πρώτοι. 

 Οι αριθμοί 4 και 6 δεν είναι σχετικά πρώτοι μεταξύ τους, καθώς ο  διαιρεί και τους δύο. 
 Οι αριθμοί 3 και 9 δεν είναι σχετικά πρώτοι μεταξύ τους, καθώς ο  διαιρεί και τους δύο. 
 Οι αριθμοί 6 και 22 δεν είναι σχετικά πρώτοι μεταξύ τους, καθώς ο  διαιρεί και τους δύο.

 Αλγοριθμικός έλεγχος 
Οποιοσδήποτε αλγόριθμος για την εύρεση του μέγιστου κοινού διαιρέτη (ΜΚΔ) δύο φυσικών αριθμών μπορεί να χρησιμοποιηθεί για να ελέγξουμε αν δύο αριθμοί είναι σχετικά πρώτοι μεταξύ τους, ελέγχοντας αν ο ΜΚΔ είναι 1.

 Αλγόριθμος του Ευκλείδη 

Ο αλγόριθμος του Ευκλείδη βρίσκει το μέγιστο κοινό διαιρέτη δύο αριθμών  και  (έστω ), με την ακόλουθη αναδρομική διαδικασία:

Με είσοδο :
Αν το  είναι μηδέν, δώσε το  ως έξοδο.
Βρες το υπόλοιπο της διαίρεσης του  με το , έστω .
Τρέξε αναδρομικά τον αλγόριθμο (πήγαινε στο βήμα 1) με είσοδο . 

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

 και επιστρέφεται το  που είναι ο μέγιστος κοινός διαιρέτης των , .

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

 Σχετικές έννοιες 

 Συνάρτηση Όιλερ 

Η συνάρτηση Όιλερ  μας δίνει το πλήθος των φυσικών αριθμών μικρότερων του  οι οποίοι είναι σχετικά πρώτοι με τον . Για παράδειγμα,  καθώς οι αριθμοί  είναι σχετικά πρώτοι με το , ενώ οι  δεν είναι σχετικά πρώτοι με το  (έχουν κοινό παράγοντα το  ή το ).

 Δείτε επίσης 

Πρώτος αριθμός
Συνάρτηση Όιλερ
Μέγιστος κοινός διαιρέτης

 Παραπομπές 

Κατηγορία:Πρώτοι αριθμοί
Κατηγορία:Θεωρία αριθμών