**Eulerren φ funtzioa**, **Eulerren funtzio adierazlea** edo **Eulerren funtzio osoa** funtzio garrantzitsua da **zenbakien teoria**n. *n* zenbaki oso positibo bat bada, orduan φ(n) honela definitzen da: n>1 denean, n baino txkiagoak diren zenbakiak beraien artean **elkarrekiko lehenak** direnak kontatzen ditu.

Edozein zanbakiren φ(n) kalkulatzeko aritmetikaren oinarrizko teoremarekin kalkula daiteke:

Baldin eta {\displaystyle n=p\_{1}^{\alpha \_{1}}p\_{2}^{\alpha \_{2}}p\_{3}^{\alpha \_{3}}...p\_{k}^{\alpha \_{k}}} non pi-ak zenbaki lehenak ezberdinak diren, orduan, {\displaystyle \varphi (n)={\bigl (}p\_{1}-1{\bigr )}p\_{1}^{k\_{1}-1}...{\bigl (}p\_{k}-1{\bigr )}p\_{k}^{k\_{k}-1}} formula hau Euleeren biderketa deritzo eta normalean

{\displaystyle \varphi (n)=n\prod \_{p\mid n}\displaystyle {\Biggl (}1-\left({\frac {1}{p}}\right){\Biggr )}} idazten da, non p dira lehen desberdinak n zatitzen dutenak.

**φ(n)-ren lehen mila balioak**
Adibidez:

φ(1)=1

φ(2)=2

φ(3)=2

φ(4)=4

φ(n)= I{a

***φ(n) = Card{k ∈ N : k ≤ n, zkh(k, n)=1}***

Propietateak
------------

1. {\displaystyle \varphi }(p)=p-1 p lehena bada
2. {\displaystyle \varphi }({\displaystyle p^{k}}) = {\displaystyle p^{k}} − {\displaystyle p^{k+1}}
3. {\displaystyle \varphi }(mn)= {\displaystyle \varphi }(m){\displaystyle \varphi }(n)

Frogapenak:

1)   Zenbaki lehen (p) bat aurreko guztiekin elkarrekiko lehenak dira, orduan existitzen dira p-1 dira p-rekin elkarrekiko lehenak direnak.

2)   Baldin eta {\displaystyle \varphi }({\displaystyle p^{k}}) zenbat den jakiteko {1,….{\displaystyle p^{k}}} multzoan zenbat elementu diren p-rekin elkarekiko lehenak jakin behar dugu. Multzo horretako elementu guztiak hartuko ditugu p-ren multiploak direnak izan ezin. Multzo horretan p-ren multiploak direnak pberkp izango da, hau da {\displaystyle p^{k+1}}. Beraz, {\displaystyle \varphi }({\displaystyle p^{k}})={\displaystyle p^{k}}- {\displaystyle p^{k+1}}

3) Frogapen honetarako, hasteko, dakigu

{\displaystyle \varphi (n)=n\prod \_{pi\mid n}\displaystyle {\Biggl (}1-\left({\frac {1}{pi}}\right){\Biggr )}}

pi lehena da, beraz:

{\displaystyle \varphi (n)\varphi (m)=mn\prod \_{pi\mid n}{\Biggl (}1-\left({\frac {1}{pi}}\right){\Biggr )}\prod \_{qi\mid n}{\Biggl (}1-\left({\frac {1}{pi}}\right){\Biggr )}}

zkh(n,m)=1 denez, orduan ez pi ez qi ez direnez berdinak eta mn deskonposaketa ez da afektztzen hau da:{\displaystyle m=q\_{1}^{\beta \_{1}}q\_{2}^{\beta \_{2}}q\_{3}^{\beta \_{3}}...q\_{k}^{\beta \_{k}}} eta {\displaystyle n=p\_{1}^{\alpha \_{1}}p\_{2}^{\alpha \_{2}}p\_{3}^{\alpha \_{3}}...p\_{k}^{\alpha \_{k}}} orduan, lehenen deskonposaketa{\displaystyle mn=q\_{1}^{\beta \_{1}}q\_{2}^{\beta \_{2}}q\_{3}^{\beta \_{3}}...q\_{k}^{\beta \_{k}}p\_{1}^{\alpha \_{1}}p\_{2}^{\alpha \_{2}}p\_{3}^{\alpha \_{3}}...p\_{k}^{\alpha \_{k}}}. Orduan hau inplatzen du {\displaystyle \varphi (n)\varphi (m)=mn\prod \_{pi\mid n}{\Biggl (}1-\left({\frac {1}{pi}}\right){\Biggr )}\prod \_{qi\mid n}{\Biggl (}1-\left({\frac {1}{pi}}\right){\Biggr )}} betetzea.

### Beste propietate batzuk

* {\displaystyle n} zenbakiaren zatitzaileak {\displaystyle \{d\_{1}=1,d\_{2},d\_{3},...d\_{k}=n\}} badira, orduan: {\displaystyle \varphi (d\_{1})+\varphi (d\_{2})+...+\varphi (d\_{k})=n}

Adibidez: {\displaystyle \varphi (1)+\varphi (2)+\varphi (4)+\varphi (5)+\varphi (10)+\varphi (20)=1+1+2+4+4+8=20}

Carl Friedrich Gauss matematikariak propietate hau egiaztatu zuen Disquisitiones Arithmeticae liburuan

* {\displaystyle n}-rekin elkarren arteko lehenak diren zenbakien batura, hau da, {\displaystyle \varphi (n)}-k kontatzen dituen elementuen batura  {\displaystyle {\frac {n\varphi (n)}{2}}} da.

Adibidez: {\displaystyle 1+3+7+9+11+13+17+19=80={\frac {160}{1}}={\frac {20\cdot 8}{2}}={\frac {20\cdot \varphi (20)}{2}}}

* {\displaystyle n>2} bada, {\displaystyle \varphi (n)} bikoitia da.
* Baldin {\displaystyle a|b} , orduan {\displaystyle \varphi (a)|\varphi (b)}
* {\displaystyle \varphi (zkh(a,b))\cdot \varphi (mkt(a,b))=\varphi (a)\cdot \varphi (b)}
* {\displaystyle n\neq 2} eta {\displaystyle n\neq 6} bada, beti egiaztatuko da {\displaystyle \varphi (n)\geq {\sqrt {n}}}
* {\displaystyle \varphi (1)+\varphi (2)+\varphi (3)+...+\varphi (n)\thickapprox {\frac {3n^{2}}{\pi ^{2}}}} , {\displaystyle n} zenbat eta handiagoa izan, erlatiboki orduan eta gehiago hurbiltzen da batura balio horretara

Historia
--------

Leonhard Eulerrek 1763an sartu zuen funtzioa. Hala ere, une horretan ez zuen sinbolo berezirik aukeratu hura denotatzeko. 1784ko argitalpen batean, Eulerrek sakonago aztertu zuen funtzioa, eta π letra grekoa aukeratu zuen hura denotatzeko: πD idatzi zuen "D baino zenbaki txikiagoak eta berarekin zatitzaile komunik ez dutenak" idazteko.

Definizio hori aldatu egiten da D= 1 funtzioaren egungo definizioaren arabera, baina, gainerakoan, funtzio bera da. φ(A) notazio estandarra Carl Friedrich Gauss-en 1801 Disquisitiones arithmeticae tratatutik dator, nahiz eta Gauss-ek ez zuen parentesirik erabili argumentuaren inguruan, eta φA idatzi zuen. Beraz, sarritan Eulerren phi funtzioa edo phi funtzioa deitzen zaio.

1879an, J. J. Sylvesterrek funtzio horretarako termino totientea asmatu zuen, eta Eulerren funtzio totiente edo Eulerren totiente ere deitzen zaio. Eulerren ideia orokortzea da Jordanen totientea. n-ren kobotientea n-φ(n) gisa definitzen da. n baino txikiagoak edo berdinak diren osoko positiboen kopurua kontatzen du, n duten faktore lehenetsi komun bat gutxienez dutenak.

Eulerren teorema
----------------

Fermat-en teorema txikiaren orokortze gisa hartu da. Eulerrek teorema honen bidez baieztatzen du zenbaki osoen zatigarritasuna:

a eta n zenbakiak ditugu beraien arteko elkarrekiko lehenak direnak, orduan n zatitu dezake {\displaystyle a^{\varphi (n)}-1}. Hau beste modu batean emanda aritmetika modularrarekin, {\displaystyle a^{\varphi (n)}\equiv 1{\pmod {n}}}. Bi formuletan Eulerren funtzioa barruan dauka.

Eulerren teoremaren frogapena honako hau da:

Izan bedi {\displaystyle R=\{r\_{1},r\_{2},...r\_{\varphi (n)}\}} hondarra-sesitema murriztu bat, n moduluan. Egiterakoan a{\displaystyle R} barrukoak bider a eginda hondarra-sistema murriztua modulu n-an izaten jarraituko du. Orduan, {\displaystyle aR=\{ar\_{1},ar\_{2},...ar\_{\varphi (n)}\}.} Beraien artean biderketa eginez, {\displaystyle r\_{1}r\_{2}...r\_{\varphi (n)}\equiv a^{\varphi (n)}r\_{1}r\_{2}...r\_{\varphi (n)}{\pmod {n}}}. {\displaystyle r\_{i}} bakoitzk betetzen duenez {\displaystyle zkh(r\_{i},n)=1}, orduan {\displaystyle a^{\varphi (n)}\equiv {\pmod {n}}} da.

Carmichaelen aierua
-------------------

Badaude balio batzuk Euler-en {\displaystyle \varphi (n)} funtzioak ezin dituenak inoiz hartu, adibidez, ez dago {\displaystyle n} zenbaki naturalik non *{\displaystyle \varphi (n)=14}* den. Hartu ezin dituen beste balio batzuk hauek dira: 26, 34, 38, 50, 62, 68...

1907an, Robert D. Carmichael matematikariak honako hau konjeturatu zuen: baldin n zenbakia existitzen bazen non *{\displaystyle \varphi (n)=k}*, orduan existitu behar zela beste *{\displaystyle m}* zenbaki bat non *{\displaystyle \varphi (m)=k}*. Teorema bezala aurkeztu zuen, baina geroago egiaztapenak akats bat zeukala ikusi zuten. Oraindik, aurrerapenak egin badira ere, ezin izan dute aierua guztiz egiaztatu.

Bestetik, *{\displaystyle \varphi (15)=\varphi (16)}* dela ezaguna da, baina *{\displaystyle \varphi (n)=\varphi (n+1)}* propietatea egiaztatzen duten {\displaystyle (n,n+1)} bikote kopurua infinitua ote den ezezaguna da. Jakina dena da edozein {\displaystyle k}-rentzat gutxienez {\displaystyle n} zenbaki bat existitzen dela non *{\displaystyle \varphi (n)=\varphi (n+k)}*, Waclaw Sierpinskik egiaztatu zuenez.

Lehmer-en aierua
----------------

Jakina da {\displaystyle p} zenbakia lehena bada, orduan {\displaystyle \varphi (p)=p+1}. Baina, argi dago {\displaystyle n} lehena ez bada {\displaystyle n}-k ezin duela {\displaystyle n-1} balioa hartu. 1932an D. H. Lehmerrek bere buruari galdetu zion ea {\displaystyle n} zenbaki konposaturen bat existitzen ote zen non {\displaystyle \varphi (n)} {\displaystyle (n-1)}-ren zatitzailea zen. Gaur arte ez da aurkitu propietate hori betetzen duen zenbakirik, eta ez da frogatu ez dagoenik.

Kanpo estekak
-------------

|  |  |
| --- | --- |
| Autoritate kontrola | 
* **Wikimedia proiektuak**
* Wd Datuak: Q190026
* Commonscat Multimedia: Totient function

---

* **Hiztegiak eta entziklopediak**
* Britannica: url

 |

* Wd Datuak: Q190026
* Commonscat Multimedia: Totient function