Nechť
Pokud
Číslo
Buďte
Buďte
Buďte
Buďte
Buďte
Pro vstup dvou čísel
Lineární diofantická rovnice (pro dvě neznámé) je libovolná rovnice typu
kde
Uvažujme lineární diofantickou rovnici
Přirozená čísla
Nechť
Samotné
Nechť
Buďte
Buďte
Nechť
Buď
Potom platí:
Pokud je
Tedy:
Nechť
Pokud je
Tedy:
Řešením lineární kongruence rozumíme nalezení všech celých čísel
Buďte
Kongruence
Všechna řešení lineární kongruence v
Uvažujme soustavu lineárních kongruencí
kde
Řešení této soustavy vždy existuje a všechna řešení jsou kongruentní modulo
Dále definujeme
Uvažujme soustavu lineárních kongruencí
kde
Pokud řešení existuje, je určeno jednoznačně v modulu
*(viz lcm)
Vytvořeno: 27. 5. 2026, 11:57
Poslední aktualizace: 9. 6. 2026, 12:18