Největší společný dělitel

Největší společný dělitel (značený NSD, D, příp. gcd z anglického greatest common divisor) dvou celých čísel je největší číslo takové, že beze zbytku dělí obě čísla, tzn. největší číslo, jímž jsou obě čísla dělitelná. Například největší společný dělitel čísel 15 a 20 je 5 (číslo 5 dělí obě čísla, žádné větší číslo s touto vlastností už neexistuje; např. číslo 10 dělí druhé číslo, ale ne první).

Obecněji je možno hovořit o největším společném děliteli celé množiny čísel – tím je největší číslo takové, že beze zbytku dělí všechna čísla v množině.

Definice

$\mathrm{NSD}<!--\; \; -->(a,b)=max\{n\in <!--\; \in \; -->N:n\mid <!--\; \mid \; -->a\wedge <!--\; \wedge \; -->n\mid <!--\; \mid \; -->b\}$

Vlastnosti

• Určení největšího společného dělitele je matematická operace
  • idempotentní,

  $\mathrm{NSD}<!--\; \; -->(a,a)=a$

  • asociativní i

  $\mathrm{NSD}<!--\; \; -->(\mathrm{NSD}<!--\; \; -->(a,b),c)=\mathrm{NSD}<!--\; \; -->(a,(\mathrm{NSD}<!--\; \; -->(b,c))$

  • komutativní

  $\mathrm{NSD}<!--\; \; -->(a,b)=\mathrm{NSD}<!--\; \; -->(b,a)$

• Součin největšího společného dělitele a nejmenšího společného násobku dvou čísel se rovná součinu těchto dvou čísel:

  $\mathrm{NSD}<!--\; \; -->(a,b)\mathrm{nsn}<!--\; \; -->(a,b)=ab$

• $\mathrm{NSD}<!--\; \; -->(a,b)=\mathrm{NSD}<!--\; \; -->(a,b-<!--\; -\; -->a)$ (pro $b>a$). Této vlastnosti využívá Eukleidův algoritmus:

  Označme $D_1$ množinu společných dělitelů čísel $a,b$ a $D_2$ množinu společných dělitelů čísel $a,b-<!--\; -\; -->a$. Uvědomíme si, že

  $d\mid <!--\; \mid \; -->a\wedge <!--\; \wedge \; -->d\mid <!--\; \mid \; -->(b-<!--\; -\; -->a)\Rightarrow <!--\; \Rightarrow \; -->d\mid <!--\; \mid \; -->a\wedge <!--\; \wedge \; -->d\mid <!--\; \mid \; -->b\Rightarrow <!--\; \Rightarrow \; -->\mathrm{NSD}<!--\; \; -->(a,b-<!--\; -\; -->a)\in <!--\; \in \; -->D_1$

  $d\mid <!--\; \mid \; -->a\wedge <!--\; \wedge \; -->d\mid <!--\; \mid \; -->b\Rightarrow <!--\; \Rightarrow \; -->d\mid <!--\; \mid \; -->a\wedge <!--\; \wedge \; -->d\mid <!--\; \mid \; -->(b-<!--\; -\; -->a)\Rightarrow <!--\; \Rightarrow \; -->\mathrm{NSD}<!--\; \; -->(a,b)\in <!--\; \in \; -->D_2$

  Pokud by $\mathrm{NSD}<!--\; \; -->(a,b)>\mathrm{NSD}<!--\; \; -->(a,b-<!--\; -\; -->a)$, dostali bychom spor, protože v množině $D_2$ by byl větší prvek než $\mathrm{NSD}<!--\; \; -->(a,b-<!--\; -\; -->a)$. Podobný spor bychom dostali, pokud by . Proto $\mathrm{NSD}<!--\; \; -->(a,b)=\mathrm{NSD}<!--\; \; -->(a,b-<!--\; -\; -->a)$.

Výpočet

Největšího společného dělitele dvou čísel (a díky asociativitě i libovolně mnoha) lze určit prostřednictvím prvočíselného rozkladu obou čísel, jako součin prvočísel umocněných na nejmenší z exponentů u příslušného prvočísla v rozkladech:

Nechť $\underset{i}{\prod <!--\; \prod \; -->}{p}_i^{e_i}$ je prvočíselný rozklad čísla $a$ a $\underset{i}{\prod <!--\; \prod \; -->}{p}_i^{f_i}$ prvočíselný rozklad čísla $b$. Pak

$\mathrm{NSD}<!--\; \; -->(a,b)=\underset{i}{\prod <!--\; \prod \; -->}{p}_i^{min(e_i,f_i)}$.

Například největšího společného dělitele čísel 136 a 204 lze nalézt tak, že zjistíme, že 136 = 2³×17 a 204 =2²×3×17. V rozkladech se vyskytují prvočísla 2, 3 a 17 s exponenty 3, 0, 1 u menšího čísla a 2, 1, 1 u většího čísla. Výsledné NSD pak je součin prvočísel vyskytujících se v obou rozkladech umocněných na příslušné nejmenší exponenty, tedy 2²×17 = 68.

Tento výpočet je snadno pochopitelný, ale v praxi zcela nepoužitelný s výjimkou velice malých čísel, neboť získání rozkladu na prvočísla je extrémně náročná operace.

Pro praktické výpočty slouží výrazně rychlejší algoritmy, hlavně tzv. Eukleidův algoritmus.

Související články

• Nejmenší společný násobek
• Nesoudělná čísla

Externí odkazy

• Obrázky, zvuky či videa k tématu největší společný dělitel na Wikimedia Commons