数学竞赛##数论# 更简单简洁版本

整数n>1恰好有k个不同的素因子，证明n的所有正约数之和整除(2n-k)!。

证明：

设n的素因子分解式为
n=∏(pi^di) (2<=p1<p2……<p(k-1)<pk) (di>=1)
k-1为下标

pi为不相等的素数，显然有pi>=2，n>=pk>k。（1）

如果k=1，n/pi^di=1，n/pi^di-k>=0
如果k>1，n/pi^di>=p(k-1)>=k k-1为下标。
所以有n/pi^di-k>=0 (2)

显然n的正约数之和 f(n) =∏(pi^(di+1)-1)/(pi-1)。

设F(n) =∏n/pi^di*(pi^(di+1)-1)/(pi-1)。 (3)
显然f(n)整除F(n)。

i<>j ，
n/pi^di*(pi^(di+1)-1)/(pi-1) ==0 mod pj
n/pj^dj*(pj^(dj+1)-1)/(pj-1) <> 0 mod pj
所以(3)的乘积中任意两项不相等。

下面再证明(3)中每一项<=2n-k （4）
(pi-1)((2n-k)-n/pi^di*(pi^(di+1)-1)/(pi-1))
=2npi-2n-kpi+k-(n*pi-n/pi^di)
=npi-2n-kpi+2k+n/pi^di-k
=(n-k)(pi-2)+(n/pi^di-k)>=0 (1) (2)结果。

所以（4）成立。

(3)中每一项不相同，每一项都小于等于2n-k，显然F(n)整除（2n-k)!。
f(n)又整除F(n)，所以n的正约数之和f(n)整除(2n-k)!，得证。

也看出2n-k这个界限非常宽。