(学习笔记?)证明:若x1,x2,...,xn均互质,则在1~x1·x2·...·xn中,不为任何xi的倍数的数共有(x1-1)(x2-1)...(xn-1)个

这个奇怪(?)的结论脑子一拍就容易明白，但是它的证明曾卡了我1个多小时，写篇文章纪念一下()
如题:

证明:若 $x_1,x_2,...,x_n$ 均互质,则在 $1$~$x_1\cdot x_2\cdot ...\cdot x_n$ 中,不为任何 $x_i$ 的倍数的数共有 $(x_1-1)(x_2-1)...(x_n-1)$ 个

(下文中将 $x_1\cdot x_2\cdot ...\cdot x_n$ 记作 $S$ )

第一种方法:展开(或许不是那么严谨?)

我们将式子 $(x_1-1)(x_2-1)...(x_n-1)$ 展开，不难发现，展开后每一项都应由 $n$ 个数字相乘得到，若一个展开项是由 $m$ 个 $x_i$ (与 $n-m$ 个 $-1$ )相乘得到，则它的代数意义可以描述为:在 $1$~$S$ 中，另外 $n-m$ 个 $x_i$ 的乘积的倍数个数(设这 $m$ 个数的乘积为 $X$ ，剩下 $n-m$ 个数的乘积为 $Y$ ，显然 $X|S,X\cdot Y=S$ ，所以可以表示为倍数个数)。
以 $n=3$ 为例:
$$\begin{array}{rl}(x_1-1)(x_2-1)(x_3-1)=& x_1{x}_2{x}_3(1的倍数个数)-x_2{x}_3(x_1的倍数个数)-x_1{x}_3(x_2的倍数个数)-x_1{x}_2(x_3的倍数个数)\\ & +x_3(x_1{x}_2的倍数个数)+x_2(x_1{x}_3的倍数个数)+x_1(x_2{x}_3的倍数个数)\end{array}$$

看到这个加减符号有没有想到什么？没错，就是容斥原理(显然成立)。

第二种方法:类欧拉函数

因为每个 $x_i$ 的倍数在 $1$~$S$ 中都是均匀分布，且 $x_i$ 均两两互质，所以我们可以将每个 $x_i$ (不管是质数与否)看作 $S$ 的一个"质"因子，则根据求解欧拉函数的方法，对于每个 $x_i$ 我们将 $ans\ast =\frac{x_i-1}{x_i}$ 。
由这种方式得到的最终答案:
$$\begin{array}{rl}ans=& S\cdot \frac{x_1-1}{x_1}\cdot \frac{x_2-1}{x_2}\cdot ...\cdot \frac{x_n-1}{x_n}\\ =& S\cdot \frac{(x_1-1)(x_2-1)...(x_n-1)}{S}\\ =& (x_1-1)(x_2-1)...(x_2-1)\end{array}$$

得证。