中国剩余定理
孙子定理是中国古代求解一次同余式组(见同余)的方法。是数论中一个重要定理。又称中国余数定理。
我国古代《孙子算经》的卷下第二十六题,“物不知数”题如下:
有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何?
答曰二十三。
物不知数问题用同余式组来表示就是:
定义:由若干个一次同余式构成的同余式组称为一次同余式组
如果存在 x 0 ∈ Z x_{0}\in Z x0∈Z,使得 a i x 0 ≡ b i ( m o d m i ) ( i = 1 , ⋯   , n ) a_{i}x_{0}\equiv b_{i}\left ( mod \ m_{i} \right )\left ( i=1,\cdots ,n \right ) aix0≡bi(mod mi)(i=1,⋯,n),则 x ≡ x 0 ( m o d [ m 1 , m 2 , ⋯ m n ] ) x\equiv x_{0}\left ( mod\left [ m_{1},m_{2},\cdots m_{n} \right ] \right ) x≡x0(mod[m