Základná veta aritmetiky

Pre každé prirodzené číslo ${\displaystyle x\,\!}$ existuje práve jedna skupina prirodzených čísel väčších než 0: ${\displaystyle n,m_{1},m_{2},\ldots ,m_{n}\,\!}$ a práve jedna skupina podľa veľkosti zoradených prvočísiel: ${\displaystyle p_{1}<p_{2}<\ldots <p_{n}\,\!}$ tak, že
${\displaystyle p_{1}^{m_{1}}.p_{2}^{m_{2}}.p_{3}^{m_{3}}.\ldots .p_{n}^{m_{n}}=x\,\!}$

Tvrdenie sa dokazuje matematickou indukciou:

• pre prvočísla veta triviálne platí - prvočíslo p možno rozložiť práve jedným spôsobom: ${\displaystyle p=p^{1}\,\!}$
• pokiaľ platí pre všetky ${\displaystyle i\leq x\,\!}$, potom ${\displaystyle x+1\,\!}$ je buď prvočíslo, alebo súčin nejakých dvoch menších čísiel - spojením ich jednoznačných prvočíselných rozkladov získame určite minimálne jeden rozklad
• zostáva dokázať, že tento rozklad je jednoznačný - dokazuje sa sporom (pokiaľ pre ${\displaystyle x+1\,\!}$ existujú dva rôzne rozklady, potom museli existovať dva rôzne rozklady tiež pre nejaké menšie číslo, čo je v spore s indukčným predpokladom)

• Prvočíslo
• Faktorizácia
• Najväčší spoločný deliteľ
• Najmenší spoločný násobok

Tento článok je čiastočný alebo úplný preklad článku Základní věta aritmetiky na českej Wikipédii.

Matematický portál