Εικασία του Καρμάικλ

Στα μαθηματικά, η **εικασία του Καρμάικλ** αφορά την πολλαπλότητα των τιμών της συνάρτησης του Όιλερ *&phi;*(*n*), η οποία μετρά τον αριθμό των ακεραίων αριθμών που είναι μικρότεροι και και μεταξύ τους πρώτοι του *n*. Δηλώνει ότι για κάθε n υπάρχει τουλάχιστον ένας άλλος ακέραιος *m*&nbsp;≠&nbsp;*n* τέτοιος ώστε*&phi;*(*m*)&nbsp;=&nbsp;*&phi;*(*n*). Ο Ρόμπερτ Καρμάικλ διατύπωσε για πρώτη φορά αυτή την εικασία το 1907, αλλά ως θεώρημα και όχι ως εικασία. Ωστόσο, η απόδειξή του ήταν ελαττωματική και το 1922 ανακάλεσε τον ισχυρισμό του και δήλωσε την εικασία ως ανοιχτό πρόβλημα.

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

Η συνάρτηση *&phi;*(*n*) είναι ίση με 2 όταν το *n* είναι μία από τις τρεις τιμές 3, 4 και 6. Έτσι, αν πάρουμε οποιαδήποτε από αυτές τις τρεις τιμές ως *n*, τότε οποιαδήποτε από τις άλλες δύο τιμές μπορεί να χρησιμοποιηθεί ως *m* για την οποία *&phi;*(*m*)&nbsp;=&nbsp;*&phi;*(*n*).

Αντίστοιχα, το ολικό πηλίκο είναι ίσο με 4 όταν το *n* είναι μία από τις τέσσερις τιμές 5, 8, 10 και 12, και είναι ίσο με 6 όταν το *n* είναι μία από τις τέσσερις τιμές 7, 9, 14 και 18. Σε κάθε περίπτωση, υπάρχουν περισσότερες από μία τιμές του *n* που έχουν την ίδια τιμή του *&phi;*(*n*).

Η εικασία δηλώνει ότι αυτό το φαινόμενο των επαναλαμβανόμενων τιμών ισχύει για κάθε&nbsp;*n*.

## Κατώτερα όρια

Υπάρχουν πολύ υψηλά κατώτερα όρια για την εικασία του Καρμάικλ που είναι σχετικά εύκολο να προσδιοριστούν. Ο ίδιος ο Καρμάικλ απέδειξε ότι οποιοδήποτε αντιπαράδειγμα στην εικασία του (δηλαδή μια τιμή *n* τέτοια ώστε η &phi;(*n*) να είναι διαφορετική από τις πηλίκα όλων των άλλων αριθμών) πρέπει να είναι τουλάχιστον 1037 και ο Βίκτορ Κλι επέκτεινε αυτό το αποτέλεσμα σε 10400. Ένα κατώτερο όριο  10^{10^7} δόθηκε από τους Σλάφλι και Γουάγκον, και ένα κατώτερο όριο 10^{10^{10}} προσδιορίστηκε από τον Κέβιν Φορντ το 1998.

Η υπολογιστική τεχνική που διέπει αυτά τα κατώτερα όρια εξαρτάται από ορισμένα βασικά αποτελέσματα του Κλι, τα οποία καθιστούν δυνατή την απόδειξη ότι το μικρότερο αντιπαράδειγμα πρέπει να διαιρείται με τα τετράγωνα των πρώτων αριθμών που διαιρούν την ολική τιμή του. Τα αποτελέσματα του Κλι συνεπάγονται ότι το 8 και οι πρώτοι αριθμοί Φερμά (πρώτοι αριθμοί της μορφής 2*k*&nbsp;+&nbsp;1) εξαιρουμένου του 3 δεν διαιρούν το μικρότερο αντιπαράδειγμα. Κατά συνέπεια, η απόδειξη της εικασίας είναι ισοδύναμη με την απόδειξη ότι η εικασία ισχύει για όλους τους ακέραιους που συμπίπτουν με το&nbsp;4&nbsp;(mod&nbsp;8).

## Άλλα αποτελέσματα

Ο Φορντ απέδειξε επίσης ότι αν υπάρχει ένα αντιπαράδειγμα στην εικασία, τότε ένα θετικό ποσοστό (με την έννοια της ασυμπτωτικής πυκνότητας) των ακεραίων αριθμών είναι επίσης αντιπαράδειγμα.

Αν και η εικασία είναι ευρέως αποδεκτή, ο Καρλ Πόμερανς έδωσε μια επαρκή συνθήκη για έναν ακέραιο *n* που αποτελεί αντιπαράδειγμα στην εικασία (). Σύμφωνα με αυτή τη συνθήκη, ο n είναι αντιπαράδειγμα αν για κάθε πρώτο αριθμό p τέτοιο ώστε ο *p*&nbsp;&minus;&nbsp;1 να διαιρεί το*&phi;*(*n*), ο *p*2 διαιρεί τον &nbsp;*n*. Ωστόσο, ο Πόμερανς έδειξε ότι η ύπαρξη ενός τέτοιου ακέραιου αριθμού είναι εξαιρετικά απίθανη. Ουσιαστικά, μπορεί κανείς να δείξει ότι αν οι πρώτοι k πρώτοι p που είναι σύμφωνοι με το&nbsp;1&nbsp;(mod&nbsp;*q*) (όπου *q* είναι πρώτος αριθμός) είναι όλοι μικρότεροι από *q**k*+1 τότε ένας τέτοιος ακέραιος θα διαιρείται με κάθε πρώτο αριθμό και επομένως δεν μπορεί να υπάρξει. Σε κάθε περίπτωση, η απόδειξη ότι το αντιπαράδειγμα του Πόμερανς δεν υπάρχει απέχει πολύ από την απόδειξη της εικασίας του Καρμάικλ. Ωστόσο, αν υπάρχει, τότε υπάρχουν άπειρα πολλά αντιπαραδείγματα, όπως ισχυρίζεται ο Φορντ.

Ένας άλλος τρόπος για να διατυπώσουμε την εικασία του Καρμάικλ είναι ότι, αν
το *A*(*f*) δηλώνει τον αριθμό των θετικών ακεραίων *n* για τους οποίους *&phi;*(*n*)&nbsp;=&nbsp;*f*, τότε το *A*(*f*) δεν μπορεί ποτέ να είναι ίσο με&nbsp;1. Σχετικά, ο Βάτσλαβ Σιερπίνσκι υπέθεσε ότι κάθε θετικός ακέραιος εκτός του 1 εμφανίζεται ως τιμή του A(*f*), μια εικασία που αποδείχθηκε το 1999 από τον Κέβιν Φορντ.

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
* Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
* Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
* Θεωρία Αριθμών και Εφαρμογές
* Υπολογιστική Θεωρία Αριθμών

## Δείτε επίσης
* Θεωρία αριθμών
* Αλγεβρική θεωρία αριθμών
* Συζυγής μιγαδικός αριθμός
* Δεύτερη Εικασία Χάρντι-Λίτλγουντ
* Ελλειπτική καμπύλη
* e (μαθηματική σταθερά)
* Πυθαγόρεια τετράδα
* Άρτιοι και περιττοί αριθμοί
* Τετραγωνικός αριθμός
* Κρυπτογραφία ελλειπτικών καμπυλών
* Προβλήματα του Λαντάου
* Κύβος (άλγεβρα)
* Εικασία του Γκόλντμπαχ
* Θεμελιώδες θεώρημα αριθμητικής
* Αλγεβρική γεωμετρία
* Υπόθεση H του Σίνζελ
* Κλάση συζυγίας
* Ευκλείδειος χώρος

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

## Παραπομπές

*
*
*
* 
*
*
* 
*
*Danilov, L.V., "The Diophantine equation&nbsp;&nbsp; 'x3 &nbsp; - &nbsp;y2&nbsp;'&nbsp; ' = &nbsp;k&nbsp; ' and Hall's conjecture", 'Math.  Notes Acad. Sci. USSR' *32*(1982), 617-618.
*Gebel, J., Pethö, A., and Zimmer, H.G.: "On Mordell's equation", 'Compositio Math.' *110*(1998), 335-367.
*I. Jiménez Calvo, J. Herranz and G. Sáez Moreno, "A new algorithm to search for small nonzero |'x3&nbsp;-&nbsp;y2'| values", 'Math. Comp.' *78* (2009), pp. 2435-2444.
*S. Aanderaa, L. Kristiansen and H. K. Ruud, "Search for good examples of Hall's conjecture", 'Math. Comp.' *87* (2018), 2903-2914.

## Πηγές
* 
* 
* 
* 
* 
* 
* 

Κατηγορία:Διοφαντικές εξισώσεις
Κατηγορία:Περιοχές των μαθηματικών
Κατηγορία:Θεωρία αριθμών
Κατηγορία:Εικασίες
Κατηγορία:Άλυτα προβλήματα στα μαθηματικά