Čínská věta o zbytcích

Čínská věta o zbytcích (také známa jako Čínská věta o zbytku nebo Čínská zbytková věta) je matematické tvrzení z modulární aritmetiky. Pojednává o vlastnostech čísel v grupách kongruence modulo n (grupy $\mathbb{Z}_n$). Využívá se v algoritmech pro zpracování velkých čísel nebo v kryptografii. Nejstarší zmínkou o této větě je problém 26 z knihy Sun-c' Suan Ťing, kterou ve 3. století našeho letopočtu napsal čínský matematik Sun-c'.

Znění

Existují dvě ekvivalentní znění této věty:

Aritmetická formulace

Předpokládejme, že $m_1,m_2,\ldots,m_r$ jsou navzájem nesoudělná přirozená čísla, $m_i\geq2$ pro $i=1,\ldots,r$. Potom každá soustava rovnic:

$x \equiv a_1 \pmod{m_1} \,\!$

$x \equiv a_2 \pmod{m_2} \,\!$

$\quad\quad\vdots \,\!$

$x \equiv a_r \pmod{m_r} \,\!$

má řešení x a toto řešení je určeno jednoznačně v modulo $M = m_1\cdot m_2\cdot\ldots\cdot m_r$.

Algebraická formulace

Nechť $m_1,m_2,\ldots,m_r$ jsou navzájem nesoudělná přirozená čísla, $m_i\geq2$ pro $i=1,\ldots,r$. Pak grupy $Z_{m_1}\times\ldots\times Z_{m_r}$ a $Z_{m_1\cdot\ldots\cdot m_r}$ jsou izomorfní. Izomorfismem je (kromě jiných) zobrazení $f:Z_{m_1\cdot\ldots\cdot m_r}\rightarrow Z_{m_1}\times\ldots\times Z_{m_r}$ dané předpisem $f(x)=(x \;mod\; m_1,\ldots,x\; mod \; m_r)$.

Ekvivalence předchozích dvou formulací

Nechť platí tvrzení "aritmetická formulace". Zobrazení f z tvrzení "algebraická formulace" je homomorfismus zřejmě. Dále $f(x)=(a_1,\ldots,a_r)$ právě tehdy, když x řeší soustavu příslušnou $a_1,\ldots,a_r$. Proto f je prosté díky jednoznačnosti řešení a f je na díky existenci řešení.

Nechť naopak platí „algebraická formulace“, pak zobrazení $f^{-1}$ poskytuje řešení soustavy z „teoreticky číselné formulace“. Jednoznačnost tohoto řešení plyne z prostoty f.

Zobecnění čínské věty pro soudělná čísla

Ať m₁, m₂ jsou libovolná přirozená čísla větší než 2. Označme d = NSD(m₁,m₂), kde NSD(a,b) se rozumí největší společný dělitel čísel a, b. Pak jsou následující dvě podmínky ekvivalentní:

1. Soustava $\begin{matrix}x = a_1\ \mbox{v}\ Z_{m1} \\ x = a_2\ \mbox{v}\ Z_{m2}\end{matrix}$ má řešení.

1. Platí d|(a₂–a₁) (tedy (a₂–a₁) je dělitelné d).

Jestliže platí d|(a₂–a₁), je řešení určeno jednoznačně v Z_M, kde M = NSN(m₁,m₂), kde funkcí NSN(a,b) se rozumí nejmenší společný násobek čísel a, b.

Použití

Na základě této věty lze vytvořit algoritmus výpočtu zbytku po dělení velké mocniny zadaného čísla. Tento algoritmus má své uplatnění například v šifrovacím protokolu RSA.

Příklad použití

Máme spočíst zbytek čísla 12³¹⁶⁸⁰³ po dělení číslem 26741, neboli v Z₂₆₇₄₁. Nejprve musíme mít daný prvočíselný rozklad čísla 26741 = 11²·13·17. Protože čísla 11², 13 a 17 jsou navzájem nesoudělná, je podle čínské věty o zbytcích číslo 12³¹⁶⁸⁰³ v Z₂₆₇₄₁ určeno jednoznačně svými zbytky po dělení čísly 11², 13 a 17.

Následně využijeme faktu, že a^φ(m) = 1 v Z_m (Eulerova funkce) a spočteme tyto zbytky:

12³¹⁶⁸⁰³ = 12^110·2880+3 = 12³ = 34 v Z₁₂₁
12³¹⁶⁸⁰³ = 12^12·26400+3 = 12³ = 12 v Z₁₃
12³¹⁶⁸⁰³ = 12^16·19800+3 = 12³ = 11 v Z₁₇

(protože φ(11²) = 110 ,φ(13) = 12 ,φ(17) = 16)

Nyní použijeme čínskou vetu o zbytcích, kde m₁ = 11², m₂ = 13 a m₃ = 17. Pak platí:
12³¹⁶⁸⁰³ = (34 ·M₁ · N₁) + (12 ·M₂ · N₂) + (11 ·M₃ · N₃) v Z₂₆₇₄₁,
kde

M₁ = 13 · 17 = 221
M₂ = 11² · 17 = 2057
M₃ = 11² · 13 = 1573

N₁ = M₁^–1 = 100^–1 = 23 v Z₁₂₁
N₂ = M₂^–1 = 3^–1 = 9 v Z₁₃
N₃ = M₃^–1 = 9^–1 = 2 v Z₁₇
Tudíž 12³¹⁶⁸⁰³ = (34 · 221 · 23) + (12 · 2057 · 9) + (11 · 1573 · 2) = 1728 v Z₂₆₇₄₁

Související články

• Modulární aritmetika
• Malá Fermatova věta

Reference

• RNDr. Jiří Velebil, Ph.D.: Diskrétní matematika a logika, ČVUT Praha 2006