整理日期按学习顺序编排，不代表原始发表时间。实际整理于 2026-10-23。

难度为阅读建议，可从 ACM 学习索引 按阶段阅读。

Kummer定理

设 $v_p(n)$表示 n 的质因数分解中质数 p 的幂次，则：

$v_p(n!)=\sum\limits_{i=1}^\infty\left[\dfrac{n}{p^i}\right]$

推论：

$$\begin{aligned} v_p(\text{C}_{n+m}^m)&=v_p((n+m)!)-v_p(m!)-v_p(n!) \\ &=\sum\limits_{i=1}^\infty\left[\dfrac{n+m}{p^i}\right]-\sum\limits_{i=1}^\infty\left[\dfrac{m}{p^i}\right]-\sum\limits_{i=1}^\infty\left[\dfrac{n}{p^i}\right] \\ &=\sum\limits_{i=1}^\infty\left(\left[\dfrac{n+m}{p^i}\right]-\left[\dfrac{m}{p^i}\right]-\left[\dfrac{n}{p^i}\right]\right) \\ \end{aligned}$$