中国剩余定理，扩展中国剩余定理与扩展卢卡斯定理

中国剩余定理

中国剩余定理，又称孙子定理，是目前所有定理中唯一用中国命名的定理

首先来看这样一道小学数学题

• 有一个数 $x$， $x\%3=2$，$x\%5=3$，$x\%7=2$
  求最小满足三个式子的 $x$ 的值

这道题用数学的写法就是这样的

$$\{\begin{array}{l}x\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}3)\\ x\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}5)\\ x\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}7)\end{array}$$

求解这个线性方程组

那时欧几里得还没出世，所以没有欧几里得定理

我们首先来考虑这样的方程组

$$\{\begin{array}{l}x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)\\ x\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}5)\\ x\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}7)\end{array}$$
$$\{\begin{array}{l}x\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)\\ x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}5)\\ x\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}7)\end{array}$$
$$\{\begin{array}{l}x\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)\\ x\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}5)\\ x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}7)\end{array}$$

我们可以知道 $x$ 为 $35$ 的倍数

所以设 $y=\frac{x}{35}$

则 $35y\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$

则 $2y\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$

可得 $y=2$

则 $x=70$

我们列出三个方程的式子

$$\{\begin{array}{l}2y\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)\\ y\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}5)\\ y\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}7)\end{array}$$

则 y = { 2 , 1 , 1 } y=\{2,1,1\} y={2,1,1}， x = { 70 , 21 , 15 } x=\{70,21,15\} x={70,21,15}

$$ans=2\times 70+3\times 21+2\times 15=23(\mathrm{m}\mathrm{o}\mathrm{d}3\times 5\times 7)$$

这是三个方程的答案

那么我们可以 从特殊到一般

推广到 $r$ 个式子

给定这个方程组

$$\{\begin{array}{l}x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ x\equiv a_3(\mathrm{m}\mathrm{o}\mathrm{d}{m}_3)\\ \cdots \\ x\equiv a_n(\mathrm{m}\mathrm{o}\mathrm{d}{m}_n)\end{array}$$

其中 ∀ { i , j } \forall \{i,j\} ∀{i,j} 有 $m_i\perp m_j$

$$M=\prod _r^{i=1}{m}_i$$

考虑构造

$$x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$$

令 $x=M/m_i\times y$

则只需要求

$$(M/m_i)y\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$$

逆元求一下即可

扩展 Lucas 定理

给定三个数 $n,m,p$

求 $C_n^m(\mathrm{m}\mathrm{o}\mathrm{d}p)$

设

$p=p_1^{a_1}{p}_2^{a_2}{p}_3^{a_3}\cdots$

轻松得出线性方程组

$$\{\begin{array}{l}{C}_n^m(\mathrm{m}\mathrm{o}\mathrm{d}{p}_1^{a_1})\\ C_n^m(\mathrm{m}\mathrm{o}\mathrm{d}{p}_2^{a_2})\\ \cdots \\ C_n^m(\mathrm{m}\mathrm{o}\mathrm{d}{p}_n^{a_n})\end{array}$$

然后用中国剩余定理求解即可

举个例子：

假设我们要求 $C_n^m(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$

展开来为

$$\frac{n!}{m!(n-m)!}(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$$

设 $a$ 为对于 $m!$ 与 $(n-m)!$ 的 $p$ 的逆元

则 $\gcd (a,p)=1$

题目不能保证， 所以不一定有解

那就换一个式子

$$\frac{\frac{n!}{p^x}}{\frac{m!}{p^y}\frac{(n-m)!}{p^z}}{p}^{x-y-z}(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$$

展开来就是

$$\frac{n!}{p^x}\frac{p^y}{m!}\frac{p^z}{(n-m)!}\frac{p^x}{p^y{p}^z}(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$$

约分后等价于上面的式子

其中 $x,y,z$ 分别表示 $n!,m!,(n-m)!$ 中 $p$ 因子的含量

问题进一步简化，求

$$\frac{n!}{p^x}(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$$

令

n ! = { 1 ⋅ 2 ⋅ ⋯ ⋅ n } { p ⋅ 2 p ⋅ 3 p ⋅ ⋯ ⋅ } n!=\{1·2·\cdots ·n\}\{p·2p·3p·\cdots·\} n!={1⋅2⋅⋯⋅n}{p⋅2p⋅3p⋅⋯⋅}

也就是

$$n!=\prod _{ip\le n}^{i=1}ip\times \prod _n^{i=1,i\ne 0(\mathrm{m}\mathrm{o}\mathrm{d}p)}i$$

$\because [1,n]$ 中有 $\lfloor \frac{n}{p}\rfloor$ 个 $p$ 的倍数

等价于

$$n!=p^{\lfloor \frac{n}{p}\rfloor }\prod _{\lfloor \frac{n}{p}\rfloor }^{i=1}i\times \prod _{i=1,i\ne 0(\mathrm{m}\mathrm{o}\mathrm{d}p)}^{i=1}i$$

等价于

$$n!=p^{\lfloor \frac{n}{p}\rfloor }(\lfloor \frac{n}{p}\rfloor )!$$