lucas定理:当 m ∈ [ 1 , n ] m\in [1,n] m∈[1,n]时, C n m ≡ C ⌊ n / p ⌋ ⌊ m / p ⌋ ∗ C n m o d p m m o d p ( m o d p ) C_n^m≡C_{\left\lfloor\ n/p \right\rfloor}^{\left\lfloor\ m/p \right\rfloor}*C_{n ~ mod ~ p}^{m ~ mod ~ p}(mod \ p) Cnm≡C⌊ n/p⌋⌊ m/p⌋∗Cn mod pm mod p(mod p)
一个重要的性质就是:当
f
∈
(
0
,
p
)
且
f
∈
N
时
f\in(0,p)且f\in N时
f∈(0,p)且f∈N时,
C
p
f
≡
p
!
(
p
−
f
)
!
∗
f
!
(
分
母
一
定
不
含
p
)
≡
0
(
m
o
d
p
)
C_p^f≡\dfrac{p!}{(p-f)!*f!}(分母一定不含p)≡0(mod \ p)
Cpf≡(p−f)!∗f!p!(分母一定不含p)≡0(mod p)
再通过二项式定理可证。
详见证明博客。