余数定理-简单证明

余数定理-简单证明

1. 加法定理

求和取余等于各自取余再求和

$(x_1+x_2+x_3+...+x_n)\%d=[(x_1\%d)+(x_2\%d)+(x_3\%d)+...+(x_n\%d)]\%d$

加法定理其实很直接，参考下面的图应该很好理解

其中 $(x_1+x_2+x_3)\%d$ 中，绿色部分其实无论有多少块，在最后取余的时候都没有用了，只看黄色的余数部分。

2. 乘法定理

乘积取余等于各自取余再求积

$(x_1\ast x_2\ast x_3\ast \cdots \ast x_n)\%d=[(x_1\%d)\ast (x_2\%d)\ast (x_3\%d)\ast \cdots \ast (x_n\%d)]\%d$

假设

$x_1÷d=y_1\cdots \cdots p_1⟺x_1=y_1\ast d+p_1⟹x_1\%d=p_1$

$x_2÷d=y_2\cdots \cdots p_2⟺x_2=y_2\ast d+p_2⟹x_2\%d=p_2$

$x_3÷d=y_3\cdots \cdots p_3⟺x_3=y_3\ast d+p_3⟹x_3\%d=p_3$

$\cdots \cdots$

$x_n÷d=y_n\cdots \cdots p_n⟺x_n=y_n\ast d+p_n⟹x_n\%d=p_n$

则有以下

$(x_1\ast x_2\ast x_3\ast \cdots \ast x_n)\%d$

$=[(y_1\ast d+p_1)\ast (y_2\ast d+p_2)\ast (y_3\ast d+p_3)\ast \cdots \ast (y_n\ast d+p_n)]\%d$

$=(p_1\ast p_2\ast p_3\ast \cdots \ast p_n)\%d\cdots \cdots (1)$

$=[(x_1\%d)\ast (x_2\%d)\ast (x_3\%d)\ast \cdots \ast (x_n\%d)]\%d$

其中 (1) 处应该有 $2^n$ 项加数，根据 加法 定理，可以让这 $2^n$ 分别对 $d$ 取余然后再求和，但是在所有 $2^n$ 项中，只有这一项 (i.e., $p_1\ast p_2\ast p_3\ast \cdots \ast p_n$) 是不包含乘数 $d$ 的，其它 $2^n-1$ 项都是含有乘数 $d$ 的，这 $2^n-1$ 项分别对 $d$ 取余都是 0， 只剩下 $p_1\ast p_2\ast p_3\ast \cdots \ast p_n$ 求余。

扩展

假设有下标集合 S = { s 1 , s 2 , s 3 , ⋯ s t } S=\{s_1, s_2, s_3,\cdots s_t\} S={s1​,s2​,s3​,⋯st​}

$G=[(x_1\%d)\ast (x_2\%d)\ast \cdots \ast (x_{s_1-1}\%d)\ast x_{s_1}\ast (x_{s_1+1}\%d)\ast \cdots \ast x_{s_2}\ast \cdots \ast x_{s_3}\ast \cdots \ast x_{s_t}\ast \cdots \ast (x_n\%d)]\%d$

即下标刚好在 $S$ 的项，不对 $d$ 取余，

若有 $H$，所有的项都对 $d$ 取余

$H=[(x_1\%d)\ast (x_2\%d)\ast \cdots \ast (x_{s_1-1}\%d)\ast (x_{s_1}\%d)\ast (x_{s_1+1}\%d)\ast \cdots \ast (x_{s_2}\%d)\ast \cdots \ast (x_{s_3}\%d)\ast \cdots \ast (x_{s_t}\%d)\ast \cdots \ast (x_n\%d)]\%d$

则有 $G=H$

$G=[(x_1\%d)\ast (x_2\%d)\ast \cdots \ast (x_{s_1-1}\%d)\ast x_{s_1}\ast (x_{s_1+1}\%d)\ast \cdots \ast x_{s_2}\ast \cdots \ast x_{s_3}\ast \cdots \ast x_{s_t}\ast \cdots \ast (x_n\%d)]\%d$

根据 乘法 定理，我们可以把 $G$ 中的每一项都添加一个 $\%d$

$=[(x_1\%d\%d)\ast (x_2\%d\%d)\ast \cdots \ast (x_{s_1-1}\%d\%d)\ast (x_{s_1}\%d)\ast (x_{s_1+1}\%d\%d)\ast \cdots \ast (x_{s_2}\%d)\ast \cdots \ast (x_{s_3}\%d)\ast \cdots \ast (x_{s_t}\%d)\ast \cdots \ast (x_n\%d\%d)]\%d$

由于 $x_1\%d\%d=x_1\%d$

$=[(x_1\%d)\ast (x_2\%d)\ast \cdots \ast (x_{s_1-1}\%d)\ast (x_{s_1}\%d)\ast (x_{s_1+1}\%d)\ast \cdots \ast (x_{s_2}\%d)\ast \cdots \ast (x_{s_3}\%d)\ast \cdots \ast (x_{s_t}\%d)\ast \cdots \ast (x_n\%d)]\%d$

$=H$

$=(x_1\ast x_2\ast \cdots \ast x_{s_1-1}\ast x_{s_1}\ast x_{s_1+1}\ast \cdots \ast x_{s_2}\ast \cdots \ast x_{s_3}\ast \cdots \ast x_{s_t}\ast \cdots \ast \cdots \ast x_n)\%d$

也就是说，一串乘积的取余，既可以让所有项先取余再求积，也可以只让部分项先取余再求积

举个例子

$(x_1\ast x_2\ast x_3\ast x_4\ast x_5\ast x_6)\%d$

$=[(x_1\%d)\ast x_2\ast x_3\ast x_4\ast x_5\ast x_6)]\%d$

$=[(x_1\%d)\ast (x_2\%d)\ast x_3\ast x_4\ast (x_5\%d)\ast x_6)]\%d$

$=[x_1\ast x_2\ast (x_3\%d)\ast (x_4\%d)\ast x_5\ast (x_6\%d))]\%d$

$=[(x_1\%d)\ast (x_2\%d)\ast (x_3\%d)\ast (x_4\%d)\ast (x_5\%d)\ast (x_6\%d))]\%d$

记得最后还要再取一次余

3. 参考链接

三大余数定理