3.阶乘被连乘整除类型题

$1.设a,b,n为正整数，证明：n!|b^{n-1}\prod _{i=0}^{n-1}(a+ib)$。

刚开始看到这题我还没什么思路，知道提示说讨论素因子我就明白了。
证：若 $v_p(n!)=\alpha (p为素数)$。
①当 $p|b$ 时，$\alpha =\sum _{i=1}^{\infty }[\frac{n}{p^i}]<\sum _{i=1}^{\infty }\frac{n}{p^i}=\frac{n}{p-1}\le n$，即 $\alpha \le n-1\therefore p^{\alpha }|b^{n-1}$。

②当 $p\nmid b$ 时，则 $\exists cs.t.bc\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{p}^{\alpha })$。
则 $\prod _{i=0}^{n-1}(a+ib)\equiv \prod _{i=0}^{n-1}(ac+i)(\mathrm{m}\mathrm{o}\mathrm{d}{p}^{\alpha })$。
$p^{\alpha }|n!|\prod _{i=0}^{n-1}(ac+i)$。

又 $(\prod _{i=0}^{n-1}(ac+i),b^{n-1})=1$。所以成立。

$2.对于正整数n,m(m>1)，证明：n!|\prod _{i=0}^{n-1}(m^n-m^i)$。

有了上题的经验这题就很简单了。
证：
当$n=1$时，显然成立，这里不过多赘述。以下 $n\ge 2$。
$\prod _{i=0}^{n-1}(m^n-m^i)=m^{\frac{n(n-1)}{2}}\prod _{i=1}^n(m^i-1)$。
设 $v_p(n!)=\alpha (p为素数)$。
①当 $p|m$ 时，由于 $n\ge 2$，所以 $\frac{n(n-1)}{2}\ge n-1\ge v_p(n!)$(上面证过了，这里不再证了)，$p^{\alpha }|m^{\frac{n(n-1)}{2}}$。

②当 $p\nmid b$ 时，
则 { m i − 1 } \{m^i-1\} {mi−1}中整除 $p^k$ 的个数 $s(k)=[\frac{n}{or{d}_{(p^k)}m}]\ge [\frac{n}{(p-1)\ast p^k}]$。
故$v_p(\prod _{i=0}^{n-1}(m^n-m^i))=\sum _{i=1}^{\infty }s(k)\ge \sum _{i=1}^{\infty }[\frac{n}{p^i}]=\alpha$，$p^{\alpha }|\prod _{i=0}^{n-1}(m^n-m^i)$。
又$(m^{\frac{n(n-1)}{2}},\prod _{i=1}^n(m^i-1))=1$。所以成立。

这种题型我只见过这两题，但是这样的思路还是值得借鉴的。