求证正整数n的正除数乘积平方等于nᵏ，求非归纳法证明

云上老周

2026-5-19

不用归纳法的证明思路：除数配对法

这题其实不用归纳法也能轻松搞定，核心就在于利用自然数除数的配对性质——咱们一步步来拆解：

首先要明确一个关键的小结论：对于自然数n的任意正除数d，$\frac{n}{d}$也一定是n的正除数。原因很简单：如果d能整除n，那必然存在整数m使得n = d×m，这时候m = $\frac{n}{d}$，显然m也能整除n，所以它也是n的正除数。

接下来分两种情况讨论：

情况1：n不是平方数
这时候n的所有正除数都是两两成对的：每一个除数d，都对应唯一的另一个除数$\frac{n}{d}$，而且d≠$\frac{n}{d}$（要是相等的话，n就等于d²，成平方数了，和当前情况矛盾）。
假设n总共有k个正除数，那k肯定是偶数，刚好能分成$\frac{k}{2}$对，每一对的乘积都是$d×\frac{n}{d}=n$。
所有除数的乘积就是$n^{{\frac{k}{2}}$，把它平方之后就是$(n}{\frac{k}{2}})²⁼ⁿk$，正好符合要证明的等式。
情况2：n是平方数
这时候n会有一个特殊的除数：$\sqrt{n}$（因为n=$(\sqrt{n})^2$），这个除数的配对就是它自己——$\frac{n}{\sqrt{n}}=\sqrt{n}$。
剩下的k-1个除数还是两两成对，每对乘积为n，共有$\frac{k-1}{2}$对。所以所有除数的乘积就是$n^{\frac{k-1}{2}}×\sqrt{n}$。
换算一下指数：$\sqrt{n}=n^{{\frac{1}{2}}$，所以总乘积就是$n}{\frac{k-1}{2}}×n^{{\frac{1}{2}}=n}{\frac{k}{2}}$，平方之后同样得到$(n^{{\frac{k}{2}})}2=n^k$。