Lucas定理

抽时间学习下$Lucas$定理：

Content：

若满足$n,m\in N*$且$P$为素数，则有(除法皆为整除)：
$~~~~~~~~~~~~~~~~~~~~~~\binom{n}{m} = \binom{\frac{n}{p}}{\frac{m}{p}}*\binom{n~mod~p}{m~mod~p}$
或者是
$~~~~~~~~~~~~~~~~~~~~~~\binom{n}{m}=\prod\binom{a_i}{b_i}~mod~p$$(a_i,b_i$的定义见证明$)$

Proof：

令：
$~~~~~~~~~~~~~~n=a_kx^k+a_{k-1}x^{k-1}+...+a_1x+a_0$

$~~~~~~~~~~~~~~m=b_kx^k+b_{k-1}x^{k-1}+...+b_1x+b_0$

我们将$n,m$表示成$p$进制的形式，不妨设$n\geq m$。

根据：
$~~~~~~~(1+x)^n=(1+x)^{\frac{n}{p}*p}(1+x)^{a_0}$
$~~~~~~~~~~~~~~~~~~~~~\equiv (1+x^p)^{\frac{n}{p}}(1+x)^{a_0}(mod~p)$

再由二项式定理，左右两边的$x^m$项的系数$mod~p$同余。
即$\binom{n}{m}=\binom{\frac{n}{p}}{\frac{m}{p}}*\binom{a_0}{b_0}=\binom{\frac{n}{p}}{\frac{m}{p}}*\binom{n~mod~p}{m~mod~p}$，证毕。