Evklid-Eulerjev izrek

Predloga:Short description Predloga:About Evklid-Eulerjev izrek je v matematiki izrek, ki povezuje popolna števila z Mersennovimi praštevili. Izrek pravi, da ima vsako sodo popolno število obliko:

$2^{p-1}(2^p-1),$

kjer je $2^p-1$ praštevilo. Imenuje se po Evklidu in Leonhardu Eulerju.

Domneva se, da obstaja neskončno mnogo Mersennovih praštevil. Čeprav pravilnost te domneve ostaja neznana, je po Evklid-Eulerjevemu izreku enakovredna domnevi o obstoju neskončno mnogo lihih popolnih števil. Ni znano tudi ali obstaja vsaj eno sodo popolno število.

Vsebina

Popolno število je naravno število, ki je enako vsoti njegovih pravih deliteljev – števil, ki so manjša od samega števila in ga delijo. Pravi delitelji števila 6 so na primer 1, 2 in 3, njihova vsota pa je enaka 6, tako da je 6 (najmanjše) popolno število. Naslednje popolno število je 28. Mersennovo praštevilo je praštevilo oblike $M_p=2^p-1$. Da je število te oblike praštevilo, mora tudi $p$ sam biti praštevilo. Evklid-Eulerjev izrek pravi, da je sodo naravno število popolno, če in samo če je oblike:

$2^{p-1}{M}_p,$

kjer je $M_p$ Mersennovo praštevilo.

Zgodovina

Evklid je dokazal, da je $2^{p-1}(2^p-1)$ sodo popolno število, kadar je $M_p\equiv 2^p-1$ praštevilo. (Evklid, prop. IX.36). To je zadnji rezultat iz teorije števil v njegovih Elementih – kasnejše knjige Elementov vsebujejo iracionalna števila, geometrijo teles in zlati rez. Evklid je izrazil rezultat v obliki, da če ima končna geometrična vrsta s prvim členom enakim 1 in razmerjem enakim 2 praštevilsko vsoto $P$, je vsota, pomnožena z zadnjim členom vsote $T$, popolno število. Vsota končne vrste $P$, izražena s temi členi, je Mersennovo praštevilo $M_p=2^p-1$, zadnji člen $T$ vrste pa je potenca dveh $2^{p-1}$. Evklid je dokazal, da je $PT$ popolno število, kjer je opazil, da je geometrična vrsta z razmerjem 2 s prvim členom pri $P$ in enakim številom členov sorazmerna z izvirno vrsto – zato, ker je vsota izvirne vrste enaka $P=2T-1$, je vsota druge vrste enaka $P(2T-1)=2PT-P$, obe vrsti skupaj pa dajo vsoto $2PT$, dvakratnik predvidenega popolnega števila. Ti dve vrsti pa sta nepovezani druga od druge in (po praštevilskosti $P$) izčrpata vse delitelje $PT$, tako da ima $PT$ delitelje, katerih vsota je $2PT$, in kar kaže, da je popolno število.

Tisoč let po Evklidu je Ibn al-Haitam okoli leta 1000 domneval, da je vsako sodo popolno število oblike $2^{p-1}(2^p-1)$, kjer je $2^{p-1},$ praštevilo, vendar tega ni mogel dokazati.

V 18. stoletju je Euler dokazal, da bo formula $2^{p-1}(2^p-1)$ dala vsa soda popolna števila. Tako obstaja enolična povezava med sodimi popolnimi števili in Mersennovimi praštevili – vsako Mersennovo praštevila tvori eno sodo popolno število in obratno.

Dokaz

Eulerjev dokaz je kratek in je odvisen od dejstva, da je funkcija vsote deliteljev $\sigma$ multiplikativna – kar pomeni, da če sta $a$ in $b$ dve tuji celi števili, velja $\sigma (ab)=\sigma (a)\sigma (b)$. Da ta formula velja, mora vsota deliteljev števila vsebovati samo število in ne samo njegove prave delitelje. Število je popolno, če in samo če je vsota njegovih deliteljev enaka dvakratniku števila.

Drugi del izreka (del, ki ga je dokazal že Evklid) neposredno sledi iz značilnosti multiplikativnosti – vsako Mersennovo praštevilo da sodo popolno število. Kadar je $2^p-1$ praštevilo, velja:

$\sigma (2^{p-1}(2^p-1))=\sigma (2^{p-1})\sigma (2^p-1).$

Delitelji števila $2^{p-1}$ so $1,2,4,8,\dots ,2^{p-1}$. Vsota teh deliteljev je geometrična vrsta, katere vsota je enaka $2^p-1$. Ker je $2^p-1$ praštevilo, sta njegova edina delitelja 1 in število samo, tako da je vsota njegovih deliteljev enaka $2^p$.

To se združi kot:

$\begin{array}{cc}\sigma (2^{p-1}(2^p-1))& =\sigma (2^{p-1})\sigma (2^p-1)\\ & =(2^p-1)(2^p)\\ & =2(2^{p-1})(2^p-1).\end{array}$

Tako je $2^{p-1}(2^p-1)$ popolno število.

Na drugi strani se predpostavi, da je dano sodo popolno število in ga delno deli kot $2^{k}x$, kjer je $x$ lih. Da je $2^{k}x$ popolno število, mora biti vsota njegovih deliteljev dvakratnik njegove vrednosti:

Lihi prafaktor $2^{k+1}-1$ na desni strani enačbe (∗) je enak vsaj 3 in mora deliti $x$, edini lihi prafaktor na levi strani, tako da je $y=x/(2^{k+1}-1)$ pravi delitelj $x$ Če se obe strani enačbe (∗) delita s skupnim faktorjem $2^{k+1}$ in upoštevata znana delitelja $x$ in $y$ števila $x$, izhaja:

$2^{k+1}y=\sigma (x)=x+y+\text{drugi delitelji}=2^{k+1}y+\text{drugi delitelji}.$

Da ta enakost velja, ne more biti drugih deliteljev. Zato mora biti $y=1$, $x$ pa mora biti praštevilo oblike $2^{k+1}-1$

Viri

• Predloga:Citat
• Predloga:Citat
• Predloga:Citat
• Predloga:Citat
• Predloga:Citat