HAL Id: halshs-01242118https://halshs.archives-ouvertes.fr/halshs-01242118

Submitted on 11 Dec 2015

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Fermat a teorie čísel aneb problematika dělitelů adokonalá čísla

Štefan Porubský

To cite this version:Štefan Porubský. Fermat a teorie čísel aneb problematika dělitelů a dokonalá čísla. Cahiers duCEFRES, Centre Français de Recherche en Sciences Sociales (CEFRES), 2002, Matematik Pierre deFermat, pp.49-86. �halshs-01242118�

1

Cahiers du CEFRES N° 28, Matematik Pierre de Fermat Alena Šolcová, Michal Křížek, Georges Mink (Ed.) __________________________________________________ Štefan PORUBSKÝ Fermat a teorie čísel aneb problematika dělitelů a dokonalá čísla __________________________________________________ Référence électronique / electronic reference : Štefan Porubský, « Fermat a teorie čísel aneb problematika dělitelů a dokonalá čísla », Cahiers du CEFRES. N° 28, Matematik Pierre de Fermat (ed. Alena Šolcová, Michal Křížek, Georges Mink). Mis en ligne en / published on : mai 2010 / may 2010 URL : http://www.cefres.cz/pdf/c28/porubsky_2002_fermat_teorie_cisel.pdf Editeur / publisher : CEFRES USR 3138 CNRS-MAEE http://www.cefres.cz Ce document a été généré par l’éditeur. © CEFRES USR 3138 CNRS-MAEE

2

Bůh viděl, že všechno, co učinil, je velmi dobré.

Byl večer a bylo jitro, den šestý.

Genesis 1, 31

Je zaznamenáno, že celá boží práce byla dokončena za šest dní,

protože šest je dokonalé číslo. …

Protože to je první číslo složené

z šestiny, třetiny a půlky, nebo jednotka, dvojka a trojka dávají

dohromady šest.

Sv. Augustin z Hipponu: O Božské obci

Fermat a teorie čísel

aneb Problematika dělitelů a dokonalá čísla

Štefan Porubský*

, Praha

Lidé si pravděpodobně již na prahu civilizace, jakmile dospěli ke schopnosti násobit čísla, uvědomovali, že čísla mají různé vlastnosti z pohledu násobení. Podívejme se jen, kolik našich šťastných nebo nešťastných čísel jsou prvočísla. Údajně každá kultura (snad s výjimkou amerických Indiánů) znala číselnou mystiku. Proto je pojem dělitele přirozeného čísla velice přirozený. Jak jinak si můžeme vysvětlit, že číslo 60 se stalo základem číselné soustavy ve starém Babylonu. Je to ještě dosti malé číslo a žádné jiné menší číslo nemá větší počet dělitelů, tj.12 . Dalším kandidátem je číslo 48, které má ale jenom 10 dělitelů. Bohatá zásoba dělitelů základu číselné soustavy je důležitá z hlediska počítaní s reciprokými hodnotami (nebo se zlomky obecně). Připomeňme si jen tvrzení, že v poziční číselné soustavě se základem M mají konečný rozvoj jenom ta racionální čísla, jejichž jmenovatel je dělitelem M.

1. Dokonalá čísla * Práce byla napsána s podporou grantu GA ČR 201/01/0471. Autor děkuje RNDr. Aleně Šolcové za závěrečnou úpravu celého příspěvku.

3

Měls vystřelit pětkrát nebo šestkrát,

pak bys pobil Arama úplně!

Druhá královská 13, 19

Alikvotní částí čísla se ve starověku rozuměly vlastní celočíselné podíly tohoto čísla. Např. 1 6 / 6,= 2 6 / 3= a 3 6 / 2= jsou alikvotní části čísla 6, ale samotné číslo 6 není, protože není svým vlastním (tj. menším než číslo samotné) podílem. Existují domněnky,1

3216 ++=

že k pojmu alikvotní části přivedly již staré Egypťany jejich početní metody. Číslo, které bylo součtem svých alikvotních částí, pythagorejci nazývali dokonalé. Pythagorejci studovali dokonalá čísla více pro jejich mystické vlastnosti než pro jejich číselně teoretické vlastnosti. Nejmenší dokonalé číslo je . Číslo 6 se v jisté speciální poloze objevuje již u starých Hebrejců, kdy svět byl stvořen za 6 dní.2 Podobně další dokonalé číslo 28 bylo Bohem zvoleno za dobu oběhu Měsíce kolem Země. Proto pojem dokonalého čísla bude pravděpodobně staršího data. Informace o stavu pythagorejské teorie čísel představují Knihy VII, VIII a IX Eukleidových Základů a zachovalé dílo novopythagorejce Nikomacha z Gerasy (kolem r. 100 n.l.), zejména jeho Úvod do aritmetiky.3 Eukleidés (Základy IX, 36) uvádí (a dokazuje) postačující podmínku:4

Když jest dáno po řadě od jednotky několik čísel v poměru jedné ke dvěma, až součet všech stane se číslem kmenným5

, a když se ten součet znásobí číslem posledním a vznikne jiné, vzniklé číslo bude dokonalé.

Aneb v soudobé formulaci:

Jestliže np 2221 2 ++++= je prvočíslo, pak číslo pn2 je dokonalé.

Eukleidés zakládá důkaz na výčtu všech vlastních dělitelů součinu

pn2 :

1 C. M. Taisbak, Perfect numbers: A mathematical pun? An analysis of the last theorem in the ninth book of Euclid‘s Elements, Centaurus 20 (4), (1976), 269-275. 2 S. Rubin, Sod Hasfiroth (Tajemství čísel), Vídeň, 1873, str. 59. Filón Judejský ( I. stol. n. l.), Pojednání o stvoření světa dle Mojžíše; překlad: C. D. Young, Londýn 1854, sv. I, str. 3. 3 Anglický překlad Nicomachus, Introduction to Arithmetic, s podrobnými komentáři vydal Martin Luther d'Ooge, New York 1926. Nikomachova Arithmetike eisagoge byla první knížkou, která je samostatně věnována aritmetice odděleně od geometrie. Více než 1000 let sloužila jako základní text o aritmetice. Na rozdíl od Eukleida neuvádí důkazy, jenom ilustruje tvrzení numerickými příklady. Nikomachos používá arabské číslovky a ne řecké, ale přesto jeho dílo je psáno ve starém mystickém duchu blízkému víc pythagorejcům nežli pozdějším představám o struktuře matematického textu. Její překlad do arabštiny vedle Eukleida hodně ovlivnil arabský příspěvek k teorii čísel. Nikomachos také napsal dvojdílnou Teologii čísel (Theologoumena arithmetikes), která se věnuje zejména mystickým vlastnostem čísel. Dalším jeho dílem je Manuál harmonie, v němž se věnuje hudbě. Lucian (nar. kolem 120 n.l), rétorik a satirik, používal rčení: Počítáš jako Nikomachos. 4 Citováno podle Servítova překladu z roku 1907, str. 154. 5 Kmenné jest číslo (prvočíslo), které měří jednotka jediná. (Kniha 7, definice 11)

4

ppp nn 12,,2,,2,,2,1 −

a vztahu

122221 12 −=++++ +nn pro součet geometrické posloupnosti, který je doložen jako známý již ve starém Babylonu. U Nikomacha, který žil o čtyři století později než Eukleidés, můžeme pozorovat více spojitostí s babylónskou matematikou než u Eukleida. Takovým projevem je kupříkladu jeho popis vlastností figurálních čísel. Nicméně Nikomachos uvádí čtyři dokonalá čísla

),12(26 2 −= ),12(228 32 −= ),12(2496 54 −= 6 78128 2 (2 1).= − Zde

6 1 2 3,= + +

28 1 2 4 7 14,= + + + +

496 1 2 4 8 16 31 62 124 248,= + + + + + + + +

a

8128 1 2 4 8 16 32 64 127 254 508 1016 2 032 4 064.= + + + + + + + + + + + +

Tato čtyři dokonalá čísla se objevují již v antice, a proto se zdá nemožné datovat dobu jejich objevu nebo stanovit jejich objevitele. Nečekaně se objevuje problematika dělitelů přirozených čísel v páté knize Platónových Zákonů.6

5 040

V knize Platón (427 - 347 př.n.l.) doporučuje volit počty bezzemků a majitelů půdy v nově založeném státě tak, aby měli dostatečně mnoho dělitelů. Vhodné je např. číslo

, které má 160 − dělitelů. Zákonodárce musí natolik ovládat aritmetiku, aby to byl schopen podle velikosti města přiměřeně zařídit. Z těchto příkladů můžeme opět usuzovat, že problematikou dělitelů se v antice zabývali více, než můžeme dedukovat z Eukleidových Základů. V dnešní symbolice můžeme dokonalá čísla definovat pomocí funkce součet alikvotních částí

|( ) .

d nd n

s n d<

= ∑

Pak je dokonalé číslo charakterizováno vztahem nns =)( . Dokonalá čísla mají mnoho dalších zajímavých vlastností. Například každé dokonalé číslo je trojúhelníkové, tj. je možné je reprezentovat pomocí kamínků uložených ve tvaru rovnoramenného pravoúhlého trojúhelníku

6 Zde Platón doporučuje zajistit výrobu otroky a cizinci.

5

(viz obr. 1). Aritmeticky vyjádřeno, jsou tvaru 2/)1( +tt pro vhodné přirozené t .

1=t 2=t 3=t 4=t

Obr. 1. Grafické znázornění trojúhelníkových čísel. Dále součet reciprokých hodnot alikvotních částí dokonalého čísla se rovná jedné, např.

pro :6=n 161

31

21 =++ ,

pro :28=n 1281

141

71

41

21 =++++ .

6

Obr. 2. Nikomachos (kolem 100 n. l.).

Nikomachos bez důkazů, které nemohly existovat pro všechna tvrzení, protože ne všechna jsou pravdivá (srov. kap. 3), nebo doposud neznáme na ně odpověď, uvádí následující vlastnosti dokonalých čísel: 1. n -té dokonalé číslo má n cifer. 2. Všechna dokonalá čísla jsou sudá. 3. Každé dokonalé číslo končí střídavě buď cifrou 6 nebo 8. 4. Eukleidem uváděný algoritmus generuje všechna dokonalá čísla. 5. Existuje nekonečně mnoho dokonalých čísel. Nikomachos též dělí (Kniha I, kap. 14,15) sudá čísla na abundantní, např. 24,12 , a deficientní, jako např. 8,14 . Přitom abundantní čísla jsou definována jako čísla, pro která )(nsn < , a pro deficientní čísla je

( )nsn > . Z matematického hlediska je velice zajímavý poznatek, dříve formulovaný Tassiem,7 že libovolný násobek dokonalého a abundantního čísla je číslo abundantní,8

zatímco každý dělitel dokonalého čísla je deficientní.

Nikomachos pokračuje v rozvíjení číselné mystiky tím, že za hlavní cíl svého Úvodu do aritmetiky klade výklad zázračných a božských vlastností čísel. Podle Nikomacha (I,16) se dokonalá čísla nacházejí mezi nadbytkem a nedostatkem. Prvních devět dokonalých čísel je uvedeno v tabulce: p )12(2 1 −− pp objevitel

2 6 Pythagoras? 3 28 Eukleidés?

5 496 Eukleidés? 7 8 128 Eukleidés?

13 33 550 336 anonym 17 8 589 869 056 anonym 19 137 438 691 328 Cataldi 31 2 305 843 008 139 952 128 Euler 61 2 658 455 991 569 831 744 654 692 615 953 842 176 Pervušin

Desáté číslo (pro 89=p )

191 561 942 608 236 107 294 793 378 084 303 638 130 997 321 548 169 216 objevil Powers.

7 J. A. Tassi, Aritmeticae Empiricae Compendium, Hamburgi 1673, pp. 13, 14. 8 Z tohoto poznatku se postupně v pracích Dicksona a Davenporta vyvinul pojem primitivního abundantního čísla, ze kterého později P. Erdős "vypreparoval" pojem primitivní posloupnosti. Pro další zobecnění viz kupř. Š. Porubský, Notes on density and multiplicative structure of sets of generalized integers, Colloquia Mathematica Societatis János Bolyai, 34. Topics in Classical Number Theory, Budapest, 1984, 1295-1315.

7

Nikomachovo tvrzení, že Eukleidův vztah dává všechna dokonalá čísla, se objevuje bez ohledu na příspěvek Arabů v evropské renesanční matematice ještě kolem roku 1500. Dokonce se objevili autoři (Pacioli, de Bovelles), kteří nesprávně tvrdili, že formule 12 (2 1)k k− − dává dokonalé číslo pro každé .k Páté dokonalé číslo se v Evropě objevuje až v jistém rukopisu z roku 1461. Je uvedeno i v jednom Regiomontanově rukopisu,9

který byl sepsán během jeho pobytu ve Vídni. Páté a šesté dokonalé číslo bylo objeveno též v rukopisu sepsaném neznámým autorem kolem roku 1460. Vše, co o něm víme, je, že žil ve Florencii a byl studentem jistého Domenica d‘Agostina Vaiaio.

Obr. 3. Marin Mersenne (1588-1648). V roce 1638 tvrdil Descartes v dopisu Mersennovi,10

2ps

že může dokázat, že každé sudé dokonalé číslo je Eukleidova typu, že každé liché dokonalé číslo je tvaru , kde p je prvočíslo, a že nevidí důvod, proč

9 E. Picutti, Pour l‘historie des sept premiers nombres parfaits, Historia Mathematica 16 (2) (1989), 123-136. 10Marin Mersenne (8.9.1588 - 1.9.1648) francouzský matematik, filosof a teolog. Jeho nejdůležitější aktivitou byla úloha zprostředkovatele vědecké korespondence v období, kdy neexistovaly vědecké časopisy. Do okruhu jeho korespondentů patřili i Fermat, Descartes, de Roberval, nebo Etienne Pascal. Mersenne navrhl např. Ch. Huygensovi použít kyvadlo jako přístoj na měření času.

8

by liché dokonalé číslo nemohlo existovat.11 První publikovaný důkaz, že každé sudé dokonalé číslo je Eukleidova typu, pochází od Eulera v práci, která vyšla posmrtně12

:

Přirozené číslo n je sudým dokonalým číslem, právě když je tvaru ),12(2 1 −= − ppn kde činitel 12 −p je prvočíslo.13

Tím byl završen dvoutisíciletý proces hledání kritéria, podle kterého můžeme generovat sudá dokonalá čísla. Eulerův-Eukleidův výsledek ukazuje, že sudá dokonalá čísla dokážeme generovat, pokud jsme schopni nalézt prvočísla tvaru ,12 −= n

nM která se nazývají Mersennova a o nichž pojednáme později. To ale neřeší dva ústřední problémy z oblasti dokonalých čísel: • Existuje nekonečně mnoho dokonalých čísel? • Existuje liché dokonalé číslo? 14

Bachet de Méziriac, který vešel do dějin vydáním latinského překladu Diofantovy Aritmetiky, kterou pak studoval detailně Fermat, podal15

12 −= pm

zdlouhavý důkaz Eukleidovy postačující podmínky pro dokonalá čísla s dodatkem, že pokud je složené, je číslo mp 12 − abundantní. Podobně není důvod omezovat se i u definice abundantních a deficientních čísel na sudá, jak to dělal Nikomachos. Nejmenší liché abundantní číslo je .945 Pokud označíme )(xA počet abundantních čísel nepřesahujících x, pak je známo, že ,314,0)(241,0 xxAx << což znamená, že většina čísel je deficientních.16

xxAx /)(lim ∞→

V roce 1933 bylo dokázáno, že existuje, ale její hodnota není známá. Pojem dokonalého čísla můžeme bezprostředně zobecnit: Přirozené číslo n se nazývá k-násobně dokonalé, pokud

.)1()( nkns −=

11 Dnes víme, že neexistuje liché dokonalé číslo menší než 30010 . Heath-Brown v roce 1994

dokázal, že když n je liché číslo, pro které ,|

)( annddn =∑=σ pak ,4)4(

kmn < kde m je

jmenovatel čísla a a k je počet různých prvočíselných faktorů čísla .n Speciálně, když n je

liché dokonalé číslo s k různými prvočíselnými děliteli, pak k

n 44< . Hagis a Chain nezávisle na sobě dokázali, že liché dokonalé číslo musí mít alespoň 8 různých prvočíselných dělitelů, abychom uvedli alespoň některé známé výsledky. 12 L. Euler: De numeris amicabilibus, Commen. Arith. 2,514; Opera posthuma 1,1862, 88. 13 Všimněte si zajímavého tvaru dokonalých čísel ve dvojkové soustavě, který plyne z tohoto tvrzení. První čtyři jsou: 110, 11100, 111110000, 1111111000000. Na tuto jednoduchou skutečnost poprvé upozornil F.J. Studnička v Sitzugsberichte der königlichen böhmischen Gessellschaft der Wissenschaften v r. 1899. Nr. 30, str. 1-3. 14 Tento problém je pravděpodobně nejstarším otevřeným matematickým problémem vůbec. 15 Elementorum arithmeticorum libri XIII auctori D …, latinský rukopis v Bibliothéque de l`Institut de France, viz též Henry, Bull. Bibl. Storia Sc. Mat. e Fis. 12, 1879, 619-641. 16 Mezi 10 a 100 je 21 abundantních čísel.

9

Dvojnásobně dokonalá čísla jsou proto dokonalá čísla podle předchozí definice. Číslo 120 je 3-násobně dokonalé, 30 240 je 4-násobně dokonalé a 14182 439 je 5-násobně dokonalé. Poznamenejme, že problematikou dokonalých čísel se nevyčerpávají všechny problémy o alikvotních částech, které zajímaly Fermata. Například ve své „premier défi aux mathématiciens" ze dne 3. 1. 1657 vyzývá k řešení následujících problémů: • Najděte třetí mocninu, která dává čtverec, když ji zvětšíme o součet

jejích alikvotních částí,17

jako např.

.20)771(7 223 =+++ • Najděte čtverec, který zvětšený o součet alikvotních částí vede na

třetí mocninu.18

17 Ve francouzském překladu tohoto problému je špatný překlad požadující, aby výsledný součet byl třetí mocninou, Oeuvres de Fermat 3, str. 311. 18 Poznamenejme, že odpověď na tyto problémy zdaleka není lehká. E. Lucas v roce

1877 první problém přeformuloval na řešení diofantské rovnice 2321 yxxx =+++ a konstatoval, že nejmenší složené číslo, které je jejím řešením, je číslo

474113532 ⋅⋅⋅⋅⋅=x . Takové řešení našel i Frénicle de Bessy v roce 1657. Frénicle de Bessy našel v roce 1658 odpověď na i na druhý problém: čtverec čísla

4994392631911636737117522 ⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅=x a třetí mocnina čísla

1096723119133723 ⋅⋅⋅⋅⋅⋅=y .

10

2. Spřátelená čísla

Pak vzal z toho, co vyzískal,

dar na usmířenou pro svého bratra Ezaua:

dvě stě koz a dvacet kozlů, dvě stě bahnic a dvacet beranů, …19

Genesis 32, 14-15 Již dávno (nejpozději v antice) bylo objeveno přirozené zobecnění dokonalých čísel. Spřátelená čísla jsou definována jako taková dvojice čísel, u nichž součet alikvotních částí jednoho čísla se rovná číslu druhému, tj. ),( nm je spřátelená dvojice, když

)(nsm = a současně )(msn = .

O Pythagorovi se traduje,20 že na dotaz, co znamená přítel, odvětil,21

284

že je to druhé já, a připomněl dvojici spřátelených čísel a .220 Spřátelená čísla se opakovaně objevují u Arabů, kde měla své místo v jejich magii a astrologii při tvorbě horoskopů. V 9. stol. n. l. arabský matematik Abu-l-Hasan Thabit ibn Urra22

z Bagdádu dokázal první algebraické pravidlo pro generování spřátelených čísel, které dnes nese jeho jméno:

Jsou-li ,123 1 −⋅= −np 123 −⋅= nq a 129 12 −⋅= −nr prvočísla, pak čísla ,2 pqM n= rN n2= jsou spřátelená. Pro ,2=n ,2=p 11=q a 71=r dostaneme známou Pythagorovou dvojici. Pro 4=n a 7=n dostaneme hodnoty:

2=n 4=n 7=n 5=p 23=p 191=p

11=q 47=q 233=q 71=r 1151=r 73727=r 220=M 17296=M 9363584=M 284=N 18416=N 9437056=N

19 E. J. Lee, J. S. Madachy, The history and discovery of amicable numbers, I - III, Journal of Recreational Mathematics 5 (1972), 77-93, 153-174, 231-249. 20 Podle podání Iamblicha (kolem 283-kolem 330), zakladatele syrské školy neoplatonismu a autora Pythagorova životopisu (Iamblichos/Porphyrios, Vita Pythagorica, Ed. A. Nauck, 2. vydání, Lipsko 1886), který pro patetický a nadnesený popis nepovažuje mnoho autorů za důvěryhodný. Takto údajně definuje přátele i Aristotelés ve své Etice. 21 B. L. Van der Waerden, Probouzející se věda (Science Awakening), ruské vydání Moskva 1959, str. 136. 22 Tento Abu-l-Hasan Thabit ibn Urra, známý arabský matematik a směnárník, žil mezi r. 841 a 901. Psal díla z medicíny, filosofie, matematiky, astronomie a astrologie. Překládal také z řečtiny a syrštiny do arabštiny, např. díla Eukleida, Apollonia, Ptolemaia, Prokla, Nikomacha aj.

11

Do r. 1980 byly touto tabulkou vyčerpány všechny známé hodnoty pro 20 000n ≤ . Není známo, zda Thabit použil svoji větu pro .2>n Ve 14. stol. objevil23 4=n znovu Thabitovo pravidlo pro a 7=n Ibn al-Banna (1256 - 1321) z Marakeše (Maroko). V jeho díle najdeme tuto větu: Čísla 17 296 a 18 416 jsou spřátelená; jedno z nich je abundantní, druhé deficientní. Alláh je všemohoucí. Kamaladdin Farisi z Bagdadu našel také dvojici 17 296M = a

18 416N = . V 17. stol. objevil Muhammad Baqir Yazdi z Íránu dvojici pro 7=n : 9 363 584M = a 9 437 056.N = Ibn al-Haytham dokázal částečné obrácení Eukleidova tvrzení v nepublikovaném díle Pojednání o analýze a syntéze, když dokázal, že dokonalá čísla splňující jisté podmínky musí být tvaru 12 (2 1),k k− − kde 2 1k − je prvočíslo. Ibrahim ibn Fallus (1194 -1239) sepsal dílo24

Antičtí a arabští autoři a jejich středověcí následovníci s oblibou zařazovali do svých děl části o dokonalých a spřátelených číslech, v nich ovšem často nebylo nic nového a mnohdy obsahovaly i chyby. Postupem času se ale na Thabitovy formule zapomnělo a jeho dílo bylo znovuobjeveno až v 17. stol.

založené na Nikomachově Úvodu do aritmetiky, kde přebírá jeho klasifikaci čísel, uvádí tabulku deseti podle něj dokonalých čísel, z nichž ovšem jenom prvních 7 je dokonalých, zbývající tři dokonalá nejsou.

Přes Araby se spřátelená čísla dostala do západní Evropy, kde se objevují kolem roku 1500 u Nicolase Chuqueta, Etienna de la Roche (Villefranche), Michaela Stiefela, Cardana nebo Tartaglii.

Nalezl jsem velké množství mimořádně krásných vět.

Pierre de Fermat V roce 1636 Pierre de Fermat a nezávisle na něm roku 1638 René Descartes objevili Thabitovy formule. Marin Mersenne, kterému napsali o svých objevech, je nazval velikými úspěchy geniálních matematiků. Mersenne25

uvádí toto Fermatovo pravidlo:

Začni s geometrickou posloupností ,2 ,4 ,8 16 , … , napiš trojnásobky o řádek níže, odečti 1 ze součinu a napiš výsledek do horního řádku. Spodní řádek je ,1126 −⋅ ,12412 −⋅ …. Když číslo v posledním řádku je prvočíslo (jako např. 71 ), v horním řádku je také prvočíslo (11) a číslo 23 W. Borho, H. Hoffmann, Breeding amicable numbers in abundance, Mathematics of Computation 46, 1986, 281-293. 24 S. Brentjes, Die ersten sieben vollkommenen Zahlen und drei Arten befreundeter Zahlen in einem Werk zur elementaren Zahlentheorie von Ismail b. Ibrahim ibn Fallus, NTM Schr. Geschichte Natur. Tech. Medizin 24 (1) (1987), 21-30. S. Brentjes, Eine Tabelle mit volkommenen Zahlen in einer arabischen Handschrift aus dem 13. Jahnrhundert, Nieuw Arch. Wisk. (4) 8 (2) (1990), 239-241. 25 R. Descartes, Seconde Partie de l`Harmonie universelle, Paris 1837, str. 26, pozorování 13; též Oeuvres Fermat, 2, 1894, 21.

12

mu předcházející (5 ) je též prvočíslo, pak čísla ,284471 =⋅ 2204115 =⋅⋅ jsou spřátelená. Podobně pro 41618161151 =⋅ ,

25617164723 =⋅⋅ a stejným způsobem do nekonečna.

5 11 23 47 2 4 8 16 6 12 24 48 71 287 1151

Později Mersenne citoval pravidlo, které mu sdělil Descartes26 (sice formálně jiné, ale jak sám Descartes napsal,27 Fermatovo pravidlo je shodné s jeho, takže mnozí autoři často připisují tuto konstrukci Descartovi). Při té příležitosti oba (Fermat i Descartes) objevili i vztah pro hodnotu funkce „součet všech dělitelů“ 28

|( ) ( ) ,

d nn d s n nσ = = +∑

pokud známe rozklad čísla n na prvočinitele. Je historickou kuriozitou, že druhá nejmenší dvojice - 18 416 a 17 296 (první je Pythagorova - 220 a 284) byla znovu nezávisle nalezena až v roce 1866 šestnáctiletým italským školákem se zajímavým jménem Niccolo Paganini.29

H.-J. Kanold dokázal, že v libovolné dvojici spřátelených čísel musí mít jedno z čísel alespoň tři prvočíselné dělitele. To znamená, že Thabitova věta popisuje nejjednodušší případy. Na druhé straně P. Erdős dokázal, že asymptotická hustota spřátelených čísel se rovná nule, tj. je jich velice málo.

Z těchto výsledků ovšem neplyne, zda existuje nekonečně mnoho spřátelených dvojic. Podobně neznáme nutnou a postačující podmínku pro spřátelené dvojice, a ani efektivní metodu na jejich generování. To, že pojmy dokonalých čísel a spřátelených čísel patří do stejné kategorie, ukazuje následující zobecnění. Definujme alikvotní posloupnost jako posloupnost iterací funkce :s

,)(0 nns = )),(()(1 nssns kk =+ .0>k

26 Descartes sám o něm tvrdí, že souhlasí s Fermatovým (Oeuvres de Descartes, 2, 1898, 93-94). 27 Oeuvres de Descartes, 2, 1898,148; dopis Mersennovi ze dne 27. 5. 1638. 28 Funkce „součet všech dělitelů" nemá jednotně ustálené označení. Poznamenejme, že Euler (Opusc. var. argum. 2, 1759, str. 23 = Comm. arithm. 1, str. 102) používal označení ∫ n nebo

∫ )(n pro součet všech dělitelů čísla n L. Euler (Comm. arithm. 1, str. 104-109, 147) sestavil jako první tabulku hodnot této funkce. Pro informace o jejím dalším zobecnění viz Lucas, Théorie des nombres, 1891, str. 378. Např. Liouville používal označení )(nξ nebo obecněji

∑=nd

kdnk |)(ξ .

29 Čtenář možná sáhne po práci E. J. Lee, J. S. Madachy, The history and discovery of amicable numbers, I, II, III, Journal of Recreational Mathematics 5, 1972, 77-93, 153-173, 231-249.

13

Pak dokonalá čísla jsou čísla ,n pro která .)(1 nns = Spřátelená čísla ,m n splňují podmínku

,)(1 mns = .)(2 nns =

Když pro dané n dostaneme cyklus délky k , pak alikvotní posloupnost n , ),(ns ),(2 ns … , )(1 nsk− tvoří přátelskou skupinu řádu k . První takovouto skupinu pro 3≥k objevil P. Poulet30 ( , ) (5,12 496)k n = pro a ( , ) (28,14 316).k n = 30 P. Poulet, Question 4865, l'Indetermediare des Math. 25, 1918, 100-101; viz též A. Flammenkamp, New sociable numbers, Mathematics of Computation 56, 194, 1991, 871-873.

14

3. Mersennova čísla

Informovat Mersenna o objevu znamená oznámit to celé Evropě.

Dobové rčení

V minulosti často vyslovovaná domněnka, že 12 −= p

pM je prvočíslo, když p je prvočíslo, neplatí. V r. 1536 Hudalricus Regius našel ve svém díle Utriusque Arithmetices rozklad čísla 112 1 2 047,− = čímž dokázal, že není prvočíslem ).89232047( ⋅= Objevil tak první prvočíslo ,p pro které 12 (2 1)p p− − není dokonalé. Současně zjistil, že

132 1 8191− = je prvočíslo tím, že dokázal, že pátým dokonalým číslem je 12 132 (2 10) 33 550 336.− = Protože toto dokonalé číslo má 8 cifer, popřel současně Nikomachovou domněnku o počtu cifer dokonalého čísla (viz kap.1). V r. 1555 uvádí J. Scheybl v poznámkách k překladu Eukleidových Základů páté dokonalé číslo. Dílo ovšem bylo znovu objeveno až v roce 1977. V r. 1603 Pietro Cataldi31

172 1 131071− =

v díle Trattato de numeri perfetti předkládá prvočinitele všech čísel do 800 a tabulku prvočísel do 750. Pomocí této tabulky dělením prvočísly menšími než druhá odmocnina dokázal, že

je prvočíslem32

16 172 (2 1) 8 589 869 056− = a současně dokonalým číslem

. Popřel tak další Nikomachovo pravidlo o střídání 6 a 8 na konci dokonalých čísel. Ověřil také, že

192 1 524 287− = je prvočíslem, čímž našel sedmé dokonalé číslo. Na druhé straně, ve své Utriusque Arithmeticae nesprávně tvrdil, že

12 −p je prvočíslem i pro .37,31,29,23=p Na to, že se Cataldi mýlil v případě 23 a ,37 upozornil Fermat v roce 1640. Euler roku 1738 ukázal, že Cataldi se mýlil i v případě ,29 ale později potvrdil jeho tvrzení pro .31

31 P. A. Cataldi (1552-1626) profesor matematiky ve Florencii i Bologni. Cataldi se pokusil založit v Bologni nejstarší známou matematickou akademii. V práci Traktát o nejkratším způsobu nalezení druhých odmocnin z čísel, Bologna 1613, poprvé navrhl počítaní odmocnin pomocí řetězových zlomků, které zapisoval tak, jak to děláme my. 32 Poznamenejme, že 0711315005622750 >= .

15

Obr. 4. Deska označující náměstí Marina Mersenna v jeho rodném Oizé (v départmentu Sarthe, dříve dépt. Maine, Francie, foto M. Křížek). Mersennovým prvočíslem rozumíme číslo tvaru ,12 −= p

pM které je současně prvočíslem. M. Mersenne33

}257,127,67,31,19,17,13,7,5,3,2{∈p v roce 1644 píše, že pro

je pM prvočíslem, zatímco pro jiné hodnoty 257≤p dostaneme čísla složená. Ověření tohoto tvrzení nebylo jednoduché a trvalo až do období kolem roku 1947. V roce 1750 Euler ověřil hodnotu 31 a v roce 1867 Lucas34

.127 hodnotu

Roku 1877 Pervušin našel mezeru v Mersennově seznamu, když dokázal, že 1261 − je prvočíslem. Kolem roku 1900 zjistil Powers, že v seznamu chybějí i hodnoty 89 a .107 V roce 1922 ukázal Kraitchik, že exponent 257 nevede na prvočíslo. Jak bylo řečeno, teprve kolem 1947 bylo definitivně zjištěno, že Mersennův seznam má mít tvar:

}.127,107,89,61,31,19,17,13,7,5,3,2{∈p

33 M. Mersenne, Cogitata Physico Mathematica, Paris, 1644. 34 F. E. A. Lucas (1842-1891) pracoval po skončení studia na Ecole Normale jako asistent na pařížské observatoři a později učil matematiku na střední škole v Paříži. V roce 1975 ve francouzsko-pruské válce byl důstojníkem francouzského dělostřelectví. V roce 1885 při slavnostném udělování cen podněcoval školáky, aby napadli Německo. V matematické komunitě je známý, kromě jiného, zejména svým testem prvočíselnosti a tzv. Lucasovými čísly. Proslavil se také svými počtářskými schopnostmi. Zemřel na infekci po pořezání úlomkem spadlého talíře na společenské slavnosti.

16

Obr. 5. Pamětní deska věnovaná Marinu Mersennovi, iniciátorovi vědeckého života v Evropě a duchovnímu otci Francouzské akademie věd (foto P. Křížek). Mersenne později35

pM tvrdil, že je prvočíslem, pokud p je prvočíslem, které je o 3 větší nebo menší než nějaká mocnina k2 se sudým exponentem. Podle toho by číslo 67M mělo být prvočíslem, protože .2367 6+=

35 M. Mersenne, Novarum Observationum Physico-Mathematicarum, Tomus III, Parisiis 1647, Cap. 21, p. 182.

17

Obr. 6. Kostel v Oizé, v němž byl Marin Mersenne pokřtěn. Pamětní deska z obr. 5 je umístěna vpravo od vchodu. Vlevo od kostela se nachází Mersennovo náměstí (viz obr. 4, foto M. Křížek). V Cogitata Physico Mathematica36

Mersenne dále píše:

Ověření toho, že dané 15- nebo 20-místné číslo je prvočíslem, všemi známými současnými metodami by vyžadovalo celý život. Toto tvrzení by zůstalo pravdivé, kdyby se postupně na scéně neobjevily nové myšlenky a počítače. Dnes poměrně snadno zjistíme, že z čísel ,pM kde p je prvočíslo, je pro 50 000p < jenom 27 prvočísel. Není těžké nalézt kritéria, která znějí jednoduše, ale jejich realizace jednoduchá není. Např. lze nahlédnout37

n, že k tomu, aby přirozené číslo

bylo Mersennovým prvočíslem, je nutné a stačí, aby n bylo prvočíslo a aby číslo 1+n nemělo lichého prvočíselného dělitele. Proto na nalezení všech Mersennových prvočísel „postačí“ dvojnásobná aplikace Eratosthenova síta. Přijatelnější kritérium prvočíselnosti pro prvočísla 2>p našel Lucas.38. Původně bylo formulováno poněkud nejasně, ani jeho důkaz nebyl úplný. Lucasovo kritérium zjednodušil Derrick H. Lehmer.39 40

Nechť 21=S a 22 21 −⋅= −kk SS pro ,3,2=k . Pak pro p >2 je

pM prvočíslem, právě když .| 1−pp SM Ekvivalentní formulace je: Nechť 41 =s a ))12((mod22

1 −−= −p

kk ss pro ,3,2=k . Pak pro p >2 je pM prvočíslem, právě když .01 =−ps K důkazu, že 11 2 047M = není prvočíslem, vede posloupnost

;41 ≡s ;142 ≡s ;1943 ≡s ;7884 ≡s ;7015 ≡s ;1196 ≡s 7 1877;s ≡ ;2408 ≡s ;2829 ≡s ( )2047mod173610 ≡s .

36 Je zajímavé poznamenat, že zde se také ptá, které číslo má 60 dělitelů, a nalézá Platónovo řešení. 37 S. W. Golomb, Sets of primes with intermediate density, Mathematica Scandinavica 3, 1955, 270. 38 F. E. A. Lucas, Théorie des fonctions numériques simplement périodiques, American Journal of Mathematics 1, 1878, 184-240, 289-321, zejména str. 316. 39 D. H. Lehmer (1905-1991) je často nazýván otcem výpočetní teorie čísel. Navrhl více jednoúčelových zařízení pro číselně teoretické výpočty. Na protest proti mccarthismu opustil univerzitu v Berkeley a čínskou větu o zbytcích ironicky nazýval tchajwanskou zbytkovou větou. 40 D. H. Lehmer, An extended theory of Lucas functions, Annals of Mathematics 31, 1930, 419-448. On Lucas' test for the primality of Mersenne's numbers, J. London Mathematical Society 10, 1935, 162-165.

18

Tento tzv. Lucas-Lehmerův test je velmi výhodný, protože umožňuje využívat dvojkovou soustavu používanou v počítačích. Jeho nevýhodou je, že nedává informaci o prvočinitelích. Tak např. Lucas pomocí svého testu dokázal v r. 1876 již jednou uvedený fakt, že číslo ,127M které má 39 cifer, je prvočíslem. Je to současně největší prvočíslo nalezené v předpočítačové éře. Ve stejném roce dokázal Lucas, že 67M je složené. Ale až v roce 1903 F. N. Cole41 1267 − faktorizoval číslo , o kterém Mersenne tvrdil, že je prvočíslo. Této faktorizaci věnoval neděle tří let. V r. 1903 přednesl na půdě Americké matematické společnosti dnes již legendární přednášku beze slov, kterou Eric Temple Bell popsal slovy: Cole, beztak málomluvný člověk, přistoupil k tanuli, beze slov vzal křídu a spočítal 2 na 67-mou. Pak starostlivě odečetl 1 a jako výsledek získal číselné monstrum

147 573 952 589 676 412 927.

Poté pořád beze slov, vyhledal ještě volné místo na tabuli a ručně vynásobil krok za krokem

287257838761721707193 ⋅ . Když oba výpočty souhlasily, dostalo se mu bouřlivých ovací. Cole se vrátil na své místo, stále bez jediného slova. Mersennova domněnka tak zmizela ve hlubinách matematických hrdinných ság.

41 Bulletin of the American Mathematical Society 10, 1903-4, 134-137. Frank Nelson Cole (20.9. 1861-26.5. 1926) po skončení středoškolských studií se vzdělával soukromně, dříve než nastoupil v r. 1878 na Harvard. Jeho nadání mu otevřelo cestu ke stipendiu během studia a k podpoře jeho cesty do Evropy v letech 1883-85, kdy studoval u F. Kleina. Po návratu napsal disertaci A contribution to the theory of the general equation of the sixth degree, za kterou mu byla v r. 1886 udělena hodnost Ph.D. Od roku 1895 byl až do své smrti profesorem na Columbia University (jeho studenty byli kupř. Osgood a M. Bôcher). V letech 1896-1920 byl tajemníkem Americké matematické společnosti a od r. 1987 hlavním editorem Bulletinu Americké matematické společnosti. Založil dnes po něm pojmenovanou vysoce prestižní cenu z algebry a teorie čísel.

19

Obr. 7. Frank Nelson Cole. V r. 1750 formuloval Euler následující tvrzení, které úplně dokázal až Lagrange v roce 1775:

Když p je prvočíslo takové, že ),4(mod3≡p pak 12 +p je dělitelem čísla pM právě tehdy, když 12 +p je prvočíslo. V případě, že 3>p , je

pM složené číslo.42

Z tohoto tvrzení okamžitě dostaneme, že 11M je dělitelné prvočíslem .111223 +⋅=

Doposud známe nejméně (protože vývoj jde rychle kupředu) 39 Mersennových prvočísel.43 Jmenovitě44 :p pro 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1 279,

2 203, 2 281, 3 217, 4 253, 4 423, 9 689, 9 941, 11 213, 19 937,

21 701, 23 209, 44 497, 86 243, 110 503, 132 049, 216 091,

756 839, 859 433, 1 257 787, 1 398 269, 2 976 221, 3 021 377,

6 972 593, 13 466 917.

42 Ve skutečnosti nevíme, zda existuje nekonečně mnoho složených čísel typu pM .

Z tzv. Schinzelovy hypotézy H plyne, že existuje nekonečně mnoho prvočísel p takových, že i 2p+1 je prvočíslo. 43 Dvacáté páté z nich objevili osmnáctiletí kalifornští středoškoláci Curt Noll a Laura Nickel v roce 1987. 44 Pro případné další hodnoty viz http://www.utm.edu/research/primes/largest.html.

20

Existuje více názorů na počet Mersennových prvočísel. Jedna z hypotéz45

,log/)(lim xxMx ∞→

říká, že existuje konečná nenulová limita kde )(xM je počet Mersennových prvočísel

nepřesahujících .x

4. Malá Fermatova věta

Nikdo ještě neobjevil válečný záměr, kterému by posloužila teorie čísel

nebo relativity, a je nepravděpodobné, že by se to v blízké době

někomu podařilo.

G. H. Hardy, Obrana matematikova

Ve studiu dokonalých a Mersennových čísel velice pokročil Pierre de Fermat. V roce 1636 píše Robervalovi, že pracuje na této problematice, v níž udělal velký pokrok, přestože je velice obtížná, a míní na to téma napsat pojednání. Dílo nebylo nikdy sepsáno. Fermat v dopisu46 Mersennovi napsal, že zná metodu, která mu umožňuje řešit všechny otázky kolem alikvotních částí. Na tuto poznámku navázal Frénicle de Bessy47 a přes Mersenna vyzval Fermata, aby našel dokonalé číslo, které má dvacet nebo více cifer. Fermat na to odpověděl Mersennovi,48

že dokonalé číslo s 20 nebo 21 ciframi neexistuje, což odporovalo tehdejšímu přesvědčení, že existuje dokonalé číslo mezi každými dvěma mocninami čísla 10. Přesněji píše:

Našel jsem zkratku pro hledání dokonalých čísel a hned na začátku říkám, že není takové s 20 nebo 21 ciframi. To vyvrací domněnku těch, kteří věřili, že v rozsahu každé mocniny 10 existuje takové; takové jako od 1 do 10, jiné od 10 do 100, další od 100 do 1 000, atd. Tomu není tak, jak ukazuje tento příklad: od 10 000 000 000 000 000 000 do další mocniny 10 neexistuje žádné, stejně jako od této mocniny 10 po následující. Fermat později49

oznamuje Mersennovi tři tvrzení, která je údajně schopen bez velkých potíží dokázat a která tvoří základ práce s dokonalými čísly. Tato tvrzení jsou následující:

1. Je-li n složené, je i 2 1n − složené. 2. Je-li n prvočíslem, pak je 2 2n − dělitelné číslem 2n . 3. Je-li n prvočíslem, pak 2 1n − je dělitelné jedině prvočísly tvaru

2 1.kn + 45 D. B. Gilles, Three new Mersenne primes and a statistical theory, Mathematics of Computation 18, 1964, 93-97. 46 Ze dne 26.12.1638. 47 Bernard Frénicle de Bessy (1605?-1675), astronom, fyzik a číselný teoretik z Paříže. 48 Květen 1640. 49 Červen 1640.

21

Fermat pracoval s Mersennovými čísly pM asi do hodnoty 23.p = Zjistil přitom zajímavou skutečnost: Každé prvočíslo ,q které dělí ,pM dává zbytek 1 po dělení ,p tj. když | ,pq M pak 1 (mod ).q p≡ Protože každý dělitel d čísla pM je součinem prvočísel, nutně

1 (mod )d p≡ pro každého dělitele čísla ,pM speciálně i pro ,pd M= tj.

( )pp mod012 ≡− . Později Fermat zjistil50 2, že základ nemá v tomto tvrzení žádnou speciální roli, což jej vedlo k tvrzení, dnes nazývanému Malá Fermatova věta (MFV), výsledku, který hraje fundamentální roli v mnoha důkazech v teorii čísel a je prototypem důležitých vět algebry:51

Malá Fermatova věta: Když p je prvočíslo, pak pro každé b nesoudělné s p platí

1 1 (mod ).pb p− ≡

Velikou úlevou při hledání faktorů Mersennových čísel bylo právě třetí tvrzení, které si zde dokážeme, abychom ukázali roli MFV: Když 2p > je prvočíslo, pak prvočíselní dělitelé čísla 2 1p − jsou tvaru 2 1.kp + D ů k a z: Nechť 2q > je prvočíselným dělitelem čísla 2 1.p − Nechť d označuje nejmenší exponent, pro který 12| −dq . Zřejmě d > 1. Z minimálnosti d plyne: když 2 1 (mod ),x q≡ pak | .d x Pak nutně

|d p , protože 12| −pq . Jelikož 1,d > platí .d p= Z MFV plyne 12| 1 −−qq , což z předchozího implikuje, že 1| −qd . Na druhé straně

jsme viděli, že ,d p= a proto 1q tp− = pro t přirozené. Protože p je liché a 1q − je sudé, číslo t musí být sudé, tj. 2 1.q kp= + � Když chceme ověřit, že číslo 112 047 2 1= − je prvočíslo, pak použitím nejjednodušší techniky, jakou je Eratosthenovo síto,52

.462047 <

potřebujeme toto číslo vydělit všemi lichými prvočísly ne většími než Tato jsou 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41 a 43. Použitím uvedeného tvrzení dostaneme, že mezi těmito

50 Dopis Fréniclu de Bessy ze dne 18.10.1640. 51 W. Sierpiński uvádí ve své Teoria liczb, II, PWN, Varšava 1959, str. 177, že podle H. Barycze (Dzielo literacke Jana Brożka, Pamiętnik Literacki XLV, 1954, sešit 1, str. 3) tento výsledek objevil před Fermatem Jan Brożek (1585-1672), profesor Krakovské akademie. 52 Připomeňme jen, že v původní formě Eratosthenova síta se vyškrtávají postupně všechny celé násobky. Škrtání pouze násobků prvočísel menších než druhá mocnina prověřovaného čísla navrhl poprvé Leonardo Pisano (Fibonacci) ve své Liber Abaci vydané v r. 1202 v Bologni.

22

prvočísly je jenom jediné, které je tvaru 122 +k , a to 23 . To skutečně vede na faktorizaci 89230472 ⋅= , tj. 11M je složené. Použitím tohoto výsledku pravděpodobně nahlédl Fermat, že Cataldiho domněnka o prvočíselnosti čísla 232 1− není správná, což sdělil Mersennovi dopisem v červnu 1640. Frénicle de Bessy začal komunikovat s Mersennem v r. 1634 a asi od poloviny roku 1640 přímo s Fermatem. Jejich vzájemná korespondence obsahovala nejméně 11 dopisů, z nichž jenom šest je známých v plném rozsahu.53

31,M

Když Frénicle vyzval k nalezení dokonalého čísla „qui ayt 20 lettres, ou le prochainement suivant“, tak s největší pravděpodobností znal které, jak vidíme z tabulky, má 19 cifer. Následující prvočíslo připadající v úvahu je pro 37.p = To však vede na číslo v hranicích mezi 201094 ⋅ a 201095 ⋅ , tj. k číslu s 22 ciframi. Existují náznaky, že si Fermat původně myslel, že toto číslo dává dokonalé číslo. V polovině června 1640 píše Mersennovi:

Konečně, vy nebo já jsem udělal chybu v některých cifrách čísla, o kterém jsem si myslel, že je dokonalé, kterou lehce poznáte, protože jsem dal 137 438 953 471 pro jeho kmen, pro které jsem mezičasem našel zkratkou pomocí mého třetího tvrzení, že je dělitelné číslem 223. Udané číslo je 372 1− . Podle Fermatova třetího tvrzení stačí ověřit dělitelnost pro 75, 149 a 223. Weil54 si myslí, že se jednalo o nastraženou past, do níž se Fermat téměř chytil.55

41,p =

Je velmi nepravděpodobné, že by se Fermat nepokoušel i o faktorizaci dalšího kandidáta jehož nejmenší prvočíselný faktor je poměrně velký: 13 367. Na druhé straně nejmenší prvočíselný faktor čísla 432 1− je malý: 431. Fermat nikdy nepublikoval důkaz MFV, přestože tvrdil, že jej může kdykoli dodat. První publikovaný důkaz tohoto výsledku pochází od Eulera z r. 1736. První důkaz56 podal Euler57

nejdřív pro prvočíselný modul. Důkaz byl založen na binomické větě

( ) ( )pbaba ppp mod+=+ . Gauss58

53 C. R. Fletcher, A reconstruction of the Frénicle-Fermat correspondence, Historia Mathematica 18, 1991, 344-351.

zakládá svůj důkaz na její polynomiální verzi

54 A. Weil, Number Theory, Birkhäuser, Boston 1983, str. 55. 55 I když je možné, že s částečnou pomocí Frénicla de Bessy z ní vycouval. Nezapomínejme, že i když Frénicle de Bessy nebyl matematikem Fermatova formátu, jako samouk dosáhl pozoruhodných výsledků a je často označován po Fermatovi za druhého francouzského číselného teoretika své doby. Od r. 1666 byl členem Francouzské akademie věd. 56 Podle Gausse (Disquisitiones Arithmeticae v poznámce k článku 50) důkaz měl i G. W. Leibniz; viz. Leibnizens Math. Schriften, (G. J. Gerhardt ed.) 18, 1640. Stejný důkaz jako Leibniz našel i A. Cauchy, Mém. Acad. Sci. Paris 2, 1841, 79-81; Oeuvres, (1), 3, 163-164. 57 Petrop. Comm. 8, 1736, str. 141 = Comm. Ar. Coll. 1, str. 21; podobný důkaz našel i J. H. Lambert, Act. Erudit. 1769, str. 109.

23

( ) ( )pcbacba pppp mod +++=+++ .

Důkaz založený na jiném postupu podal Lagrange.59

( ) ( ) ( )121 −+++ pxxx Hlavní myšlenka

vychází z rozvoje součinu . Později Euler60 našel další důkaz, který spočívá na stejné myšlence jako jeden z Gaussových důkazů.61 Euler nakonec zobecnil62 Fermatovou větu na libovolný modul. K její fomulaci potřebuje definovat novou funkci: Eulerova funkce63 ( )nϕ je definována jako počet přirozených čísel nepřevyšujících n , která jsou nesoudělná s .n Eulerova - Fermatova věta pak zní: Pro každé přirozené n a každé celé číslo a nesoudělné s n platí

( ) 1 0 (mod ).na nϕ − ≡ Jak Malá Fermatova věta, tak i její Eulerovo zobecnění přitahovaly (a stále přitahují) pozornost pro svoji jednoduchost a důležitost, s cílem najít jejich další zobecnění. Uveďme jenom několik z nich. P. A. MacMahon64 ověřil65

p MFV tím, že dokázal, že počet cyklických

permutací s opakováním různých prvků n -té třídy se rovná /

|

1 ( ) .n d

d nd p

nϕ∑

Když n je prvočíslo, dostaneme odtud

( 1) 0 (mod ), tj. (mod ).n np n p n p p n+ − ≡ ≡ Tímto způsobem je možné dokázat i Eulerovo rozšíření.66

58 Disquisitiones Arithmeticae, čl. 51.

59 Ac. De Berlin, Nouv. mém. 2 (1773), année 1771, str. 125 = Oeuv. 3, str. 425. 60 Petr. Comm. nov. 7 (1758/59), str. 49 = Comm. Ar. coll. 1, str. 260. 61 Disquisitiones Arithmeticae, čl. 49. 62 Petrop. Comm. nov. 8 (1760/61), str. 74 = Comment. Ar. coll. 1, str. 274. 63 Označení ( )nϕ použil poprvé Gauss (Disquisitiones Arithmeticae, čl. 38), který tuto funkci zavedl. Přesto se používá označení Eulerova funkce, protože Euler (Petrop. N. Comment. 8, 1760/61, str. 74 = Comm. Arithm. coll. 1, str. 531) jako první udal její obecný vztah pro mocniny prvočísel. 64 Percy Alexander MacMahon byl majorem v British Royal Artillery a byl znám jako skvělý počtář. Pomocí rekurentního vztahu pro počet p(n) vyjádření přirozeného čísla n jako součet přirozených čísel určil přesné hodnoty p(n) pro n nepřesahující 200. Např. p(200) = 3 972 999 029 388. Ve svých pracích z kombinatorické teorie permutací dokázal mnoho zajímavých výsledků. 65 Proc. London Math. Soc. 23, 1891-2, 305-313. 66 Jiné důkazy založené na permutacích (nebo modifikacích) podali: J. Petersen, Tidsskrift for Mathematik (3), 2, 1872, 64-65 (dánsky); Petersen tu hlavně dokazuje Wilsonovou větu, ale speciální volbou dostává i MFV. Petersenův důkaz Wilsonovy věty objevil i K. Petr v Časopise pro pěstování mathematiky a fysiky 34, 1905, 164; J. Perrot, Bull. des Sc. Math. 24, I, 1900, 175; Bricard, Nouv. Ann. Math. (4), 3, 1903, 340-342.

24

Jacobi67

jako první obrátil pozornost k úloze vyšetřovat, kdy kongruence

1 1 (mod )pa p− ≡ pro nějaké {1, 2, ... , 1}a p∈ − platí i pro modulo 2.p V tomto směru pak pokračovali Eisenstein,68 Stern,69 Mirimanoff70 a Sylvester.71

Dnes víme, že MFV je speciálním případem Lagrangeovy věty z teorie grup, která říká:

V každé konečné grupě je řád každého prvku dělitelem řádu grupy. V našem případě konečnou grupou je multiplikativní grupa *

nZ redukovaných zbytkových tříd modulo .n V případě, že n je prvočíslo, je tato grupa navíc cyklická. V obecném případě Eulerova funkce ( )nϕ udává vlastně řád grupy * .nZ Budeme-li pokračovat v této grupové terminologii, pak víme, že řád grupy není nejmenším číslem s touto vlastností. Tím nejmenším číslem je tzv. exponent grupy, který dostaneme jako nejmenší společný násobek řádů všech prvků dané konečné grupy. Zobecnění Eulerovy-Fermatovy věty nalezená ve snaze použít ji jako test prvočíselnosti vedla k tomu, že první formuli pro tento exponent objevil v případě *

nZ matematik Carmichael.72

Dnes nazýváme Carmichaelovou funkcí:

( ) ( )( ) }{

===

>==

=−

,,,1;n.s.n.,4,2

,2,22,11

1

2

iiikppnprokip

plichépropnebonpronnpro

npro

n

ααα

α

αα

λϕ

αλ

kde ϕ je Eulerova funkce, p a kppp <<< 21 jsou prvočísla a kde n.s.n. je nejmenší společný násobek. O obecně rozdílných hodnotách obou funkcí svědčí následující tabulka:

n 2 6 8 15 18 21 24 32 36 42 63 70 80 ( )nϕ

1 2 4 8 6 12 8 16 12 12 36 24 32

67 Journ. f. Math. 3, 1828, 301. 68 Berl. Monatsber. 1850, str. 41. 69 Journ. f. Math. 100, 1887, str. 182. 70 Journ. f. Math. 115, 1895, str. 295. 71 C.R. Paris 52, 1861, str. 161. 72 Americký matematik Robert Daniel Carmichael (1879 - 1967), jehož široký matematický záběr zahrnoval reálnou analýzu, diferenciální rovnice, matematickou fyziku, teorii grup a teorii čísel. Jeho PhD disertace z r. 1911 z Princetonu, napsaná pod vedením G. D. Birkhoffa, byla prvním významným americkým příspěvkem k teorii diferenciálních rovnic. Note on a new number theory function, Bulletin of the American Mathematical Society 16, 1909/10, 232-238.

25

( )nλ

1 2 2 4 6 6 2 8 6 6 6 12 4

Carmichaelova funkce vede k výsledku, že nejefektivnější (vzhledem k velikosti exponentu) je následující verze Eulerovy-Fermatovy věty: Pro každé přirozené 1n > a každé celé číslo a nesoudělné s n platí ( ) 1 0 (mod ).na nλ − ≡ „Nevýhodou“ této formulace je, že neplatí pro všechna .a Z tohoto pohledu našel univerzální zobecnění P. Bachmann,73 podle něhož platí:74

Nechť 11 ... k

kn p pαα= je rozklad čísla na mocniny různých prvočísel. Pak pro každé a je

( ) ( ) ( ) (mod ),H n n H na a nλ+ ≡ kde 1( ) max{ ,..., }.kH n α α= Čísla ( )H n a ( )nλ jsou nejmenší možná, pro která kongruence platí pro každé .a

5. Fermatovská pseudoprvočísla

Problém rozlišení prvočísel od čísel složených a rozkladu složených čísel na prvočísla

je jedním z nejdůležitějších a nejužitečnějších v celé aritmetice.

Carl Friedrich Gauss

V nedávné minulosti vzrostl z důvodu silného zájmu o faktorizaci celých čísel zájem o MFV jako prostředku ke zjišťování, zda konkrétní číslo je složené či nikoliv. A právě MFV byla jedním z prvních nástrojů v tomto směru, jak již naznačily předchozí řádky. Hlavní problém je v tom, že MFV se v obecnosti nedá obrátit, tj. pokud platí tvrzení věty

1 1 (mod )pa p− ≡ pro nějaké ,a pro které ( , ) 1,a p = pak p ještě nemusí být prvočíslo. Lucas75 37737012 ⋅==n uvádí příklad . Vidíme, že

92 1 (mod 73),≡ a proto též 362 1 (mod 73).≡ Protože 362 1 (mod 37),≡ pak spojením dostaneme 362 1 (mod ).n≡ Jelikož 75361 ⋅=−n , protipříklad platí. Nejmenším protipříkladem je číslo 3111341 ⋅= , pro

73 P. Bachmann, Niedere Zahlentheorie, I, 1902, 157-158; II, 1910, 43-44. 74 Pro další zobecnění viz M. Laššák, Š. Porubský, Fermat-Euler theorem in algebraic number fields, Journal of Number Theory 60, 1996, 254-290. 75 F. E. A. Lucas, Théorie des nombres, 1891, str. 422.

26

které ( )341mod12340 ≡ . Tato vlastnost čísla 341 byla poprvé zaznamenána v r. 1830.76

Logická konverze MFV dává následující „fermatovský test složenosti“:

Jestliže neplatí 1 1 (mod )Na N− ≡ pro nějaké a splňující ( , ) 1,a N = pak N je složené.

Obr. 8. Pierre de Fermat.

76 Anonymous, Théorèmes et problèmes sur les nombres; Journal für die reine und angewandte Mathematik 6, 1830, 100-106.

27

Poznamenejme, že tento fermatovský test je výpočetně velmi výhodný, vyžaduje nejvíce N2log2 kroků, kde pod krokem rozumíme násobení dvou čísel modulo N a následnou redukci modulo .N Tento odhad souvisí se skutečností, že složitost výpočtu (mod )da N závisí na počtu jedniček v binárním rozvoji čísla ,d který se pohybuje od

2log d do 22 log ,d což v průměru vede k odhadu 21,5 log .d Pro 1d N= − dostaneme průměrný počet nutných násobení a redukcí (mod )N rovný přibližně 21,5 log ,N což je tzv. algoritmus polynomiálního řádu. Když použijeme základ 3,a = pak číslo 341 propadne:

( )341mod563340 = , tj. 341 je skutečně složené. Liché složené číslo ,N pro které

1 1 (mod )Na N− ≡

se nazývá (fermatovské) pseudoprvočíslo při základu .a Snadno lze ověřit, že existuje 245 fermatovských pseudoprvočísel menších než 0000001 , zatímco existuje 78 498 prvočísel pod touto mezí. Z výpočtů plyne,77 21853 že existuje fermatovských pseudoprvočísel při základu 2 mezi čísly menšími než 91025 ⋅ . Když je prozkoušíme i pro základ 3, pak z nich zůstane jenom 4 709 . Z nich dále přežije základ 5 jenom 2 552 a základ 7 již jen 1770. Otázka, zda přijatelnou volbou základů můžeme eliminovat fermatovská pseudoprvočísla v testech prvočíselnosti, má zápornou odpověď. Složená čísla ,N která mají tu vlastnost, že 1 1 (mod )Na N− ≡ pro každé a splňující ( , ) 1,a N = existují a nazývají se Carmichaelova.78 17113561 ⋅⋅= Nejmenší z nich je . Existuje 2163 Carmichaelových79 91025 ⋅ prvočísel menších než . Po dlouhém úsilí matematiků se podařilo W. R. Alfordovi, A. Granvillemu a C. Pomerancemu80 dokázat, že existuje nekonečně mnoho Carmichaelových čísel.81

Chceme-li najít obrácení MFV, je třeba analyzovat uvedený Lucasův protipříklad. Budiž k nejmenší exponent, pro který 1 (mod ).ka n≡ Pak

77 C. Pomerance, J. L. Selfridge, S. S. Wagstaff, The pseudoprimes to 25.109, Mathematics of Computation 35, 1980, 1003-1026. 78 On composite numbers P which satisfy the Fermat congruence ( )PA mod11-P ≡ , American Mathematical Monthly 19, 1912, 22-27. 79 Pro pozorného čtenáře necháme k zodpovězení otázku, jak je možné, že existuje „víc“ Carmichaelových čísel pod hranicí 25.109, než oněch 1770 čísel, která nejsou fermatovskými pseudoprvočísly při základech 2, 3, 5 a 7. 80 W. R. Alford, A. Granville, C. Pomerance, There are infinitely many Carmichael numbers, Annals of Mathematics (2) 139, No.3, 1994, 703-722. 81 Přehled a diskusi výsledků kolem Carmichaelových čísel najde čtenář v práci C. Pomerance, Carmichael numbers, Nieuw Archiv foor Wiskunde, IV. Ser., 11, No. 3, 1993, 199-209.

28

je možné jednoduše dokázat, že | ( ),k nϕ tj. ( ).k nϕ≤ Když 1k n= − pro nějaké ,a pak z výše uvedené dělitelnosti plyne 1 ( ).n nϕ− ≤ Na druhé straně, z definice ( )nϕ plyne, že ( ) 1.n nϕ ≤ − Ovšem rovnost

1 ( )n nϕ− = je možná, jedině když n je prvočíslo. Tímto způsobem Lucas82

dokázal následující obrácení MFV:

Jestliže je 1xa − dělitelné číslem x pro 1,x n= − ale žádným dělitelem čísla 1,n − který je menší 1−n , pak n je prvočíslo. Např. pro 3a = a 1265537 16 +==n jsou mocniny 2 3 161, 2, 2 , 2 , ... , 2 dělitelé čísla 1.n − Ovšem jedině pro 162x = je ( )53765mod13 =x , a proto 65 537 je prvočíslem. D. H. Lehmer přeformuloval Lucasův výsledek následujícím způsobem: Nechť 1

11 ... kkN p pββ− = je rozklad čísla 1N − na součin mocnin

různých prvočísel. Když existuje a takové, že pro každé 1, 2, ... ,j k= neplatí

( 1) / 1 (mod ),jN pa N− ≡ ale platí

1 1 (mod ),Na N− ≡ pak N je prvočíslem. Myšlenka důkazu této věty spočívá na faktu, že pokud N je prvočíslo, pak pro řád ( )nϕ grupy nesoudělných tříd platí

( ) 1.N Nϕ = − Pokud N je složené, je ( ) 1.N Nϕ < − Navíc je tato grupa v případě prvočísla cyklická, tj. generovaná jedním svým prvkem, který musí být řádu 1.N − Uvedené podmínky garantují, že takový prvek existuje. Je poměrně málo známou skutečností, že jedním z prvních, kdo se zajímal o obrácení MFV, byl János Bolyai.83 V jednom nedatovaném dopisu píše svému otci: Nepochybuji, že se mi velice brzo podaří najít formuli pro prvočísla. Přitom měl na mysli nejenom racionální prvočísla, ale i prvočísla v oboru Gaussových celých čísel. „Hlavní zbraní“ přitom měla být s největší pravděpodností MFV. V dopisu otci z května84

341 1855

informuje o objevu, že je pseudoprvočíslem při základu 2 (v naší terminologii). Při té příležitosti objevil i výsledek, že pokud p a q

82F. E. A. Lucas, Théorie des nombres, 1891, str. 423, 441. 83 J. Bolyai (1802-1860), jeden z objevitelů neekleidovkých geometrií. 84 E. Kiss, Notes on János Bolyai's researches in number theory, Historia Mathematica 26, 1999, 68-76.

29

jsou různá prvočísla (tj. 12 1 (mod )p p− ≡ a ( ) )qq mod12 1 ≡− , pak ( )pqpq mod12 1 ≡− ; tento výsledek je často připisován Jeansovi.85

6. Wilsonova věta

Stěží se najde matematik, který by neztratil spoustu času

na to, aby odhalil tajemství prvočísel.

Leonhard Euler

Příbuzný výsledek k MFV, známý dnes pod jménem Wilsonova věta, publikoval v r. 1770 Edward Waring86

a připsal jej Siru Johnu Wilsonovi (1741-1793):

Je-li p je prvočíslo, pak součet ( )12.11 −+ p je dělitelný číslem .p

Tento výsledek v následující modifikové formě byl objeven i v rukopisu Leibnizově87

:

Je-li p je prvočíslo, pak ( ) ( )pp mod1!1 ≡− . V roce 1773 Lagrange publikoval88

1 1.2...( 1)n+ − první důkaz tohoto výsledku a též

dokázal, že tvrzení platí i obráceně: když je dělitelné ,n pak n je prvočíslo. To ukazuje, že tvrzení je ekvivalentní prvočíselnosti. Protože ( 1)!p − může být obrovské číslo,89

85 J. H. Jeans, The converse of Fermat's theorem, Messenger of Mathematics 27, 1897/98, 174.

je tento výsledek nepoužitelný pro testování prvočíselnosti. Na druhé straně je zajímavé, že Lagrange odvodil MFV z Wilsonovy věty.

86 Meditationes Algebraicae, Cambridge 1770, str. 218, 3 .vydání 1782, str. 380. 87 G. W. Leibniz, Manuscrits inédits conservés à Bibliothèque de Hannover et publiés dans le Formulaire de Mathématique, t. 2, N.3,1899, par M.Vacca, t. 3., B. 11, fol. 10. 88 Nouv. Mém. Acad. Roy. Berlin 2, 1773, anneé 1771, p. 125 = Oeuvres 3, 1869, str. 425. 89 Ze Stirlingova vzorce (J. Stirling, Methodus differentialis, Londýn 1730, str.135) dostaneme,

že ( )( )nnnnnn 12/exp2! θπ +−= pro jisté 10 << θ neboli

nnenennnnnn ππ 212/1!2 −<< . Tyto nerovnosti jsou těsné pro velké

hodnoty ,n protože 1/12 1.ne ≈ Logaritmováním získáme odhad počtu cifer. Např. pro n = 10 000 dostaneme log 10 000! ≈ 35 659,454, protože log ≈e 0,43429, log ≈π 0,49715, log 2 ≈ 0,30103 . 10 000! má 35 660 dekadických cifer.

30

Další důkaz Wilsonovy věty podal Euler.90 Gauss našel další dva91 její důkazy. První spočívá na binomických kongruencích a druhý na teorii tzv. „asociovaných čísel (socii)“. Druhý přístup mu umožnil rozšířit Wilsonovou větu na libovolný modul:92

Nechť P je součinem čísel menších než A a nesoudělných s .A Pak číslo 1P + je dělitelné číslem ,A pokud {3, , 2 },m mA p p∈ kde p je liché prvočíslo. Pokud A nemá jeden z těchto uvedených tvarů, pak A dělí

1.P − Spojením Malé Fermatovy věty a Wilsonovy věty dostaneme kritérium prvočíselnosti:93

K tomu, aby liché číslo 1p > bylo prvočíslem, je nutné a stačí, aby platilo ( ) 12!1| −+− ppp .

* * * Mezi problémy, které jsou v matematice vyšetřovány, neexistují takové, které by se v současnosti považovaly za méně plodné a méně užitečné než problémy, týkající se podstaty čísel a jejich dělitelů. V tomto směru se soudobí matematikové silně odlišují od starověkých, kteří připisovali bádání tohoto druhu mnohem větší význam … Ti nejenom považovali hledání jistoty za chvályhodné samo o sobě a důstojné lidského poznání, ale kromě toho se naprosto správně domnívali, že se tím pozoruhodným způsobem rozvíjí vynalézavost a před lidským intelektem se takto otvírají nové možnosti řešení spletitých úloh … Matematika by pravděpodobně nikdy nedosáhla takového vysokého stupeně dokonalosti, kdyby ve starověku nevynaložili tolik úsilí na studium problémů, kterými dnes mnozí opovrhují pro jejich zdánlivou marnost …

Leonhard Euler

Adresa: Prof. RNDr. Štefan Porubský, DrSc., Ústav matematiky, Vysoká škola chemicko-technologická, Technická 5, 166 28 Praha 6, e-mail: porubsks@vscht.cz

„

90 Opusc. analyt., Petrop. 1773, I str. 329 = Comm. ar. coll. 2, str. 44.

Skutečná“ matematika „skutečných“ matematiků,

91 C. F. Gauss, Disquisitiones Arithmeticae, Lipsko 1801, čl. 76 a 77. 92 Viz též M. Laššák, Wilson's theorem in algebraic number fields, Mathematica Slovaca 50, 2000, 303-314. 93 W. Sierpiński, Teoria liczb, sv. II, PWN Warszawa 1959, str. 216, cvič. 4. Odpověď na otázku v poznámce č. 78 pod čarou: Číslo dělitelné 2, 3, 5, nebo 7 nutně propadne u fermatovského testu, kde ( ) 1, >Na . Rozdíl 393 = 2 163 – 1 770 vznikne Carmichaelovými čísly, která jsou dělitelná alespoň jedním z těchto čísel.

31

matematika Fermatova, Eulerova, Gaussova, Abelova a Riemannova,

je skoro celá „neužitečná“ (a to platí jak o „aplikované“, tak o „čisté“ matematice).

G. H. Hardy, Obrana matematikova