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

(Ανακατεύθυνση από Συνάρτηση Euler)

Στην θεωρία αριθμών, η συνάρτηση Όιλερ είναι η συνάρτηση , όπου για κάθε θετικό ακέραιο το μας δίνει το πλήθος των φυσικών αριθμών μικρότερων του οι οποίοι είναι σχετικά πρώτοι με τον (δηλαδή έχουν με τον , μέγιστο κοινό διαιρέτη τη μονάδα).[1]:96[2]:52-54[3]:37-40[4]:133-144

Για παράδειγμα ας θεωρήσουμε τον αριθμό 9. Το είναι ίσο με 6, αφού από τους φυσικούς αριθμούς από το 1 μέχρι το 9 ακριβώς έξι, οι 1, 2, 4, 5, 7 και 8, είναι πρώτοι ως προς το 9.

Η συνάρτηση του Όιλερ είναι πολύ χρήσιμη στην θεωρία αριθμών. Αρκεί και μόνο να παρατηρήσει κάποιος ότι το πλήθος των στοιχείων της πολλαπλασιαστικής ομάδας των ακεραίων modulo n είναι ακριβώς . Αυτό το γεγονός, μαζί με το θεώρημα του Λαγκράνζ, μας δίνουν την απόδειξη για το θεώρημα του Όιλερ, που αποτελεί γενίκευση του μικρού θεωρήματος του Φερμά.

Παραδείγματα

Επεξεργασία
  • Για  , έχουμε ότι  ,   είναι πρώτοι με το  .
  • Για  , έχουμε ότι  , καθώς   είναι πρώτοι με το  .
  • Για  , έχουμε ότι  , καθώς   είναι πρώτοι με το  .
  • Για  , έχουμε ότι  , καθώς   είναι πρώτοι με το  .

Ιστορία, ορολογία, συμβολισμός

Επεξεργασία

Ο Λέοναρντ Όιλερ εισήγαγε τη συνάρτηση το 1763, αλλά χωρίς να τη συμβολίσει. Το 1784 επέλεξε το ελληνικό γράμμα   για το συμβολισμό της:   "το πλήθος των αριθμών, μικρότερων του  , που δεν έχουν κοινό διαιρέτη με το D"· ο ορισμός είναι ίδιος με αυτόν που χρησιμοποιούμε, εκτός από την περίπτωση  . To 1801 ο Γκάους χρησιμοποίησε τον συμβολισμό   στη διατριβή του "Disquisitiones Arithmeticae". Ονομάστηκε "η συνάρτηση   του Όιλερ" ή "η συνάρτηση  " και γράφουμε  .

Το 1879 ο Τζ. Συλβέστερ δημιούργησε τον όρο totient, έτσι τη λέμε "η συνάρτηση totient του Όιλερ". Γενίκευση της συνάρτησης είναι η totient του Τζόρνταν. Η "συνάρτηση   του Όιλερ" να μη συγχέεται με τη "συνάρτηση του Όιλερ", που είναι μία σειρά q στη συνδυαστική και τη μιγαδική ανάλυση.

Οι αριθμοί που είναι μικρότεροι του   και πρώτοι με αυτόν ονομάζονται totatives του  , π.χ. οι 1, 5 είναι totatives του 6. Υπάρχουν   τέτοιοι. Οι υπόλοιποι, δηλ. 2, 3, 4, 6 είναι εκείνοι που έχουν τουλάχιστον έναν κοινό παράγοντα με τον  · υπάρχουν   τέτοιοι και το πλήθος τους αυτό λέγεται cototient.

Ιδιότητες

Επεξεργασία

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

1η ιδιότητα

Επεξεργασία

Η συνάρτηση του Όιλερ είναι πολλαπλασιαστική, που σημαίνει ότι για κάθε δύο φυσικούς  ,   με   ισχύει  .[1]: 98 [2]: 53 

2η ιδιότητα

Επεξεργασία

Είναι εύκολο να παρατηρήσει κάποιος ότι αν ο   είναι πρώτος αριθμός τότε όλοι οι φυσικοί που είναι μικρότεροι από αυτόν είναι πρώτοι ως προς τον  , οπότε  .[2]: 53 

Για παράδειγμα:   επειδή το   είναι πρώτος.

3η ιδιότητα

Επεξεργασία

Αν   για πρώτο αριθμό   και   τότε[1]: 97 [2]: 53 

 

Για παράδειγμα   ή  .

Ο τύπος του Όιλερ

Επεξεργασία

Με χρήση των παραπάνω και του Κινεζικού Θεωρήματος Υπολοίπων η τιμή της   μπορεί να υπολογιστεί με χρήση του θεμελιώδους θεωρήματος της αριθμητικής:[2]: 53 

Αν  , όπου τα   είναι διακεκριμένοι πρώτοι αριθμοί, τότε

 .

Για παράδειγμα  .

Ο τελευταίος τύπος μπορεί να γραφτεί και ως εξής:

 .

Για παράδειγμα  .

4η ιδιότητα

Επεξεργασία

Πιο πάνω υπολογίσαμε το  . Οι διαιρέτες του 9 είναι οι 1, 3, 9 με  ,  ,  . Ο Γκάους παρατήρησε ότι   και γενικότερα[2]: 54 

 ,

όπου   είναι όλοι οι (θετικοί) διαιρέτες του  .

Για παράδειγμα τα κλάσματα   αν απλοποιηθούν δίνουν  .

Οι παρονομαστές είναι όλοι οι διαιρέτες του 9: 9,3, 1. Πόσα έχουν παρονομαστή το 9; όσα ο αριθμητής τους δεν είχε κοινό διαιρέτη με το 9, δηλ.  . Πόσα έχουν παρονομαστή το 3;  . Πόσα το 1;  . Και αυτά είναι όλα τα κλάσματα. Συνολικά είναι 9, δηλ.  .

Παρατήρηση

Επεξεργασία

Μπορούμε να πάρουμε έναν άλλο τύπο για την  , χρησιμοποιώντας την αντιστροφή του Μέμπιους στο άθροισμα 

 .

Ο τύπος αυτός είναι ο εξής:

 ,

όπου με   συμβολίζουμε την συνάρτηση του Μέμπιους στους φυσικούς αριθμούς.

Άλλοι τύποι για τη συνάρτηση φ

Επεξεργασία
  •  .
  •  , όπου d = μκδ(m, n)
Ειδικές περιπτώσεις:
  • Για  , τότε έχουμε ότι
 
  • Για   ο τύπος γίνεται
 
και γενικότερα
 .
  •  ,
που μοιάζει με τον τύπο   (δείτε Ελάχιστο Κοινό Πολλαπλάσιο).
  • Το   είναι άρτιος για  .[1] Ακόμη, αν ο   έχει   διακριτούς περιττούς παράγοντες τότε  .

Μερικές τιμές της συνάρτησης

Επεξεργασία

Οι πρώτες 143 τιμές (ακολουθία A000010 στην OEIS) εμφανίζονται στο γράφημα και στον πιο κάτω πίνακα:


 
Γράφημα των πρώτων 100 τιμών
φ(n) for 1 ≤ n ≤ 143
+ 0 1 2 3 4 5 6 7 8 9 10 11
0 N/A 1 1 2 2 4 2 6 4 6 4 10
12 4 12 6 8 8 16 6 18 8 12 10 22
24 8 20 12 18 12 28 8 30 16 20 16 24
36 12 36 18 24 16 40 12 42 20 24 22 46
48 16 42 20 32 24 52 18 40 24 36 28 58
60 16 60 30 36 32 48 20 66 32 44 24 70
72 24 72 36 40 36 60 24 78 32 54 40 82
84 24 64 42 56 40 88 24 72 44 60 46 72
96 32 96 42 60 40 100 32 102 48 48 52 106
108 36 108 40 72 48 112 36 88 56 72 58 96
120 32 110 60 80 60 100 36 126 64 84 48 130
132 40 108 66 72 64 136 44 138 48 92 70 120

Στο διάγραμμα η ευθεία y = n-1 είναι ένα άνω όριο και είναι ακριβώς αυτό στις περιπτώσεις όπου n = πρώτος. Δεν υπάρχει ευθεία που να είναι κάτω όριο.

Ασυμπτωτική τιμή

Επεξεργασία

Για κάθε σύνθετο αριθμό   έχουμε ότι[5]:943

 ,

και

 ,

όπου   είναι η σταθερά Όιλερ.

Επίσης, και για κάθε   ισχύει η απλουστευμένη ανισότητα

 .

Εφαρμογές

Επεξεργασία

Εφαρμογή στο θεώρημα του Όιλερ

Επεξεργασία

Το θεώρημα του Όιλερ λέει ότι αν   και   είναι σχετικά πρώτοι μεταξύ τους, τότε

 .

Το μικρό θεώρημα του Φερμά είναι η ειδική περίπτωση που το   είναι πρώτος και τότε

 ,

καθώς  .

Εφαρμογή στην κρυπτογραφία RSA

Επεξεργασία

Στην κρυπτογραφία RSA ξεκινάμε με δύο μεγάλους πρώτους  ,  . Για χάριν ευκολίας ας υποθέσουμε ότι είναι  ,  . Παίρνουμε το γινόμενό τους   και το  . Διαλέγουμε έναν αριθμό   έτσι ώστε   και   είναι σχετικά πρώτοι μεταξύ τους, ας είναι το  . Υπολογίζουμε τον αντίστροφό του   με τη βοήθεια του αλγορίθμου του Ευκλείδη, που είναι το  . Πράγματι  . To δημόσιο κλειδί είναι το ζεύγος   και το ιδιωτικό κλειδί είναι το  . Αν ξέρει κάποιος άλλος το   δεν μπορεί (εύκολα) να βρει το   αν δεν ξέρει το  , καθώς οι γνωστοί αλγόριθμοι στηρίζονται στην παραγοντοποίηση του  . Μέχρι στιγμής, δεν είναι γνωστός κάποιος αλγόριθμος που γρήγορα παραγοντποιεί αριθμούς (δηλαδή αλγόριθμος που τρέχει σε πολυωνυμικό χρόνο) και αυτό εγγυάται ότι δεν θα βρει κάποιος άλλος το ιδιωτικό κλειδί.

Τέλος για να κρυπτογραφήσουμε ένα μήνυμα (δηλαδή έναν αριθμό)  , τον υψώνουμε στην δύναμη  , δηλαδή στέλνουμε  . Ο παραλήπτης υψώνει αυτό που έλαβε στη δύναμη   και λαμβάνει το  , δηλαδή το αρχικό μήνυμα.

Εφαρμογή στην κυκλοτομία

Επεξεργασία

Στο τελευταίο κεφάλαιο του έργου του Disquisitiones ο Καρλ Φρίντριχ Γκάους αποδεικνύει ότι ένα κανονικό  -γωνο μπορεί να κατασκευαστεί με κανόνα και διαβήτη αν το   είναι δύναμη του  .

Αναλύουμε τον   σε γινόμενο πρώτων παραγόντων. Τότε:

  1. Αν   τότε   είναι δύναμη του   και το πολύγωνο κατασκευάζεται:  
  1. Αν   όπου   είναι πρώτος μεγαλύτερος του 2, τότε  , που για να είναι δύναμη του   πρέπει   και   να είναι δύναμη του  . Οι αριθμοί αυτοί   λέγονταιπρώτοι αριθμοί του Φερμά και είναι γνωστοί οι εξής: 3, 5, 17, 257, 65537. Δεν ξέρουμε αν υπάρχουν άλλοι.
  1. Συνδυασμός των παραπάνω:  

Τελικά τα κατασκευάσιμα κανονικά πολύγωνα είναι 2, 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40, ... (ακολουθία A003401 στην OEIS).

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

Επεξεργασία

Ελληνικά άρθρα

Επεξεργασία

Ξενόγλωσσα άρθρα

Επεξεργασία

Παραπομπές

Επεξεργασία
  1. 1,0 1,1 1,2 1,3 Βλάμος, Π.· Ραππος, Ε.· Ψαρρακος, Π. (2000). Θεωρία αριθμών. Αθήνα: Ελληνική Μαθηματική Εταιρεία. ISBN 960-7341-18-X. 
  2. 2,0 2,1 2,2 2,3 2,4 2,5 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 9780521722360. 
  4. Graham, Ronald Lewis· Knuth, Donald Ervin· Patashnik, Oren. Concrete mathematics: a foundation for computer science (2., 31. print έκδοση). Upper Saddle River, NJ: Addison-Wesley. ISBN 9780201558029. 
  5. Cormen, Thomas H.· Leiserson, Charles Eric· Rivest, Ronald Linn· Stein, Clifford. Introduction to algorithms (Third έκδοση). Cambridge, Massachusetts London, England: MIT Press. ISBN 9780262533058. 

Βιβλιογραφία

Επεξεργασία
  • Abramowitz, M.· Stegun, I. A. (1964). «24.3.2». Handbook of Mathematical Functions. New York: Dover Publications. ISBN 0-486-61272-4. 
  • Bach, Eric· Shallit, Jeffrey (1996). Algorithmic Number Theory (Vol I: Efficient Algorithms). Cambridge, MA: MIT Press Series in the Foundations of Computing. ISBN 0-262-02405-5. 
  • Ford, Kevin (1999). «The number of solutions of φ(x) = m». Annals of Mathematics 150 (1): 283–311. doi:doi:10.2307/121103. ISSN 0003-486X. MR 1715326. 
  • Gauss, Carl Friedrich (1986). Disquisitiones Arithmeticae. Μτφρ. Clarke, Arthur A. (2η έκδοση). New York: Springer. ISBN 0-387-96254-9. 
  • Graham, Ronald· Knuth, Donald· Patashnik, Oren (1994). Concrete Mathematics: a foundation for computer science (2η έκδοση). Reading, MA: Addison-Wesley. ISBN 0-201-55802-5. 
  • Guy, Richard K. (2004). Unsolved Problems in Number Theory, Problem Books in Mathematics (3η έκδοση). New York, NY: Springer-Verlag. ISBN 0-387-20860-7. 
  • Hardy, G. H.· Wright, E. M. (1979). An Introduction to the Theory of Numbers (5η έκδοση). Oxford: Oxford University Press. ISBN 978-0-19-853171-5. 
  • Long, Calvin T. (1972). Elementary Introduction to Number Theory (2η έκδοση). Lexington: D. C. Heath and Company. LCCN 77-171950. 
  • Pettofrezzo, Anthony J.· Byrkit, Donald R. (1970). Elements of Number Theory. Englewood Cliffs: Prentice Hall. LCCN 77-81766. 
  • Ribenboim, Paulo (1996). The New Book of Prime Number Records (3η έκδοση). New York: Springer. ISBN 0-387-94457-5. 
  • Sandifer, Charles (2007). The early mathematics of Leonhard Euler. MAA. ISBN 0-88385-559-3. 
  • Sándor, József· Mitrinović, Dragoslav S.· Crstici, Borislav, επιμ. (2006). Handbook of number theory I. Dordrecht: Springer-Verlag. σελίδες 9–36. ISBN 1-4020-4215-9. 
  • Sándor, Jozsef· Crstici, Borislav (2004). Handbook of number theory II. Dordrecht: Kluwer Academic. σελίδες 179–327. ISBN 1-4020-2546-7. 
  • Schramm, Wolfgang (2008). «The Fourier transform of functions of the greatest common divisor». Electronic Journal of Combinatorial Number Theory 8 (1). 
  • Βλάμος Π., Ράππος Ε. «Η συνάρτηση φ του Euler Αρχειοθετήθηκε 2019-01-16 στο Wayback Machine.», σελ.96-103, από Ελληνική Ψηφιακή Μαθηματική Βιβλιοθήκη Αρχειοθετήθηκε 2019-07-26 στο Wayback Machine.. Αρχειοθετήθηκε 16/01/2019. Ανακτήθηκε 16/01/2019.