初等证明：如果n为正整数，那么其每个因子的因子个数之和的平方等于其每个因子的因子个数的立方之和

题：如果$n$为正整数，那么$({\sum }_{d|n}\tau (d){)}^2={\sum }_{d|n}\tau (d{)}^3$
(摘自《初等数论及其应用》第六版7.2节习题)

前言：通过观察这两个式子，结合已知的定理
$(m,n)=1\Rightarrow \tau (mn)=\tau (m)\tau (n)$
从而推断出是否等式两边都满足乘性检验
如果满足则只需要证明$n=p^a$的单个素因子情况即可
而经过推算，确实满足上述猜想

证：设$f(n)=({\sum }_{d|n}\tau (d){)}^2$，且$(m,n)=1$则

$f(mn)=({\sum }_{d|mn}\tau (d){)}^2$

$=({\sum }_{d_1|m,d_2|n}\tau (d_1{d}_2){)}^2$

$=({\sum }_{d_1|m,d_2|n}\tau (d_1)\tau (d_2){)}^2$

$=({\sum }_{d_1|m}\tau (d_1){\sum }_{d_2|n}\tau (d_2){)}^2$

$=({\sum }_{d_1|m}\tau (d_1){)}^2({\sum }_{d_2|n}\tau (d_2){)}^2$

$=f(m)f(n)$

同样设$g(n)={\sum }_{d|n}\tau (d{)}^3$，且$(m,n)=1$则

$g(mn)={\sum }_{d|mn}\tau (d{)}^3$

$={\sum }_{d_1|m,d_2|n}\tau (d_1{d}_2{)}^3$

$={\sum }_{d_1|m,d_2|n}\tau (d_1{)}^3\tau (d_2{)}^3$

$={\sum }_{d_1|m}\tau (d_1{)}^3{\sum }_{d_2|n}\tau (d_2{)}^3$

$=g(m)g(n)$

$\therefore$$f(n)$和$g(n)$都满足乘性检验
$\therefore$如果对于$n=p^a$等式成立，则结合上述结果可得命题成立

$\because f(p^a)=({\sum }_{d|p^a}\tau (d){)}^2$

$=({\sum }_{i=0}^{a}i+1{)}^2$

$=\frac{(a+1{)}^2(a+2{)}^2}{4}$

$\because g(p^a)={\sum }_{d|p^a}\tau (d{)}^3$

$={\sum }_{i=0}^a(i+1{)}^3$

这里需要求出 ${\sum }_{i=1}^n{i}^3$，就记忆而言早已不复存在，我也从不特意背或者记下定理和等式，而是大概记得有这么个等式或者定理及其论证要点，而论证要点才是最重要的，如果这个也记不得，那么最好自己也推导一遍，而这并不是重复造轮胎，如果不明白不了解不清楚甚至不知其论证依据而死记硬背其结论，又有何颜面站在伟人的肩膀上呢？而这里的幂次求和，可根据其高一阶的相邻数的差得到，即

$\because (k+1{)}^4-k^4=4k^3+6k^2+4k+1$

$\therefore {\sum }_{i=1}^n(i+1{)}^4-i^4$

$=(n+1{)}^4-1$

$={\sum }_{i=1}^n(4i^3+6i^2+4i+1)$

这里需要求出${\sum }_{i=1}^n{i}^2$，同样根据高一阶相邻差计算，即

$\because (k+1{)}^3-k^3=3k^2+3k+1$

$\therefore {\sum }_{i=1}^n(i+1{)}^3-i^3$

$=(n+1{)}^3-1$

$={\sum }_{i=1}^n(3i^2+3i+1)$

$\therefore {\sum }_{i=1}^n(6i^2+4i+1)$

$=2(n+1{)}^3-2-{\sum }_{i=1}^{n}2i-n$

$=2(n+1{)}^3-2-n(n+1)-n$

$=2(n+1{)}^3-n(n+1)-(n+1)-1$

$=2(n+1{)}^3-(n+1{)}^2-1$

$=(2n+1)(n+1{)}^2-1$

$\therefore {\sum }_{i=1}^{n}4i^3$

$=(n+1{)}^4-1-[(2n+1)(n+1{)}^2-1]$

$=(n+1{)}^4-(2n+1)(n+1{)}^2$

$=(n+1{)}^2[(n+1{)}^2-(2n+1)]$

$=n^2(n+1{)}^2$

$\therefore {\sum }_{i=1}^n{i}^3=\frac{n^2(n+1{)}^2}{4}$

继续证明

$\therefore g(p^a)={\sum }_{d|p^a}\tau (d{)}^3$

$={\sum }_{i=0}^a(i+1{)}^3$

$={\sum }_{i=1}^{a+1}{i}^3$

$=\frac{(a+1{)}^2(a+2{)}^2}{4}$

$=f(p^a)$

$n=p_1^{a_1}{p}_2^{a_2}...p_m^{a_m}$

$\therefore f(n)=f(p_1^{a_1}{p}_2^{a_2}...p_m^{a_m})$

$=f(p_1^{a_1})f(p_2^{a_2})...f(p_m^{a_m})$

$=g(p_1^{a_1})g(p_2^{a_2})...g(p_m^{a_m})$

$=g(p_1^{a_1}{p}_2^{a_2}...p_m^{a_m})$

$=g(n)$

综上所述，命题得证