Základní věta aritmetiky (nazývaná také věta o jedinečné faktorizaci) je věta z teorie čísel. V nejčastějším tvaru říká, že každé kladné celé číslo n > 1 lze zapsat jako součin prvočísel, a tento zápis je jedinečný až na pořadí činitelů. Jinými slovy: pokud existují dva zápisy n = p1 · p2 · ... · pk = q1 · q2 · ... · qm, kde p_i a q_j jsou prvočísla, pak m = k a po přeuspořádání jsou p_i = q_i pro každé i. Nálezení prvočíselného rozkladu čísla se nazývá faktorizace.
Formulace a poznámky
- Věta platí pro celá kladná čísla větší než 1; číslo 1 je zvláštní případ (je jednotkou a považuje se za prázdný součin prvočísel).
- Standardní „kanonický“ tvar faktorizace zapisuje prvočísla s exponenty: n = p1a1 · p2a2 · ... · prar, kde p1 < p2 < ... < pr jsou různá prvočísla a a_i jsou kladná celá čísla. Tento zápis je jednoznačný.
Příklady
Správné rozklady v kanonickém tvaru jsou například:
6936 = 23 · 3 · 172
1200 = 24 · 3 · 52
Pokud by někdo našel jiný rozklad téhož čísla, lze prvočísla seřadit a porovnat exponenty — vždy dostaneme tentýž kanonický zápis.
Náčrt důkazu
Existují dvě části: existence a jedinečnost.
- Existence: Pro každé n > 1 existuje faktorizace do prvočísel. Důkaz obvykle použije princip matematické indukce nebo procede dělení: pokud n není prvočíslem, existí dělitel 1 < a < n, tedy n = a·b, a opakováním rozkladu a a b (které jsou menší než n) nakonec získáme součin prvočísel.
- Jedinečnost: Klíčovým nástrojem je Eukleidův lemmát: pokud p je prvočíslo a p dělí součin ab, pak p dělí a nebo p dělí b. Pomocí tohoto lemmatu se ukáže, že pokud by existovaly dva různé rozklady do prvočísel, muselo by nějaké prvočíslo z prvního rozkladu dělit produkt druhého, a tedy dělit některé jeho prvočíslo — což nutně znamená rovnost těchto prvočísel. Postupným odstraňováním stejných prvočísel z obou stran dostaneme kontradikci, pokud by rozklady byly rozdílné.
Aplikace
Základní věta aritmetiky je fundamentální v teorii čísel a má mnoho praktických i teoretických použití:
- Kryptografie: Například bezpečnost RSA a jiných systémů závisí na obtížnosti faktorizace velkých čísel složených z dvou velkých prvočísel.
- Výpočetní aritmetika: Výpočet největšího společného dělitele (NSD) a nejmenšího společného násobku (NSN) lze zjednodušit pomocí prvočíselných rozkladů.
- Teoretické funkce: Mnohé aritmetické funkce (pliky Eulerova funkce φ(n), počet dělitelů τ(n), součet dělitelů σ(n) apod.) se snadno vyjadřují pomocí prvočíselného rozvoje n.
- Algoritmy faktorizace: Existence faktorizace je zaručena, ale nalezení faktorizace pro velmi velká čísla může být výpočetně náročné. Používané metody zahrnují zkoušení dělitelů (trial division), Pollardovo rho, kvadratický síto, síto čísel nebo elliptic curve factorization (ECM).
Obecná rozšíření a omezení
V jiných algebraických strukturách (např. v některých prstencích celých čísel rozšířených o komplexní čísla) nemusí platit jedinečná faktorizace; proto vznikla teorie jednoznačných oborů faktorizace (Unique Factorization Domains, UFD). V těchto oborech má každý neprvotný prvek jediný zápis jako součin ireducibilů až na jednotky a pořadí.
Základní věta aritmetiky tedy poskytuje pevný základ pro práci s celými čísly a je jedním z pilířů klasické aritmetiky a teorie čísel.