素数x下，分式整除性等价条件的证明及工具选择问询

没问题，这个问题用二项式展开完全可行，甚至结合点基础数论定理会更清晰。咱们先把问题再明确一遍：给定素数$x\in\mathbb{Z}$，$y$是1到$x-1$之间的整数（显然$y$和$x$互素），要证明$$x^2 \mid \frac{(xy+1)^n - 1}{xy}$$当且仅当$n$是$x^{2$的整数倍，也就是$n=x}2k$（$k\in\mathbb{Z}$）。

一、充分性：若$n=x^2k$，则$x2$整除目标式 #

首先对$(xy+1)^n$做二项式展开：
$$(xy+1)^n = \sum_{i=0}^n \binom{n}{i}(xy)^i$$
减去1后得到：
$$(xy+1)^n - 1 = \sum_{i=1}^n \binom{n}{i}(xy)^i$$
再除以$xy$，目标式就变成：
$$\frac{(xy+1)^n - 1}{xy} = \sum_{i=1}^n \binom{n}{i}x^{i-1}y{i-1}$$

现在逐项分析这个求和式：

• 当$i=1$时，项为$\binom{n}{1}x^0y0 = n = x^{2k$，显然能被$x}2$整除；
• 当$i\geq2$时，$\binom{n}{i}x^{i-1}y{i-1}$中，$x$的次数至少是$i-1\geq1$，再加上$\binom{n}{i}$里包含$n=x^{2k$这个因子（即至少含$x}2$的一个倍数），所以整个项的$x$次数至少为2，自然能被$x^2$整除。

所有项都能被$x^{2$整除，它们的和也必然能被$x}2$整除，充分性得证。

二、必要性：若$x^{2$整除目标式，则$n=x}2k$ #

同样先展开目标式：
$$\frac{(xy+1)^n - 1}{xy} = n + \binom{n}{2}xy + \binom{n}{3}(xy)^2 + \dots + (xy)^{n-1}$$

第一步：先证$x$整除$n$ #

观察上式，除了第一项$n$，后面所有项都包含$x$的因子（至少一次），所以整个式子模$x$的结果就是$n \mod x$。因为$x^2$整除目标式，所以$x$必然整除目标式，即$n \equiv 0 \mod x$，设$n=xm$（$m\in\mathbb{Z}$）。

第二步：再证$x$整除$m$（即$x^2$整除$n$） #

把$n=xm$代入目标式，重新看模$x^2$的情况：

• 第一项变为$xm$；
• 第二项$\binom{xm}{2}xy = \frac{xm(xm-1)}{2}xy = x^2 \cdot \frac{m(xm-1)y}{2}$，显然是$x^{2$的倍数，模$x}2$为0；
• 从第三项开始，$(xy)^{{i-1}$（$i\geq3$）包含$x}{i-1}\geq x^{2$，所以这些项模$x}2$也都是0。

因此目标式模$x^2$等价于$xm \mod x^{2$。因为$x}2$整除目标式，所以$xm \equiv 0 \mod x^2$，两边约去$x$（$x$是素数非零），得到$m \equiv 0 \mod x$，即$m=xk$，所以$n=xm=x^2k$，必要性得证。

捷径：用升幂引理（LTE）快速推导 #

如果你熟悉数论里的升幂引理，这个问题可以一步到位：
对于素数$x$，若$a\equiv1 \mod x$且$x\nmid a$，则$v_x(a^n -1) = v_x(a-1) + v_x(n)$（$v_x(k)$表示$k$中$x$的幂次）。

这里$a=xy+1$，显然$a\equiv1 \mod x$且$x\nmid a$，$a-1=xy$，所以$v_x(a-1)=1$。目标式的$x$幂次为：
$$v_x\left(\frac{a^n -1}{a-1}\right) = v_x(a^n -1) - v_x(a-1) = (1 + v_x(n)) - 1 = v_x(n)$$

要求$x^{2$整除目标式，即$v_x(n)\geq2$，也就是$x}2$整除$n$，直接得到结论。

内容的提问来源于stack exchange，提问作者user394691