>>779
簡単のためにn=(p^m)(q^k) と素因数分解されたとしよう
nの約数の集合Xは a(i,j)=(p^i)(q^j) として
X={a(i,j)|0≦i≦m,0≦j≦k} と表される
総和をSとすると
S=Σ[0≦i≦m,0≦j≦k]a(i,j)
=Σ[0≦i≦m]Σ[0≦j≦k](p^i)(q^j)
=Σ[0≦i≦m]{(p^i)Σ[0≦j≦k](q^j)}
={Σ[0≦i≦m]{(p^i)}{Σ[0≦j≦k](q^j)}
=(1+p+・・・+p^m)(1+q+・・・+q^k)

素因数が3つ以上の場合も推して知るべし