作者:知乎,Liu言杂记

来源:https://zhuanlan.zhihu.com/p/44591114

问题1:计算一个整数 [公式] ,使得它满足除以3余2、除以5余3、除以7余2。

如果能够找到三个整数 [公式] ,使得:

问题1-1:[公式] 除以3余2、除以5余0、除以7余0;

问题1-2:[公式] 除以3余0、除以5余3、除以7余0;

问题1-3:[公式] 除以3余0、除以5余0、除以7余2;

那么令 [公式] ,就很容易验证这时的 [公式] 就满足除以3余2、除以5余3、除以7余2。

分别称找到整数 [公式] 的问题为问题1-1、问题1-2、问题1-3。可以看出这三个问题本质上是类似的。

下面对问题1-1继续分解,如果能够找到一个整数 [公式] 满足 [公式] 除以3余1、除以5余0、除以7余0,那么令 [公式] ,就很容易验证这时的 [公式] 就满足除以3余2、除以5余0、除以7余0。

因此定义

问题1-1-1为:寻找整数 [公式] 满足 [公式] 除以3余1、除以5余0、除以7余0;

问题1-2-1为:寻找整数 [公式] 满足 [公式] 除以3余0、除以5余1、除以7余0;

问题1-3-1为:寻找整数 [公式] 满足 [公式] 除以3余0、除以5余0、除以7余1。

这三个问题本质上是相同的。

如果找到了 [公式] ,那么就可以取 [公式] 。

下面就以问题1-1-1为例:寻找整数 [公式] 使得 [公式] 除以3余1、除以5余0、除以7余0。

于是 [公式] 一定是 [公式] 的倍数,假设 [公式] 。

那么就有 [公式] ,而这时的 [公式] 就是 [公式] 模3的逆(参看“5÷2=6?——是的,模7意义下”),将这个 [公式] 记作 [公式] ,那么 [公式] 就等于 [公式] ,恰好就是 [公式] ,对应“凡三三数之剩一,则置七十”一句及“三人同行七十稀”一句。

于是类推得到,

问题1-1-2的解答是 [公式] ,恰好就是 [公式] ,对应“五五数之剩一,则置二十一”一句及“五树梅花廿一枝”一句;

问题1-1-3的解答是 [公式] ,恰好就是 [公式] ,对应“七七数之剩一,则置十五”一句及“七子团圆月正半”一句。

所以将分解的问题复原,可得:

[公式] 。

最后 ,注意到,如果 [公式] 满足除以3余2、除以5余3、除以7余2,那么 [公式] 也同样满足。

因此要计算满足要求的最小的非负整数,就只需要计算总和除以105的余数即可。——对应“除百零五便得知”一句。

下面要讨论的是:如果有多个满足要求的整数,那么它们之间有什么关系呢?

假设 [公式] 都满足“除以3余a、除以5余b、除以7余c”。

观察 [公式] 会发现, [公式] 满足“除以3余0、除以5余0、除以7余0”。因此 [公式] 一定是 [公式] 的倍数。

这也就是说,在“模105同余”的意义下,之前通过分解问题、组合解答的方法所得到的 [公式] 恰恰就是唯一解。

下面把这个问题一般化:假设整数 [公式] 两两互素,则对于任意的整数 [公式] ,方程组

[公式]

都存在整数解,且若[公式] 都满足该方程组,则必有 [公式] ,其中 [公式] 。

具体而言, [公式] 。

——这就是我非常看重和喜欢的中国剩余定理(Chinese remainder theorem, CRT)。

 

作者:知乎,Liu言杂记

来源:https://zhuanlan.zhihu.com/p/44591114

另一篇文章推荐:模意义下的除法:https://zhuanlan.zhihu.com/p/44523169