Funkcja Eulera
Tym razem o kilku ciekawych własnościach funkcji Eulera.
Niech (gdzie
jest dodatnią liczbą naturalną) oznacza funkcję Eulera, czyli liczbę liczb naturalnych nie większych od
i względnie pierwszych z
Na przykład
![]() |
Przypomnijmy dwie powszechnie znane własności funkcji Eulera:
Twierdzenie (Eulera). Jeśli są liczbami naturalnymi oraz
to
Zauważmy, że jeśli jest liczbą pierwszą i
(czyli
), to wobec
mamy podzielność
czyli tezę w małym twierdzeniu Fermata.
Nietrudno jest udowodnić, że dla liczba
jest parzysta (Czytelniku, spróbuj sam!). Okazuje się, że nie każda liczba naturalna parzysta jest wartością funkcji Eulera
Andrzej Schinzel udowodnił, że dla żadnego naturalnego
liczba
nie jest wartością funkcji
Jeśli jest liczbą pierwszą, to
(bo
). W 1932 roku Derrick Henry Lehmer spytał, czy istnieje taka liczba złożona
że
Pytanie to do dzisiaj pozostaje bez odpowiedzi. Można łatwo uzasadnić, że jeśli
to podzielność
jest równoważna podzielności
![]() |
(1) |
Oczywiście, gdy to powyższa podzielność zachodzi (wtedy
jest liczbą pierwszą). Dla
nie znaleziono liczb pierwszych
spełniających podzielność (1) i jest wątpliwe, czy takie liczby istnieją. W 1980 roku Geoffrey L. Cohen i Peter Hagis dowiedli, że jeśli
jest liczbą złożoną i zachodzi podzielność (1), to
i
Zajmijmy się teraz równaniem
![]() |
(2) |
gdzie jest daną liczbą naturalną. Można udowodnić, że powyższe równanie
- (a)
- dla
ma 0 rozwiązań,
- (b)
- dla
ma 2 rozwiązania,
- (c)
- dla
ma 3 rozwiązania.
Zachodzi twierdzenie ogólne (Paul Erdős, Kevin Ford): dla każdej liczby naturalnej istnieje taka liczba naturalna
że równanie (2) ma dokładnie
rozwiązań, co więcej, dla danego
takich liczb jest nieskończenie wiele.
W 1922 roku Robert Daniel Carmichael sformułował hipotezę: nie istnieje takie że równanie (2) ma dokładnie jedno rozwiązanie. Hipotezę można również wyrazić następująco: dla każdej liczby naturalnej
istnieje taka liczba naturalna
że
W 1994 roku Aaron Schlafly i Stan Wagon, przeprowadzając obszerne obliczenia numeryczne, wykazali, że jeśli równanie ma dokładnie jedno rozwiązanie (tj.
), to
tzn. najmniejszy kontrprzykład (jeśli istnieje) dla hipotezy Carmichaela ma ponad 10 milionów cyfr.
Przejdźmy do równania
![]() |
(3) |
gdzie jest daną liczbą naturalną. Dla
mamy nieskończenie wiele rozwiązań i są nimi wszystkie liczby pierwsze (dlaczego?). Dla
i
mamy rozwiązania odpowiednio
i
co Czytelnik zechce sprawdzić. Niech teraz
będzie dowolnie ustaloną liczbą nieparzystą. Na mocy wzmocnionej hipotezy Goldbacha (każda liczba większa od 6 jest sumą dwóch różnych liczb pierwszych) istnieją takie różne liczby pierwsze
i
że
Przyjmijmy
Wtedy
spełnia równanie (3), gdyż
![]() |
To pokazuje hipotetyczną rozwiązalność równania (3) dla każdego nieparzystego
Okazuje się, że równanie (3) może nie mieć rozwiązania dla parzystych. Najmniejszymi takimi
są: 10, 26, 34, 50, 52, 58, 86, 100. W 1995 roku Jerzy Browkin i Andrzej Schinzel udowodnili następujący
Fakt. Równanie
![]() |
nie ma rozwiązań dla każdego naturalnego
Na koniec kilka zadań dla Czytelnika.