灯下 登录
数学 / 数书九章 / 孙子算经 · 中国剩余定理入口

预备 · 孙子物不知数

今有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何?

答曰:二十三。

这不是普通的“猜数”。它给出三个余数条件:x ≡ 2 (mod 3),x ≡ 3 (mod 5),x ≡ 2 (mod 7)。秦九韶的大衍术要处理的,就是把这样的条件推广到更多模数、更复杂单位和更大的数。

mod 3 mod 5 mod 7 x=23
fig-sunzi-crt

三个余数条件合并为一个最小正解。

求 x ≡ 2 (mod 3),x ≡ 3 (mod 5),x ≡ 2 (mod 7) 的最小正解。

从 2, 5, 8, 11, 14, 17, 20, 23 这些模 3 余 2 的数里筛;23 同时模 5 余 3、模 7 余 2,所以最小正解是 23。