Základní teorém aritmetiky říká, že [1] [2]
každé přirozené číslo lze rozložit ( rozšířit ) ve tvaru
Pokud se formálně shodneme na tom, že prázdný součin prázdné množiny čísel je roven 1, pak lze podmínku ve formulaci vynechat – pak pro jednotu implikuje rozklad prázdnou množinou prvočísel: [3] [ 4] .
V důsledku toho může být každé přirozené číslo reprezentováno jako
kde jsou prvočísla a nějaká přirozená čísla,a jedinečným způsobem. Tato reprezentace čísla se nazývá jeho kanonická faktorizace .
Existence : dokážeme existenci rozkladu čísla na prvočinitele, pokud předpokládáme, že totéž již bylo prokázáno pro jakékoli jiné číslo menší než . Je-li prvočíslo, pak je existence dokázána. Jestliže je složené, pak to může být reprezentováno jako součin dvou čísel a , z nichž každé je větší než 1, ale menší než . Čísla a jsou buď prvočísla, nebo je lze rozložit na součin prvočísel (již dokázáno dříve). Dosazením jejich rozkladu na , získáme rozklad původního čísla na prvočísla. Existence je prokázána [5] .
Jedinečnost : U prvočísla je jednoznačnost zřejmá.
Pro složené číslo je myšlenkou důkazu použít metodu "protikladem" , jmenovitě je předložen předpoklad, že číslo má dvě různá rozšíření. Uvažujeme prvočísla a , která jsou nejmenší v prvním a druhém z těchto rozšíření, a dokážeme následující lemma:
je-li rozklad čísla na prvočinitele jedinečný, pak musí být do tohoto rozkladu zahrnut každý prvočíslo.
Dále uvažujeme číslo , které je zase přirozené číslo a které je menší než . Z induktivního předpokladu a výše uvedeného lemmatu vyplývá, že je dělitelem daného čísla, načež se podobně usuzuje, že první rozklad je dělitelný . Žádné prvočíslo se nemůže vyskytovat v obou rozkladech najednou, protože jinak by bylo možné je redukovat a získat různé rozklady na prvočinitele čísla menšího než .
Základní větu aritmetiky lze dokázat pomocí důsledků z Euklidova algoritmu [7] :
největší společný dělitel je největší společný dělitel a násobí se .
Z tohoto důsledku lze dokázat Euklidovo lemma , které je také nezbytné pro důkaz věty:
jestliže je prvočíslo a součin dvou čísel je dělitelný , pak alespoň jeden z těchto dvou faktorů je dělitelný .
Existence: Myšlenka za důkazem existence je dokázat lemma:
zvažte prvočíslo a součin . Pokud je dělitelná , ale není dělitelná , pak je dělitelná .
Dále pomocí výše uvedeného lemmatu je číslo postupně rozloženo na prvočinitele za předpokladu, že jsou známi všichni prvočíslí dělitelé tohoto čísla.
Jedinečnost: nechť má číslo n dva různé rozklady na prvočísla:
Protože je dělitelné , pak buď , nebo je dělitelné . Jestliže je dělitelné , pak , protože obě tato čísla jsou prvočísla. Pokud je dělitelné , pak pokračujeme v předchozí úvaze. Nakonec se ukáže, že jedno z čísel se rovná číslu , a proto se obě rozšíření čísla ve skutečnosti shodují. Tím je prokázána jednoznačnost rozkladu.
Premisy základní věty aritmetiky mají svůj původ ve starověkém Řecku . Navzdory skutečnosti, že ve starověké řecké matematice se základní teorém aritmetiky v moderní formulaci nevyskytuje, v „ Principech “ ( jiné řecké Στοιχεῖα ) má Euclid ekvivalentní věty. Po Euklidovi mnoho matematiků v průběhu staletí přispělo k důkazu základní věty aritmetiky a citovali ve svých dílech významově blízká tvrzení, mezi tyto vědce patří Kamal ad-Din al-Farisi , J. Preste , L Euler , A. Legendre [8] . První přesnou formulaci základní věty aritmetiky a její důkaz uvádí K. Gauss v knize " Aritmetická vyšetřování " ( lat. Disquisitiones Arithmeticae ), publikované v roce 1801 [9] . Od té doby se objevilo mnoho různých nových důkazů teorému, které spolu soupeřily v kráse a originalitě [8] .
Euclid vyložil v Elementech důležité základy pro teorii čísel, včetně základního teorému aritmetiky. Tři věty, které jsou svým významem velmi blízké Základní větě aritmetiky, lze nalézt v Knize VII a IX, jmenovitě Tvrzení 30 z Knihy VII, nejlépe známé jako Euklidovo lemma , Tvrzení 31 z Knihy VII a Tvrzení 14 z Knihy IX. Níže jsou jejich verze v překladu Morduchaie-Boltovského :
VII.30:
Jestliže dvě čísla, která se navzájem násobí, něco vytvoří a to, co z nich vznikne, je měřeno nějakým prvním číslem, pak (to druhé) bude měřit také jedno z původních [10]
VII.31:
Každé složené číslo se měří nějakým prvním číslem [11]
IX.14:
Pokud je číslo nejmenší měřitelné (dané) prvními čísly, pak jej nelze měřit žádným jiným prvočíslem, kromě těch, kteří (to) původně měřili [12]
V současnosti[ co? ] čas je důkaz základní věty aritmetiky odvozen z výroků VII.30 a VII.31, ale Eukleidés tento důkaz ve svých spisech nepředložil. Tvrzení IX.14 je zase dost podobné tvrzení o jedinečnosti rozkladu na prvočísla, ale ukázalo se, že toto tvrzení nepokrývá všechny možné případy – například když se objeví alespoň jedna druhá mocnina prvočísla při rozkladu na prvočinitele [13] [14] .
Slavný perský vědec Kamal ad-Din al-Farisi udělal významný krok vpřed ve studiu základní věty aritmetiky. Ve svém díle Memorandum for friends on the proof of amicability prokázal existenci faktorizace na prvočinitele a poskytl potřebné informace k prokázání jedinečnosti tohoto rozkladu . Kamal al-Farisi se však nejvíce zajímal o sestavení vlastního důkazu pro větu Sabit ibn Kurra o hledání přátelských čísel - a al-Farisi se nesnažil dokázat základní větu aritmetiky, ale hledal všechny dělitele aritmetického teorému. složené číslo [15] . Pečlivě zkoumal rozklad čísel a formuloval a dokázal tvrzení, které se ve skutečnosti ukázalo jako důkaz existence rozkladu přirozeného čísla na prvočinitele.
V překladu zní jeho prohlášení asi takto:
Každé složené číslo lze rozložit na konečný počet prvočinitelů, jichž je součinem.
V prohlášení 9 al-Farisi formuloval princip pro určování všech dělitelů složeného čísla: to bylo přesně to, co potřeboval, aby dokázal Ibn Qurrovu větu. Překlad zní takto:
Pokud se složené číslo rozloží na prvočinitele jako , pak nemá dělitele kromě a a součin každého z nich s každým, součin trojic atd. až po součin všech prvků bez jednoho.
Již ze samotného znění prohlášení lze usoudit, že al-Farisi věděl o jedinečnosti rozkladu na prvočinitele. Kromě toho jsou všechna tvrzení a fakta uvedená vědcem k prokázání tohoto tvrzení nezbytným souborem pro prokázání jedinečnosti v hlavní větě aritmetiky.
Výsledky publikované Jeanem Prestem v knize Elements de Mathématiques (1675) potvrzují, že prvočíselná faktorizace nebyla v té době považována za něco zajímavého samo o sobě, ale za užitečnou aplikaci – prostředek k nalezení dělitelů daného čísla. . Preste neformuloval ani existenci, ani jednoznačnost rozkladu a nejvíce pozornosti věnoval samotnému hledání dělitelů čísla [16] . Navzdory tomu Preste, stejně jako al-Farisi, poskytl všechny potřebné informace k prokázání jedinečnosti faktorizace prostřednictvím svého Důsledku IX, který sám o sobě lze považovat za ekvivalent jedinečnosti faktorizace.
Důsledek IX:
Pokud jsou čísla a prvočísla, pak každý dělitel čísla je buď , nebo , nebo , nebo jeden ze součinů těchto tří čísel podle . To je jeden ze šesti: .
V The Complete Guide to Algebra ( Německy: Vollstandige Einleitung zur Algebra ) publikoval Leonhard Euler výsledky podobné těm, které měli jeho předchůdci. Zformuloval existenci faktorizace čísla na prvočinitele a s vynecháním některých detailů to poskytl částečným důkazem v odstavci 41 kapitoly IV z první části prvního oddílu knihy.
Jeho překlad je následující:
Všechna složená čísla, která lze faktorizovat, jsou reprezentována součinem prvočísel; to znamená, že všechny jejich faktory jsou prvočísla. Pokud je totiž nalezen faktor, který není prvočíslem, může být vždy rozložen a reprezentován dvěma nebo více prvočísly.
Euler neformuloval věty o jedinečnosti rozkladu, ale navrhl podobné tvrzení, které ponechal bez důkazu, v oddíle 65 kapitoly IV prvního oddílu prvního dílu. Tam Euler implicitně vysvětluje, že rozklad čísla na prvočinitele je jedinečný, když říká, že všechny dělitele čísla lze nalézt tak, že znáte prvočinitele z rozkladu daného čísla [17] . Tuto položku lze tedy považovat za ekvivalent jedinečnosti faktorizace.
Toto prohlášení je přeloženo takto:
Když rozpočítáme číslo do prvočinitelů, je velmi snadné najít všechny jeho dělitele. Musíme totiž nejprve vynásobit prvočinitele navzájem a pak je násobit po dvojicích, po třech, po čtyřech, po čtyřech, a tak dále, dokud nedojdeme k samotnému číslu.
„Zkušenost v teorii čísel“ ( francouzsky Essai sur la théorie des nombres , 1798) Legendre obsahuje důkaz o existenci rozkladu na prvočinitele a zvláštní předpoklad o jedinečnosti tohoto rozkladu výčtem všech prvočísel daného čísla. .
Legendreův výrok o existenci rozkladu zní [18] :
Jakékoli číslo , které není prvočíslo, může být reprezentováno jako součin několika prvočísel atd., z nichž každé je zvýšeno na určitou mocninu, takže lze vždy předpokládat atd.
Tvrzení související s jednoznačností faktorizace je uvedeno v odstavci 10 úvodu, kde měl Legendre v úmyslu zjistit počet všech dělitelů čísla a zároveň jejich součet. Jedinečnost lze z tohoto tvrzení snadno dokázat.
První přesná formulace teorému a jeho důkaz jsou uvedeny v Gaussových aritmetických výzkumech (1801). Výrok věty lze nalézt v odstavci 16 a její překlad je následující:
Složené číslo lze jedinečným způsobem rozdělit na prvočinitele.
Základní teorém aritmetiky poskytuje elegantní výrazy pro GCD a LCM .
Označte všemi různými prvočísly, na která byla čísla rozložena, a stupni , s nimiž se v těchto rozkladech vyskytují, resp . Je jasné, že mohou nabývat pouze přirozené nebo nulové hodnoty.
Pak:
Když znáte rozklad přirozeného čísla, můžete okamžitě označit všechny jeho dělitele .
Použijeme kanonický rozklad čísla uvedeného na začátku článku. Přirozená čísla nejsou nic jiného než počet odpovídajících prvočísel , která se vyskytují při rozkladu původního čísla. Abychom našli všechny dělitele, stačí napsat součiny se všemi možnými kombinacemi prvočísel a měnit počet každého v součinu od do
Příklad:
Protože se číslo 2 vyskytuje v expanzi 2x, může nabývat celočíselných hodnot od 0 do 2. Podobně nabývají hodnot od 0 do 1. Množina všech dělitelů se tedy skládá z čísel
.
Chcete-li vypočítat celkový počet dělitelů, musíte vynásobit počet všech možných hodnot pro různé .
V tomto příkladu je celkový počet dělitelů
Některé aritmetické funkce lze vypočítat pomocí kanonické prvočíselnosti.
Například pro Eulerovu funkci přirozeného čísla platí vzorec: kde je prvočíslo a prochází všemi hodnotami zapojenými do rozšíření na prvočinitele ( důkaz ).
Součin dvou čísel lze vypočítat takto:
kde je mocnina, se kterou se prvočíslo vyskytuje v rozšíření čísla . Příklad:
Uvažujme základní teorém aritmetiky v obecnějším případě: v normových kroužcích a v euklidovských kroužcích .
Prstenec, který má algoritmus dělení se zbytkem, se nazývá euklidovský prsten. Pro jakýkoli euklidovský kruh lze důkaz základní věty aritmetiky provést přesně stejným způsobem jako pro přirozená čísla.
Hlavní věta aritmetiky s mírnou korekcí (jmenovitě je objasněno, že faktory se berou nejen do pořadí posloupnosti, ale také do asociace - vlastnosti Gaussových čísel se získávají navzájem násobením dělitelem jednoty : 1, i , −1 nebo − i ) má místo v kruhu Gaussových celých čísel . Myšlenkou důkazu je najít algoritmus dělení se zbytkem v daném kruhu čísel [19] .
Tato věta však neplatí pro všechny kruhy [19] .
Uvažujme například komplexní čísla ve tvaru , kde , jsou celá čísla. Součet a součin takových čísel budou čísla stejného druhu. Pak dostaneme prsten s normou .
Pro číslo 6 v tomto prstenu existují dva různé rozklady: . Zbývá dokázat, že čísla jsou prvočísla. Dokažme, že číslo 2 je prvočíslo. Nechť číslo rozložíme na prvočinitele jako . Pak . A aby čísla a zůstala prvočísla, jedinou možností je, aby byly přesně 2.
Ale v uvažovaném kruhu nejsou žádná čísla s normou 2, takže takový rozklad je nemožný, takže číslo 2 je prvočíslo. S čísly se zachází podobně .
Prsteny, ve kterých stále platí hlavní teorém aritmetiky, se nazývají faktoriál .
![]() |
---|
Čísla podle charakteristik dělitelnosti | ||
---|---|---|
Obecná informace | ||
Faktorizační formy | ||
S omezenými děliteli |
| |
Čísla s mnoha děliteli | ||
Souvisí s alikvotními sekvencemi |
| |
jiný |
|