约数函数的等价变换

先看看两道题：
BZOJ 4176 - Lucas的数论
51Nod 1220 - 约数之和
这两题，一个是求 $\sum _{i=1}^n\sum _{j=1}^n{\sigma }_0(ij)$，一个是求 $\sum _{i=1}^n\sum _{j=1}^n{\sigma }_1(ij)$，很自然的让人联~想到求 $\sum _{i=1}^n\sum _{j=1}^n{\sigma }_k(ij)$。更巧合的是，两题的起点都在一个对 $\sigma$ 的转换上。具体而言，对 ${\sigma }_0(mn)$ 可以转化为 $\sum _{i|m}\sum _{j|n}[gcd(i,j)=1]$，对 ${\sigma }_1(mn)$ 可以转化为 $\sum _{s|m}\sum _{t|n}\frac{mt}{s}[gcd(s,t)=1]$。尤其是在对后者有一个感性认识后能自然联~想到这样的转换：${\sigma }_k(mn)=\sum _{s|m}\sum _{t|n}\frac{m^k{t}^k}{s^k}[gcd(s,t)=1]$，并且的确可以通过归纳证明。这在处理 ${\sigma }_k$ 相关问题时可以作为一个思考方向。