Mirela Jukić Bokun i Andrea Behin, Sveučilište u Osijeku
Sažetak
Eulerova funkcija je jedna od najvažnijih funkcija u teoriji brojeva. U članku ćemo izvesti formulu za određivanje vrijednosti ove funkcije te ćemo dokazati neka od njezinih svojstava. Na primjerima ćemo pokazati neke od primjena dobivenih rezultata, a na kraju ćemo opisati nekoliko problema koji su usko vezani uz Eulerovu funkciju.
1Uvod
Leonhard Euler izložio je na skupovima iz 1758. i 1759., a u članku
[8] iz 1763. godine i objavio svoje rezultate vezane uz funkciju koja "broji broj prirodnih brojeva manjih od prirodnog broja
koji nemaju zajedničkih djelitelja s
". Kao što ćemo vidjeti, ova definicija razlikuje se od današnje samo utoliko što se umjesto izraza "manjih" koristi izraz "manjih ili jednakih". Godine 1784. Euler je za ovako definiranu funkciju koristio oznaku
, a danas se koristi oznaka
koju je uveo Gauss u
Disquisitiones Arithmeticae [11] objavljenim 1801. godine. U teoriji brojeva standardno se koristi termin Eulerova funkcija (ili Eulerova
funkcija), dok se u engleskoj literaturi najčešće koristi termin Euler's totient function koji je 1879. godine uveo Sylvester
[17].
U članku ćemo dokazati neka svojstva Eulerove funkcije i Eulerov teorem, jedan od najvažnijih teorema u kojemu se javlja Eulerova funkcija. Dokazane tvrdnje ćemo primijeniti na primjerima, a na kraju ćemo opisati neke od poznatih problema u kojima se pojavljuje Eulerova funkcija.
2Eksplicitna formula
Ukoliko sa
označimo skup svih prirodnih brojeva koji nisu veći od
i relativno su prosti s
, tj.
tada Eulerovu funkciju možemo definirati kao funkciju
zadanu s
.
Uočimo da se vrijednosti ovako definirane funkcije razlikuju u odnosu na spomenutu Eulerovu definiciju samo za broj 1 - ovdje je
, dok bi primjenom Eulerove definicije dobili vrijednost 0 u broju 1.
Primjer 1. Ako je
prost broj, tada je svaki prirodan broj
takav da je
relativno prost s
pa vrijedi
.
Grafički prikaz Eulerove funkcije dan je na Slici
1.
Vrijednosti Eulerove funkcije usko su vezane uz broj elemenata u tzv. reduciranom sustavu ostataka modulo
.
Reducirani sustav ostataka modulo
je skup
koji sadrži po točno jedan element iz svake od
klasa ekvivalencije od
.
U nastavku ćemo dokazati jedno važno svojstvo Eulerove funkcije, a to je tzv. svojstvo multiplikativnosti. Multiplikativne funkcije su funkcije
za koje vrijedi:
1 |
, |
2 |
, za sve takve da je . |
Teorem 2. Eulerova funkcija je multiplikativna funkcija.
Proof. Iz definicije je jasno da je
. Neka su
prirodni brojevi sa svojstvom da je
. Posložimo brojeve
u tablicu s
redova i
stupaca na sljedeći način:
U ovom nizu brojeva postoji, prema definiciji,
brojeva koji su relativno prosti s
. Uočimo da su svi brojevi u pojedinom stupcu međusobno kongruentni modulo
, a svih
stupaca odgovaraju
klasa ekvivalencije modulo
. Stoga su brojevi u istom stupcu ili svi relativno prosti s
ili nijedan nije relativno prost s
. Zaključujemo da se točno
stupaca sastoji od brojeva relativno prostih s
, dok ostali stupci sadrže brojeve koji nisu relativno prosti s
.
Promotrimo jedan od tih
stupaca. Neka je to
-ti stupac. Označimo sa
skup koji sadrži sve elemente toga stupca, tj.
. Dokažimo da su u skupu
svi elementi međusobno nekongruentni. Ako bi postojali
takvi da vrijedi
onda oduzimanjem broja
i korištenjem činjenice da je
dobivamo da je
pa je
.
Kako
ima
međusobno nekongruentnih elemenata modulo
zaključujemo da u
imamo predstavnike svih mogućih klasa modulo
(tj.
je potpun sustav ostataka modulo
). Neka je
skup koji sadrži elemente skupa
koji su relativno prosti s
. Tada je
reducirani sustav ostataka modulo
i ima
elemenata.
Zaključujemo da svaki od
stupaca iz gornje tablice sadrži
brojeva relativno prostih s
pa je u gornjoj tablici
brojeva koji su relativno prosti i sa
i sa
, a onda i s
.
Stoga je
i tvrdnja je dokazana.
Primjer 3. Odredimo
. Kako je
, primjenom svojstva multiplikativnosti Eulerove funkcije i činjenice da su 11 i 101 prosti brojevi dobivamo
Propozicija 4. Neka je
prost broj i
. Tada vrijedi
Proof. Neka je
prost broj i
. Pozitivni djelitelji broja
su
. Jedini brojevi
takvi da
koji nisu relativno prosti s
su višekratnici broja
, a to su
. Dakle, ima ih
pa je
Kako se svaki prirodan broj veći od 1 može prikazati u obliku
,
,
prosti brojevi,
, primjenom svojstva multiplikativnosti Eulerove funkcije i upravo dokazane propozicije, dobivamo
(1)
Primjer 5. Odredimo broj prirodnih brojeva koji su relativno prosti s brojem googol tj. s brojem i manji su od njega.
Rješenje: Trebamo odrediti
. Primjenom prethodne formule dobivamo
Primjer 6. Odredimo sve prirodne brojeve za koje je neparan broj.
Rješenje: Već smo komentirali da je
, a lako se vidi i da je
.
Pretpostavimo da je
. Ako postoji neparan faktor
od
, onda je
paran broj pa je
paran broj zbog (
1). Ako ne postoji neparan faktor
od
, onda je
,
, pa je
Kako je
slijedi da je
paran broj.
Zaključujemo da je
neparan broj samo za
.
Primjer 7. Pokažimo da postoji beskonačno mnogo pozitivnih cijelih brojeva
takvih da je
Rješenje: Za sve
,
, vrijedi
Time je tvrdnja dokazana.
3Svojstva Eulerove funkcije
U ovom ćemo dijelu dokazati još neka svojstva Eulerove funkcije.
Propozicija 8. Neka je
prirodan broj. Ako
, onda
.
Proof. Neka je
. Ako
, onda je
, gdje je
,
. Uvrštavanjem u formulu (
1) dobije se da je
Kako je, zbog
, broj s desne strane ove jednakosti prirodan, time je tvrdnja dokazana.
Propozicija 9.[Gauss] Za sve prirodne brojeve
vrijedi
Proof. Neka je
. Promatrajmo sljedeći produkt
(2)
Množenjem faktora ovog produkta dobivamo sumu pribrojnika oblika
gdje je
,
. Kako su s
,
,
, dani svi djelitelji broja
, zaključujemo da je
(3)
Stoga je
i time je tvrdnja dokazana.
Propozicija 10. Za svaki prirodan broj postoji konačno mnogo prirodnih brojeva takvih da je .
Proof. Ako neka potencija prostog broja
dijeli
, tj.
, prema Propoziciji
(8) vrijedi
. No, onda je
Kako postoji samo konačno mnogo brojeva
takvih da je
, postoji i konačno mnogo produkata takvih potencija prostih brojeva. Stoga postoji i konačno mnogo prirodnih brojeva s danim svojstvom.
U nastavku donosimo dvije ocjene za Eulerovu funkciju.
Propozicija 11. Ako je
složen prirodan broj, tada je
Proof. Budući da je
složen broj,
ima prost faktor
. Sada imamo
Propozicija 12. Za sve prirodne brojeve
,
, vrijedi
Proof. Za
, gdje je
prost broj i
, vrijedi
pa slijedi
(4)
U slučaju kada je
vrijedi i
(5)
Neka je
,
, gdje je
prost broj. Lako se vidi da je kvadratna funkcija
pozitivna za
. Uz supstituciju
dobivamo da za
vrijedi
. Stoga za
vrijedi
pa je
Za
analogno se može pokazati da je
Ako je
neparan ili
, (
4) i (
6) povlače da vrijedi
Ako je
, gdje je
neparan broj, tada za
slijedi da 9 dijeli
ili
ima barem jedan prost faktor
. Iz (
5)–(
7) slijedi
4Eulerov teorem
Eulerova funkcija sastavni je dio Eulerovog teorema, jednog od najvažnijih teorema u teoriji brojeva.
Teorem 13.{(Eulerov teorem)} Ako su
i
takvi da
, onda je
Proof. Ako je
reducirani sustav ostataka modulo
, onda je, za
, i
reducirani sustav ostataka modulo
(jer iz
i
slijedi
). No, onda mora vrijediti
odnosno
\begin{alignat*}{2} a^{\varphi(n)}\prod\limits_{j=1}^{\varphi(n)}r_{j} \equiv \prod\limits_{i=1}^{\varphi(n)} r_{i} \pmod{n}. \end{alignat*} Kako je
,
, odavde slijedi
Ako je
prost broj, onda iz Eulerovog teorema direktno slijedi Mali Fermatov teorem.
Korolar 14. (Mali Fermatov teorem) Neka je
prost broj. Ako
, onda je
Primjer 15. Odredimo ostatak pri dijeljenju broja sa 55.
Rješenje: Kako je
i
, iz Eulerovog teorema slijedi
No, onda je
Stoga je traženi ostatak 1.
Primjer 16. Odredimo posljednje tri znamenke u decimalnom zapisu broja .
Rješenje: Uočimo da rješenje možemo dobiti određivanjem ostatka pri dijeljenju danog broja s 1000. Budući da je
i
primjenom Eulerovog teorema dobivamo
odakle slijedi
Odavde zaključujemo da su zadnje tri znamenke broja
jednake 081.
Primjer 17. Dokažimo da su prirodni brojevi oblika djeljivi s 18 za sve prirodne brojeve za koje je .
Rješenje: Za
primjenom Eulerovog teorema dobivamo
pa je
i time je tvrdnja dokazana.
Spomenimo samo da Eulerov teorem i Mali Fermatov teorem imaju dvije važne primjene:
|
Najpoznatiji kriptosustav s javnim ključem, RSA kriptosustav, bazira se na Eulerovom teoremu (vidi npr. [12]). |
|
Iako obrat Malog Fermatovog teorema ne vrijedi (može se pokazati da je npr. , ali ), Mali Fermatov teorem je baza za razne testove prostosti (vidi npr. [16]). |
5Problemi vezani uz Eulerovu funkciju
U ovom dijelu opisat ćemo neke od poznatih problema koji su vezani uz Eulerovu funkciju.
5.1Gauss-Wantzelov teorem
Kažemo da je pravilni
-terokut konstruktibilan ako se može konstruirati samo pomoću ravnala i šestara. Gauss je 1796. godine pokazao da je pravilni
-terokut konstruktibilan, a u Disquisitiones Arithmeticae je poopćio ovaj rezultat te je dokazao uvjet dovoljnosti iz teorema koji ćemo navesti. Uvjet nužnosti dokazao dokazao je Wantzel
[18] 1837. godine.
Tvrdnja teorema u uskoj je vezi s Fermatovim prostim brojevima tj. prostim brojevima oblika
. Poznato je samo 5 prostih Fermatovih brojeva (to su
,
,
,
i
) i otvoreni je problem ima li ih još.
Teorem 18. Pravilan
-terokut može se konstruirati ravnalom i šestarom ako i samo ako se
može prikazati u obliku produkta neke potencije broja dva i različitih Fermatovih prostih brojeva tj.
, gdje su
,
,
i
su različiti Fermatovi prosti brojevi.
Wantzel je pokazao da se Teorem
(18) može izreći i na sljedeći način:
Teorem 19. Pravilan -terokut može se konstruirati ravnalom i šestarom ako i samo ako je prirodan broj veći od 2 takav da je potencija broja 2.
5.2Lehmerov problem
Znamo da za prost broj
vrijedi
. Lehmer je 1932. godine postavio pitanje postoje li složeni brojevi
takvi da
. Pretpostavlja se da takvi brojevi ne postoje i danas je ta pretpostavka poznata kao
Lehmerov problem/slutnja o Eulerovoj funkciji:
Ne postoji složen prirodan broj sa svojstvom da .
1933. godine Lehmer je dokazao da ako takav
postoji, mora biti neparan, kvadratno slobodan i djeljiv s barem 7 prostih brojeva, odnosno
(
je funkcija koja "broji" sve proste djelitelje zadanog broja
). Cohen i Hagis
[6] dokazali su 1980. godine da je
i
. Burcsi, Czirbusz i Farkas su 2011. pokazali da ako
, onda je
i
.
5.3Carmichaelova slutnja i Fordov teorem
1907. godine Carmichael
[3] je objavio teorem u kojem je tvrdio da ne postoji broj
takav da za sve
vrijedi
. Međutim, 1922. godine pronađena je greška u dokazu. Iako tvrdnja još uvijek nije dokazana, pretpostavlja se da je točna i danas je ta pretpostavka poznata kao
Carmichaelova slutnja. Često se iskazuje i u sljedećem obliku:
Za sve prirodne brojeve jednadžba ne može imati jedinstveno rješenje.
Carmichael
[4] je dokazao da kontraprimjer njegovoj pretpostavci mora biti broj veći ili jednak od
. Pomerance
[15] je pokazao 1974. da je prirodan broj
kontraprimjer ovoj pretpostavci ako za svaki prost broj
takav da
vrijedi
. Ford
[9] je 1998. godine pokazao da eventualni kontraprimjer mora biti veći od
.
Vezano uz broj rješenja jednadžbe
poznata je i slutnja koju je iznio Sierpi
ski:
Za svaki prirodni broj postoji prirodni broj takav da jednadžba ima točno rješenja.
Ford
[10] je 1998. dokazao da je slutnja točna.
Bibliografija
[1] |
T. Andreescu, D. Andrica, Number theory, Birkhäuser, Basel, 2009. |
[2] |
P. Burcsi, S. Czirbusz, G. Farkas, Computational investigation of Lehmer's totient problem, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 35 (2011), 43–49. |
[3] |
R. D. Carmichael, On Eulers-function, Bull. Amer. Math. Soc. (N.S.) 13 (1907), 241–243. |
[4] |
R. D. Carmichael, Note on Eulers-function, Bull. Amer. Math. Soc. (N.S.) 28 (1922), 109–110. |
[5] |
P. L. Clark, Number Theory: A Contemporary Introduction,
http://math.uga.edu/ pete/4400FULL.pdf |
[6] |
G. L. Cohen, P. Hagis, On the Number of Prime Factors of if }, Nieuw Arch. Wiskd. 28 (1980), 177–185. |
[7] |
A. Dujella, Uvod u teoriju brojeva, PMF - Matematički odjel, Sveučilište u Zagrebu, skripta. |
[8] |
L. Euler, Theoremata arithmetica nova methodo demonstrata, Novi commentarii academiae scientiarum imperialis Petropolitanae 8 (1763), 74–104. |
[9] |
K. Ford, The number of solutions of, Ann. of Math. 150 (1999), 283–311. |
[10] |
K. Ford, The distribution of totients, Ramanujan J. 2 (1998), 67–151. |
[11] |
C. F. Gauss, Disquisitiones Arithmeticae, Leipzig, Germany, 1801, (Yale University Press, New Haven, 1965). |
[12] |
B. Ibrahimpašić, RSA kriptosustav, Osječki matematički list 5 (2005), 101–112. |
[13] |
G. A. Jones, J. M. Jones, Elementary Number Theory, Springer, 2003. |
[14] |
R. A. Mollin, Fundamental Number Theory with Applications, CRC Press, New York, 2008. |
[15] |
C. Pomerance, On Carmichael's conjecture, Proc. Amer. Math. Soc. 43 (1974), 297–298. |
[16] |
H. Riesel, Prime Numbers and Computer Methods for Factorization, Birkhuser, Boston, 1994. |
[17] |
J. J. Sylvester, On certain ternary cubic-form equations, Amer. J. Math. 2 (1879), 357–393. |
[18] |
P. L. Wantzel, Recherches sur les moyens de reconnaître si un problème de géométrie peut se résoudre avec la règle et le compas, J. Math. Pures Appliq. 1(1836), 366–372.
|