Kummer定理
title: Kummer定理
categories:
- ICPC
tags:
- null
abbrlink: 5dcc6de2
date: 2024-01-17 00:00:00
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}$
本博客所有文章除特别声明外,均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 爱飞鱼的blog!