《浅谈一类积性函数的前缀和》例题（未完待续）

51Nod 1238 - 最小公倍数之和 V3
求 $\sum _{i=1}^n\sum _{j=1}^{n}lcm(i,j)$
原式 $=\sum _{i=1}^n\sum _{j=1}^n\frac{i\times j}{(i,j)}=\sum _{d=1}^{n}d\times \sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }\sum _{j=1}^{\lfloor \frac{n}{d}\rfloor }i\times j\times [(i,j)=1]$
由 $\sum _{i=1}^{n}i\times [(i,n)=1]=\frac{n\times \varphi (n)}{2}$，原式 $=\sum _{d=1}^{n}d\times \sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }{i}^2\times \varphi (i)$
令 $f(n)=n^2\times \varphi (n)$，我们要求 $F(x)=\sum _{i=1}^{n}f(i)$
由 $\sum _{d|n}\varphi (d)=n$，可得 $\sum _{i=1}^n{i}^2\times \sum _{d|i}\varphi (d)=\sum _{i=1}^n{i}^3=\frac{n^2\times (n+1{)}^2}{4}$
上式左边可变形为 $\sum _{i=1}^n\sum _{d|i}{i}^2\times \varphi (d)=\sum _{i=1}^n\sum _{d|i}{d}^2\times \varphi (d)\times (\frac{i}{d}{)}^2=\sum _{i=1}^n\sum _{d|i}f(d)\times (\frac{i}{d}{)}^2=\sum _{\frac{i}{d}=1}^n\sum _{d=1}^{\lfloor \frac{n}{\frac{i}{d}}\rfloor }f(d)\times (\frac{i}{d}{)}^2=\sum _{i=1}^n\sum _{d=1}^{\lfloor \frac{n}{i}\rfloor }f(d)\times i^2=\sum _{i=1}^n{i}^2\times F(\lfloor \frac{n}{i}\rfloor )$
故 $F(n)=\frac{n^2\times (n+1{)}^2}{4}-\sum _{i=2}^n{i}^2\times F(\lfloor \frac{n}{i}\rfloor )$
51Nod 1237 - 最大公约数之和 V3
过程同上，推导出需求 $\Phi (n)=\sum _{i=1}^n\varphi (i)$。
51Nod 1227 - 平均最小公倍数
令 $A(n)=\frac{1}{n}\sum _{i=1}^{n}LCM(n,i)$，求 $F(a,b)=A(a)+A(a+1)+\cdots +A(b)$
首先 $A(n)=\frac{1}{n}\sum _{i=1}^n\frac{n\times i}{(n,i)}=\sum _{g|n}\sum _{i=1}^{\frac{n}{g}}i\times [(i,\frac{n}{g})=1]=\sum _{g|n}\frac{\frac{n}{g}\times \varphi (\frac{n}{g})}{2}=\sum _{g|n}\frac{g\times \varphi (g)}{2}$
所求即为 $F(n)=\sum _{i=1}^n\sum _{g|i}\frac{g\times \varphi (g)}{2}=\frac{1}{2}\sum _{d=1}^n\sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }i\times \varphi (i)$
那么只需求 $H(n)=\sum _{i=1}^{n}i\times \varphi (i)$。
求法见下。
Tsinsen A1231 - Crash的数字表格
需求 $\sum _{i=1}^n\sum _{i=1}^{m}LCM(i,j)$
不妨令 $n\le m$
原式 $=\sum _{i=1}^n\sum _{i=1}^m\frac{i\times j}{(i,j)}=\sum _{g=1}^{n}g\times \sum _{i=1}^{\lfloor \frac{n}{g}\rfloor }\sum _{i=1}^{\lfloor \frac{m}{g}\rfloor }i\times j\times [(i,j)=1]$
令 $F(m,n)=\sum _{i=1}^m\sum _{i=1}^{n}i\times j\times [(i,j)=1]$，$G(m,n)=\sum _{i=1}^m\sum _{i=1}^{n}i\times j=\frac{m(m+1)}{2}\times \frac{n(n+1)}{2}$
由容斥原理可得 $F(m,n)=\sum _{d=1}^n{d}^2\mu (d)G(\lfloor \frac{m}{d}\rfloor ,\lfloor \frac{n}{d}\rfloor )$
SPOJ DIVCNT2 - Counting Divisors (square)
求 $\sum _{i=1}^n{\sigma }_0(i^2),1\le n\le 10^{12}$
考虑 $n$ 的约数和 $n^2$ 的约数在指数上的联系，可以得出 ${\sigma }_0(n^2)=\sum _{d|n}{2}^{width(d)}$，其中 $width(d)$ 为 $d$ 的不同质因子数，可以构造出 $width(d)=\sum _{p|d}{\mu }^2(p)$
所以 ${\sigma }_0(n^2)=\sum _{d|n}\sum _{p|d}{\mu }^2(p)=({\mu }^2\ast 1)\ast 1)={\mu }^2\ast (1\ast 1)={\mu }^2\ast {\sigma }_0$
所求 $\sum _{i=1}^n\sum _{d|i}{\mu }^2(d){\sigma }_0(\frac{i}{d})=\sum _{d=1}^n{\mu }^2(d)\sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }{\sigma }_0(i)$
${\sigma }_0(n)$ 可在 $O(\sqrt{n})$ 的复杂度求出来，对 ${\mu }^2(n)$ 考虑容斥后算出 ${\mu }^2(n)=\sum _{i=1}^{\lfloor \sqrt{n}\rfloor }\mu (i)\times \lfloor \frac{n}{i^2}\rfloor$
51Nod 1222 - 最小公倍数计数
令 $f(n)=\sum _{i=1}^n\sum _{j=1}^n[LCM(i,j)=n]$，求 $\sum _{i=a}^{b}f(i)$
BZOJ 4176 - Lucas的数论
求 $\sum _{i=1}^n\sum _{j=1}^n{\sigma }_0(ij)$
引理：${\sigma }_0(mn)=\sum _{i|n}\sum _{j|m}[(i,j)=1]$
证明：考虑提取质因子 $p$ 进行归纳，具体过程略。
直接带入引理，所求 $\sum _{i=1}^n\sum _{j=1}^n{\sigma }_0(i\times j)=\sum _{i=1}^n\sum _{j=1}^n\sum _{t|i}\sum _{s|j}[(s,t)=1]=\sum _{i=1}^n\sum _{j=1}^n\sum _{t|i}\sum _{s|j}\sum _{d|(s,t)}\mu (d)=\sum _{i=1}^n\sum _{j=1}^n\sum _{d|i,d|j}\mu (d){\sigma }_0(\frac{i}{d}){\sigma }_0(\frac{j}{d})=\sum _{d=1}^n\mu (d)(\sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }{\sigma }_0(i){)}^2$
双倍经验：BZOJ3994: [SDOI2015]约数个数和
51Nod 1220 - 约数之和
求 $\sum _{i=1}^n\sum _{j=1}^n{\sigma }_1(ij)$
引理：${\sigma }_1(mn)=\sum _{s|m}\sum _{t|n}\frac{mt}{s}[(s,t)=1]$
证明：同理考虑分离质因子 $p$ 后归纳。