Čínská věta o zbytcích

Nejstarší zmínka o této větě je ze 3. století našeho letopočtu a napsal ji čínský matematik Sun-c' a proto se jí říká činská věta (Chinese remainder theorem).

Definice

Systém lineárních kongruencí:
x ≡ a₁(mod₁)
x ≡ a₂(mod₂)
...
x ≡ a_N(mod_N)

kde čísla m_i jsou po dvou nesoudělná, tedy gcd(m_i, m_j) = 1 pro všechna i, j,i !=j.

Definujme $M_i = M/m_i$