Dělitel

Šablona:Infobox Matematický pojem

Dělitel je základní pojem z oboru teorie čísel a abstraktní algebry. Označuje takové celé číslo, kterým lze beze zbytku vydělit jiné celé číslo. Jedná se o binární relaci na množině celých čísel. Formálně se definuje pomocí operace násobení: celé číslo $a$ je dělitelem celého čísla $b$, jestliže existuje nějaké celé číslo $k$ takové, že platí rovnice $a \cdot k = b$.

Tato vlastnost se v matematické notaci standardně zapisuje symbolem svislé čáry jako $a \mid b$. V případě, že číslo $a$ není dělitelem čísla $b$ (to znamená, že po celočíselném dělení zůstává nenulový zbytek), používá se zápis $a \nmid b$. Koncept dělitelnosti tvoří základní stavební kámen pro složitější aritmetické struktury a algoritmy, včetně procesů faktorizace, asymetrických šifrovacích protokolů s veřejným klíčem a studia rozložení prvočísel.

📝 Definice a matematický zápis

Nechť $a$ a $b$ jsou prvky množiny celých čísel ($\mathbb{Z}$). Říkáme, že $a$ dělí $b$ ($a \mid b$), pokud existuje $k \in \mathbb{Z}$ splňující $a \cdot k = b$. Z této definice vyplývá několik exaktních formálních vlastností relace dělitelnosti nad množinou celých čísel:

Reflexivita: Pro každé celé číslo $a$ platí $a \mid a$, protože $a \cdot 1 = a$. Výjimkou je interpretace dělení nulou. V exaktním algebraickém smyslu však $0 \mid 0$ platí, neboť existuje celé číslo $k$ (např. $1$), pro které $0 \cdot k = 0$.
Tranzitivita: Jestliže $a \mid b$ a současně $b \mid c$, potom platí $a \mid c$. Pokud $a \cdot k_1 = b$ a $b \cdot k_2 = c$, pak algebraicky $a \cdot (k_1 \cdot k_2) = c$.
Antisymetrie (až na znaménko): Pokud platí $a \mid b$ a zároveň $b \mid a$, potom $a = b$ nebo $a = -b$. V oboru přirozených čísel ($\mathbb{N}$) je relace dělitelnosti striktně antisymetrická a tvoří částečné uspořádání.
Linearita: Jestliže $a \mid b$ a $a \mid c$, potom $a$ dělí jakoukoliv jejich lineární kombinaci nad $\mathbb{Z}$. Platí tedy $a \mid (b \cdot x + c \cdot y)$ pro libovolná celá čísla $x, y$.

🔢 Typologie dělitelů

V teorii čísel se množina všech dělitelů konkrétního celého čísla systematicky klasifikuje do několika podskupin:

Triviální dělitelé: Každé celé číslo $n > 1$ má minimálně dva dělitele: číslo $1$ a samo sebe $n$.
Netriviální dělitelé: Všichni kladní dělitelé s výjimkou $1$ a $n$. Číslo disponující alespoň jedním netriviálním dělitelem se klasifikuje jako složené číslo.
Vlastní dělitelé: Množina všech kladných dělitelů čísla $n$ vyjma čísla $n$ samotného. Zahrnuje trivialitu $1$ a všechny netriviální dělitele.
Prvočíselní dělitelé: Dělitelé, kteří jsou sami o sobě prvočísly. Podle Základní věty aritmetiky lze každé celé číslo větší než $1$ zapsat jako jednoznačný součin svých prvočíselných dělitelů (až na pořadí činitelů).

📐 Největší společný dělitel a Eukleidův algoritmus

Největší společný dělitel (NSD) dvou celých čísel $a, b$ (která nejsou obě nulová) je největší kladné celé číslo $d$, pro které současně platí $d \mid a$ a $d \mid b$. Formálně se zapisuje jako $\gcd(a, b) = d$. Pokud je $\gcd(a, b) = 1$, čísla $a$ a $b$ se označují jako vzájemně nesoudělná.

Pro efektivní strojový výpočet NSD se v matematice a informatice nevyužívá faktorizace na prvočísla, nýbrž Eukleidův algoritmus, který poprvé písemně zdokumentoval řecký matematik Eukleidés kolem roku 300 př. n. l. Algoritmus je založen na axiomu, že největší společný dělitel dvou čísel se nemění, pokud větší z obou čísel nahradíme zbytkem po celočíselném dělení větším číslem menším.

Iterativní proces algoritmu pro nalezení NSD čísel $A$ a $B$ ($A > B$):

Do dočasné proměnné $C$ se uloží hodnota čísla $B$.
Do proměnné $B$ se uloží zbytek po celočíselném dělení $A \pmod B$.
Do proměnné $A$ se vloží uschovaná hodnota z $C$.
Vstupní kroky se algoritmicky opakují, dokud proměnná $B$ nenabude hodnoty $0$. Výsledný NSD je v tom okamžiku držen v proměnné $A$.

Příbuzný rozšířený Eukleidův algoritmus dále poskytuje koeficienty Bézoutovy rovnosti, které vyjadřují největšího společného dělitele přímo jako lineární kombinaci původních parametrů: $d = A \cdot x + B \cdot y$. Tento matematický aparát má přímé hardwarové uplatnění v kryptografii (algoritmus RSA) pro generování modulární inverze klíčů.

⚙️ Algoritmy pro hledání dělitelů a faktorizace

Zatímco NSD lze získat v logaritmickém čase, extrakce všech dělitelů daného rozsáhlého celého čísla (proces faktorizace) spadá mezi výpočetně nejtěžší nedořešené matematické úlohy (vykazuje asymetrickou časovou složitost).

Zkušební dělení (Trial division): Základní deterministický přístup spočívající v iterativním dělení zkoumaného čísla $n$ všemi celými čísly od $2$ do hraniční hodnoty $\lfloor\sqrt{n}\rfloor$. Metoda je aplikovatelná na nízké číselné řády, avšak pro řetězce s desítkami cifer je na klasických architekturách neproveditelná.
Pollardův rho algoritmus: Pravděpodobnostní metoda využívající cykly v pseudonáhodných posloupnostech generovaných nad konečným tělesem a Floydův algoritmus pro detekci těchto cyklů.
Obecné síto v číselném tělese (GNFS): Nejrychlejší klasický faktorizační algoritmus známý k roku 2026 pro čísla o velikosti nad 100 číslic (subexponenciální čas). Slouží k reálnému testování bezpečnosti průmyslových šifer.
Shorův algoritmus: Algoritmus navržený Peterem Shorem v roce 1994 exkluzivně pro architekturu kvantových počítačů. Redukuje faktorizaci na nalezení periody funkce, což umí spočítat v polynomiálním čase.

📊 Aritmetické funkce spojené s děliteli

Teorie čísel disponuje souborem speciálních multiplikativních funkcí, které kvantifikují vlastnosti dělitelů libovolného celého čísla $n$. Pro korektní vzorce se vyžaduje kanonický prvočíselný rozklad na tvar $n = p_1^{a_1} \cdot p_2^{a_2} \cdots p_k^{a_k}$, kde $p_i$ označují unikátní prvočísla a $a_i$ jejich exponenty.

Funkce počtu dělitelů $\tau(n)$ (někdy označovaná $d(n)$): Udává absolutní počet kladných dělitelů čísla $n$. Získá se prostým násobením hodnot exponentů zvětšených o jedna: $\tau(n) = (a_1 + 1) \cdot (a_2 + 1) \cdots (a_k + 1)$.
Funkce součtu dělitelů $\sigma(n)$: Vrací sumu všech kladných dělitelů čísla $n$. Její algebraický výpočet využívá geometrickou řadu pro každý prvočinitel: $\sigma(n) = \prod_{i=1}^k \frac{p_i^{a_i + 1} - 1}{p_i - 1}$.

🌟 Klasifikace čísel na základě dělitelů

Analýza množiny vlastních dělitelů a aplikace funkce $\sigma(n)$ umožňuje deterministické rozřazení celých čísel do exaktních tříd.

Prvočísla

Celé číslo mající přesně dva kladné dělitele ($1$ a $n$). V říjnu 2024 bylo v rámci mezinárodního distribuovaného projektu GIMPS (založeného na výkonu grafických procesorů dobrovolníků) determinováno dosud největší prvočíslo v historii matematiky. Tento primát si udržuje i v roce 2026. Jedná se o Mersennovo prvočíslo s klasifikačním kódem $M_{136279841}$. Jeho struktura $2^{136279841}-1$ generuje v desítkové soustavě řetězec dlouhý 41 024 320 číslic. Z definice toto gigantické číslo nemá žádné vlastní dělitele.

Dokonalá, deficientní a abundantní čísla

Hodnocení probíhá porovnáním velikosti čísla $n$ se součtem jeho vlastních dělitelů.

Deficientní číslo (nedostatečné): Součet vlastních dělitelů je striktně menší než zkoumané číslo $n$. Do této kategorie spadají mimo jiné všechna prvočísla. (Např. $10$: součet dělitelů $1+2+5 = 8$).
Abundantní číslo (nadbytečné): Součet vlastních dělitelů je ostře větší než samotné číslo $n$. (Např. $12$: součet $1+2+3+4+6 = 16$).
Dokonalé číslo: Součet vlastních dělitelů se numericky shoduje s číslem $n$. (Např. $6$: $1+2+3 = 6$, či $28$: $1+2+4+7+14 = 28$). Obor dokonale rezonuje s Mersennovými prvočísly; každé nové nalezené Mersennovo prvočíslo determinuje polohu jednoho nového sudého dokonalého čísla.

Vysoce složená čísla

Matematický koncept formálně zpracovaný Srinivásou Rámánudžanem. Vysoce složené číslo je libovolné přirozené číslo, které disponuje větším počtem dělitelů (vyšší hodnotou $\tau(n)$) než jakékoliv menší kladné číslo. Empirickým důkazem praktické aplikace je číslo 360, mající přesně 24 dělitelů. Jeho masivní dělitelnost bez vzniku reziduálních zlomků využili již starověcí Babylóňané při kalibraci šedesátkové soustavy, což vedlo k trvalému zavedení kruhu o 360 stupních.

🎓 Zobecnění v abstraktní algebře

Pojem dělitele přesahuje hranice běžné aritmetiky a aplikuje se v abstraktní algebře napříč komutativními okruhy. Uvnitř obecného okruhu $R$ platí, že prvek $a$ dělí prvek $b$, existuje-li $x \in R$ splňující rovnici $a \cdot x = b$.

Zcela specifickým konstruktem jsou dělitelé nuly. Prvek $a \neq 0$ se deklaruje jako dělitel nuly, pakliže existuje jiný nenulový prvek $b \neq 0$ udržující $a \cdot b = 0$. V praxi to prokazuje modulární aritmetika s modulem složeného čísla (např. $\mathbb{Z}_6$, kde $2 \cdot 3 \equiv 0 \pmod 6$, z čehož vyplývá, že prvky $2$ a $3$ fungují jako dělitelé nuly). Komutativní okruhy s prvkem jedna, které neobsahují vůbec žádné dělitele nuly (s trivialitou čísla 0), tvoří zásadní strukturu zvanou obor integrity (např. množina celých čísel $\mathbb{Z}$).

💡 Pro laiky

Pojem dělitele je nejjednodušší vysvětlit na prostém dělení fyzických předmětů mezi fixní počet osob. Představme si krabici s 12 jablky, kterou chceme spravedlivě rozdat dětem tak, abychom nemuseli žádné jablko krájet na poloviny a v krabici nezůstal žádný zbytek.

Pokud krabici předáme 3 dětem, každé si vezme přesně 4 jablka. Nezbude nic a nikdo se necítí ošizen. Číslo 3 se tak matematicky stává dělitelem čísla 12. Úplně stejně dobře bychom mohli jablka rozdat 4 dětem (po 3 kusech) nebo 6 dětem (po 2 kusech). Všechna tato čísla (3, 4, 6) fungují jako platní dělitelé.

Pokud bychom se ale pokusili 12 jablek rozdat mezi 5 dětí, každé by sice dostalo 2 jablka, ale na dně krabice by 2 celá jablka zbyla navíc. Jelikož došlo k vytvoření „zbytku“, zjišťujeme s jistotou, že číslo 5 dělitelem 12 zkrátka není. Některá čísla v matematice jsou pak zcela nepoddajná – například 7 jablek. Ta nejdou spravedlivě a vcelku rozdělit žádným způsobem, ledaže byste je dali všechna jednomu dítěti (dělitel 1), nebo je rozdali 7 dětem (každé po jednom kuse). Tato tvrdohlavá čísla se v matematice označují jako prvočísla.

📈 Statistiky a data

Kompletní tabulka pravidel dělitelnosti (rozsah 1 až 20)

Následující matice obsahuje bez selekce a zkracování vyčerpávající soubor algoritmických pravidel pro ověřování dělitelnosti z hlavy. Algoritmy platí fixně v desítkové číselné soustavě pro dělitele celého intervalu $1$ až $20$.

Dělitel	Aritmetické pravidlo pro ověření dělitelnosti	Zkušební příklad (s ověřením pravdivosti)
1	Každé existující celé číslo je beze zbytku dělitelné jedničkou.	$42$ ($42 / 1 = 42$)
2	Poslední číslice zkoumaného čísla musí být sudá (0, 2, 4, 6 nebo 8).	$138$ (končí cifrou 8)
3	Ciferný součet zkoumaného čísla musí být beze zbytku dělitelný 3.	$156$ ($1+5+6 = 12$, $12 / 3 = 4$)
4	Poslední dvojčíslí celého čísla musí být dělitelné 4.	$732$ (32 je dělitelné 4)
5	Poslední číslice zkoumaného čísla tvoří přesně hodnotu 0 nebo 5.	$195$ (končí cifrou 5)
6	Číslo musí naráz splňovat pravidlo pro dělitele 2 a pravidlo pro dělitele 3.	$312$ (je sudé, ciferný součet je 6)
7	Rozdíl čísla vytvořeného bez poslední cifry a dvojnásobku odstraněné poslední cifry musí být dělitelný 7.	$343$ ($34 - (2 \cdot 3) = 28$, $28 / 7 = 4$)
8	Poslední trojčíslí celého čísla musí tvořit číslo dělitelné 8.	$5120$ (120 je dělitelné 8)
9	Ciferný součet zkoumaného čísla musí tvořit násobek 9.	$711$ ($7+1+1 = 9$, $9 / 9 = 1$)
10	Poslední číslice zkoumaného čísla odpovídá výhradně 0.	$2590$ (končí cifrou 0)
11	Rozdíl mezi součtem cifer na sudých pozicích a na lichých pozicích je roven násobku 11 (včetně 0).	$2816$ ($(8+6) - (2+1) = 14 - 3 = 11$)
12	Číslo musí naráz splňovat pravidlo pro dělitele 3 a pravidlo pro dělitele 4.	$408$ (ciferný součet 12, končí 08)
13	Součet čísla bez poslední cifry a čtyřnásobku odstraněné poslední cifry musí tvořit číslo dělitelné 13.	$273$ ($27 + (4 \cdot 3) = 39$, $39 / 13 = 3$)
14	Číslo musí naráz splňovat pravidlo pro dělitele 2 a pravidlo pro dělitele 7.	$462$ (je sudé, $46 - (2 \cdot 2) = 42$)
15	Číslo musí naráz splňovat pravidlo pro dělitele 3 a pravidlo pro dělitele 5.	$615$ (končí cifrou 5, ciferný součet je 12)
16	Poslední čtyřčíslí celého čísla musí tvořit číslo dělitelné 16.	$154096$ (4096 je přímo dělitelné 16)
17	Rozdíl čísla bez poslední cifry a pětinásobku odstraněné poslední cifry musí tvořit číslo dělitelné 17.	$221$ ($22 - (5 \cdot 1) = 17$, $17 / 17 = 1$)
18	Číslo musí naráz splňovat pravidlo pro dělitele 2 a pravidlo pro dělitele 9.	$882$ (je sudé, ciferný součet je 18)
19	Součet čísla bez poslední cifry a dvojnásobku odstraněné poslední cifry musí tvořit číslo dělitelné 19.	$361$ ($36 + (2 \cdot 1) = 38$, $38 / 19 = 2$)
20	Poslední dvojčíslí testovaného čísla tvoří výhradně kombinaci 00, 20, 40, 60 nebo 80.	$1540$ (končí dvojčíslím 40)

Kompletní datová tabulka parametrů dělitelů pro celá čísla 1 až 30

Striktním matematickým požadavkem pro komplexní analýzu distribuce dělitelů je sekvenční kontinuální řada. Z toho důvodu níže uvedená tabulka zpracovává veškeré absolutní parametry od 1 do 30 bez vynechání. Parametr $\tau(n)$ reprezentuje fixní počet dělitelů, $\sigma(n)$ jejich součet. Finální klasifikace reflektuje součet vlastních dělitelů.

Číslo ($n$)	Kompletní množina dělitelů čísla $n$	Počet $\tau(n)$	Součet $\sigma(n)$	Suma vlastních dělitelů	Odborná klasifikace
1	{1}	1	1	0	Deficientní
2	{1, 2}	2	3	1	Prvočíslo (Deficientní)
3	{1, 3}	2	4	1	Prvočíslo (Deficientní)
4	{1, 2, 4}	3	7	3	Deficientní
5	{1, 5}	2	6	1	Prvočíslo (Deficientní)
6	{1, 2, 3, 6}	4	12	6	Dokonalé
7	{1, 7}	2	8	1	Prvočíslo (Deficientní)
8	{1, 2, 4, 8}	4	15	7	Deficientní
9	{1, 3, 9}	3	13	4	Deficientní
10	{1, 2, 5, 10}	4	18	8	Deficientní
11	{1, 11}	2	12	1	Prvočíslo (Deficientní)
12	{1, 2, 3, 4, 6, 12}	6	28	16	Abundantní
13	{1, 13}	2	14	1	Prvočíslo (Deficientní)
14	{1, 2, 7, 14}	4	24	10	Deficientní
15	{1, 3, 5, 15}	4	24	9	Deficientní
16	{1, 2, 4, 8, 16}	5	31	15	Deficientní
17	{1, 17}	2	18	1	Prvočíslo (Deficientní)
18	{1, 2, 3, 6, 9, 18}	6	39	21	Abundantní
19	{1, 19}	2	20	1	Prvočíslo (Deficientní)
20	{1, 2, 4, 5, 10, 20}	6	42	22	Abundantní
21	{1, 3, 7, 21}	4	32	11	Deficientní
22	{1, 2, 11, 22}	4	36	14	Deficientní
23	{1, 23}	2	24	1	Prvočíslo (Deficientní)
24	{1, 2, 3, 4, 6, 8, 12, 24}	8	60	36	Abundantní
25	{1, 5, 25}	3	31	6	Deficientní
26	{1, 2, 13, 26}	4	42	16	Deficientní
27	{1, 3, 9, 27}	4	40	13	Deficientní
28	{1, 2, 4, 7, 14, 28}	6	56	28	Dokonalé
29	{1, 29}	2	30	1	Prvočíslo (Deficientní)
30	{1, 2, 3, 5, 6, 10, 15, 30}	8	72	42	Abundantní

Zdroje