Μετάβαση στο περιεχόμενο

Θεώρημα Ουίλσον

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Στην θεωρία αριθμών, το θεώρημα Ουίλσον (αναφέρεται και ως θεώρημα Wilson) λέει ότι ένας φυσικός αριθμός είναι πρώτος ανν ισχύει ότι[1]:111-112[2]:68-69[3]:40-41[4]:132-133[5]:55[6]:69-70[7]

,

όπου είναι το παραγοντικό του .

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

  • Για , έχουμε ότι (και το είναι πρώτος).
  • Για , έχουμε ότι (και το είναι πρώτος).
  • Για , έχουμε ότι (και το είναι σύνθετος).
  • Για , έχουμε ότι (και το είναι πρώτος).
  • Για , έχουμε ότι (και το είναι σύνθετος).
  • Για , έχουμε ότι (και το είναι πρώτος).

Με πολλαπλασιαστικά αντίστροφα

[Επεξεργασία | επεξεργασία κώδικα]

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

Θα δείξουμε ότι ο μόνοι αριθμοί που είναι αντίστροφοι του εαυτού τους είναι ο και ο . Έστω ότι ισχύει

.

Τότε έχουμε ισοδύναμα ότι ή ισοδύναμα ότι (χρησιμοποιώντας την ταυτότητα για την διαφορά τετραγώνων). Επειδή ο είναι πρώτος έχουμε ότι ή άρα ή .

Συνεπώς, όλα τα έχουν πολλαπλασιαστικούς αντιστρόφους που έρχονται σε ζεύγη και έτσι χρησιμοποιώντας την αντιμεταθετική ιδιότητα του πολλαπλασιασμού απαλείφονται, άρα

,

που είναι και το ζητούμενο.

() Έστω ένας σύνθετος αριθμός. Τότε μπορεί να γραφτεί ως το γινόμενο δύο φυσικών αριθμών , δηλαδή . Διακρίνουμε δύο περιπτώσεις:

  • Περίπτωση 1η (): Τότε και το και το εμφανίζεται στο γινόμενο , άρα το .
  • Περίπτωση 2η (): Σε αυτή την περίπτωση δεν εμφανίζονται και το και το στο γινόμενο. Για είναι εύκολο να ελέγξουμε ότι η σχέση ισχύει. Για έχουμε ότι και άρα το και το (για τα οποία ισχύει ότι ) εμφανίζονται στο γινόμενο , και άρα .

Από πρακτικής απόψεως, η συνθήκη αυτή δεν χρησιμοποιείται για να ελέγξουμε αν ένας αριθμός είναι πρώτος, καθώς ο υπολογισμός του χρειάζεται πράξεις, ενώ μπορούμε για παράδειγμα να ελέγξουμε απευθείας αν κάποιος από τους αριθμούς διαιρεί τον (που χρειάζεται πράξεις).[4]: 133 

Περαιτέρω ανάγνωση

[Επεξεργασία | επεξεργασία κώδικα]

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

[Επεξεργασία | επεξεργασία κώδικα]
  1. Βλάμος, Π.· Ραππος, Ε.· Ψαρρακος, Π. (2000). Θεωρία αριθμών. Αθήνα: Ελληνική Μαθηματική Εταιρεία. ISBN 960-7341-18-X. 
  2. Hardy, Godfrey H.· Wright, Edward Maitland. An introduction to the theory of numbers (5η έκδοση). Oxford: Clarendon Press. ISBN 9780198531715. 
  3. Davenport, Harold. The higher arithmetic: an introduction to the theory of numbers (8η έκδοση). Cambridge: Cambridge university press. ISBN 978-0-521-72236-0. 
  4. 4,0 4,1 Graham, Ronald Lewis· Knuth, Donald Ervin· Patashnik, Oren. Concrete mathematics: a foundation for computer science (2η έκδοση). Upper Saddle River, NJ: Addison-Wesley. ISBN 978-0-201-55802-9. 
  5. Θεοχάρη Αποστολίδου, Θεοδώρα (2015). Εισαγωγή στη θεωρία ομάδων. Κάλλιπος, Ανοικτές Ακαδημαϊκές Εκδόσεις. 
  6. Γκότσης, Κ. «Σημειώσεις στοιχειώδους θεωρίας αριθμών» (PDF). Πανεπιστήμιο Αθηνών. Ανακτήθηκε στις 21 Οκτωβρίου 2023. 
  7. Παπαδημητράκης, Μιχάλης. «Θεωρία αριθμών: Πρόχειρες σημειώσεις» (PDF). Τμήμα Μαθηματικών, Πανεπιστήμιο Κρήτης. Ανακτήθηκε στις 21 Οκτωβρίου 2023.