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}$

image-20240425175420133