萌新刚学最小公倍数

qaq

结论

对于任意非负整数 $n,m$，存在下述结论：
$$\text{lcm}(C_n^0,C_n^1,\cdots ,C_n^m)=\frac{\text{lcm}(n-m+1,n-m+2,\cdots ,n+1)}{n+1}$$

记号

$v_p(n)$ 表示质数 $p$ 在 $n$ 中的幂次。

Kummer 定理

设 $m,n(0\le m\le n)$ 为正整数，$p$ 为素数，则 $C_n^m$ 含 $p$ 的幂次等于 $(n-m)$ 与 $m$ 做加法时在 $p$ 进制下的进位次数。

证：令 $n=(\overline{n_k{n}_{k-1}\cdots n_0}{)}_p$，则
$$\begin{gathered} v_p(n!)=\sum _{i=1}^k\lfloor \frac{n}{p^i}\rfloor =\sum _{i=1}^k\overline{n_k{n}_{k-1}\cdots n_i}=\sum _{i=1}^k\sum _{j=i}^k{n}_j{p}^{j-i}=\sum _{j=1}^k{n}_j\sum _{i=0}^{j-1}{p}^i=\sum _{i=1}^k{n}_i\frac{p^i-1}{p-1} \\ =\frac{1}{p-1}\left(\sum _{i=1}^k{n}_i{p}^i-\sum _{i=1}^k{n}_i\right)=\frac{1}{p-1}\left(n-\sum _{i=0}^k{n}_i\right) \end{gathered}$$
设 $m=(\overline{a_k{a}_{k-1}\cdots a_0}{)}_p,n-m=(\overline{b_k{b}_{k-1}\cdots b_0}{)}_p$，则
$$v_p(C_n^m)=v_p(n!)-v_p(m!)-v_p((n-m)!)=\frac{1}{p-1}\sum _{i=0}^k(a_i+b_i-n_i)$$

故此式即 $(n-m)+m$ 在 $p$ 进制下的进位次数。

推论

设 $n=(\overline{n_k{n}_{k-1}\cdots n_0}{)}_p,m=(\overline{m_k{m}_{k-1}\cdots m_0}{)}_p$ （$k$ 使 $n$ 不含前导 0，对 $m$ 无约束），则
max ⁡ 0 ≤ l ≤ m v p ( C n l ) = { 0 n = p k + 1 − 1 0 m ≤ p i 0 − 1 max ⁡ { i − i 0 + 1 ∣ i 0 ≤ i < k , m ≥ n i n i − 1 ⋯ n i 0 + 1 ( n i 0 + 1 ) ‾ p i 0 } otherwise \max_{0\le l\le m} v_p(C_n^l)= \begin{cases} 0 & n=p^{k+1}-1 \\ 0 & m\le p^{i_0}-1 \\ \max\{i-i_0+1 | i_0\le i< k, m\ge \overline{n_i n_{i-1} \cdots n_{i_0+1}(n_{i_0}+1)}p^{i_0}\} & \text{otherwise} \end{cases} 0≤l≤mmax​vp​(Cnl​)=⎩⎪⎨⎪⎧​00max{i−i0​+1∣i0​≤i<k,m≥ni​ni−1​⋯ni0​+1​(ni0​​+1)​pi0​}​n=pk+1−1m≤pi0​−1otherwise​

这里当 $n\ne p^{k+1}-1$ 时，定义 i 0 = min ⁡ { i ∣ n i ≠ p − 1 } i_0=\min\{i \mid n_i\not= p-1\} i0​=min{i∣ni​​=p−1} 。

人话：先特判掉两种情况；我们枚举每种进位次数，找到最小的 $l$ 使得 $(n-l)+l$ 达到这个进位次数，而 $i_0$ 右边的 $p-1$ 是不能进的，所以找到第一个能进的 $i_0$，然后下边界就是 $\overline{m_i{m}_{i-1}\cdots m_{i_0+1}(m_{i_0}+1)}{p}^{i_0}$ 了。

更近一步，如果我们舍去 $m$ 的前导 0，得到 $m=(\overline{m_t{m}_{t-1}\cdots m_0}{)}_p$，则
max ⁡ 0 ≤ l ≤ m v p ( C n l ) = { 0 n = p k + 1 − 1 0 t < i 0 t − i 0 m < ( n t n t − 1 ⋯ n 0 ‾ ) + 1 max ⁡ { q ∣ q ≥ t , ∀ t < j ≤ q , n t = 0 } − i 0 + 1 otherwise \max_{0\le l\le m} v_p(C_n^l)= \begin{cases} 0 & n=p^{k+1}-1 \\ 0 & t<i_0 \\ t-i_0 & m<(\overline{n_tn_{t-1}\cdots n_0})+1 \\ \max\{q | q\ge t, \forall t<j\le q, n_t=0\}-i_0+1 & \text{otherwise} \end{cases} 0≤l≤mmax​vp​(Cnl​)=⎩⎪⎪⎪⎨⎪⎪⎪⎧​00t−i0​max{q∣q≥t,∀t<j≤q,nt​=0}−i0​+1​n=pk+1−1t<i0​m<(nt​nt−1​⋯n0​​)+1otherwise​

证明

设 $n=(\overline{n_k{n}_{k-1}\cdots n_0}{)}_p,m=(\overline{m_t{m}_{t-1}\cdots m_0}{)}_p$ （$k,t$ 都是使得 $n,m$ 不含前导 0）

首先特判掉 $m=0$ 的情况。

当 $n=p^{k+1}-1$，$\max v_p(l)=v_p(n+1)$，此时 $\text{RHS}=v_p(n+1)-v_p(n+1)=0$。

设 i 0 = min ⁡ { i ∣ n i ≠ p − 1 } i_0=\min\{i | n_i\not= p-1\} i0​=min{i∣ni​​=p−1}，则 $v_p(n+1)=i_0$。

设 i 1 = min ⁡ { i ∣ ( n + 1 ) i ≠ ( n − m + 1 ) i } i_1=\min\{i | (n+1)_i\not= (n-m+1)_i\} i1​=min{i∣(n+1)i​​=(n−m+1)i​}，则 $\max v_p(l)=i_1$。

当 $t<i_0$，$\max v_p(l)=i_0$，此时 $\text{RHS}=0$。

当 $m<(\overline{n_t{n}_{t-1}\cdots n_0})+1$，事实上我们翻译一下发现是 $(n+1)-m$ 时 $t+1$ 没退位，所以 $\max v_p(l)=t$，而 $v_p(n+1)=i_0$，故 $\text{RHS}=t-i_0$。

$\text{otherwise}$ 时，退位将会一直往上退，直到到达一个非 0 点，因此是 max ⁡ { q ∣ q ≥ t , ∀ t < j ≤ q , n t = 0 } + 1 \max\{q | q\ge t, \forall t<j\le q, n_t=0\}+1 max{q∣q≥t,∀t<j≤q,nt​=0}+1。而 $v_p(n+1)=i_0$，故 $\text{RHS}=t-i_0$。

我们证明了 $v_p(\text{lcm}(C_n^0,C_n^1,\cdots ,C_n^m))=v_p(\frac{\text{lcm}(n-m+1,n-m+2,\cdots ,n+1)}{n+1})$，故我们终于证明了原结论！
$$\text{lcm}(C_n^0,C_n^1,\cdots ,C_n^m)=\frac{\text{lcm}(n-m+1,n-m+2,\cdots ,n+1)}{n+1}$$