一些与gcd有关的前缀和公式

一些与gcd有关的前缀和公式

给定n求小于等于n且与n互素的数之和

$$\sum _{d=1}^{n}d[gcd(d,n)=1]$$

这个问题可以通过高斯求${\sum }_{i=1}^{n}i$的方式来求解

可以发现，当$n\ge 2$时，有$gcd(d,n)=1$则必然有$gcd(n-d,n)=1$而，n内共有$\phi (n)$个与其互素的数字，因此当$n\ge 2$时，就有
$$\sum _{d=1}^{n}d[gcd(d,n)=1]=\frac{n\phi (n)}{2}\text{\hspace{1em}(1)}$$

求小于等于n所有互素的数对的乘积和

$$\sum _{i=1}^n\sum _{j=1}^{n}j\cdot i[gcd(i,j)=1]$$

可以对原本的区间进行拆分
$$[1\le i\le n][1\le j\le n]=[1\le i\le n][1\le j<i]+[1\le i<j][1\le j\le n]+[i=j][1\le i\le n]$$
对第一部分求和
$$\sum _{i=1}^{n}i\sum _{j=1}^{i-1}j[gcd(i,j)]$$
根据公式KaTeX parse error: \tag works only in display equations就有
$$\sum _{i=1}^n\frac{i[i=1]+i^2\phi (i)}{2}$$
而区间的第二部分和第一部分实质上是一样的，那么前面两部分就是${\sum }_{i=1}^{n}i[i=1]+i^2\phi (i)$而第三部分除了$i=j=1$的情况以外，其总为0，而当其为1时答案恰好为1，故最终的答案就是
$$\sum _{i=1}^n\sum _{j=1}^{n}j\cdot i[gcd(i,j)=1]=\sum _{i=1}^n{i}^2\phi (i)$$
而对于$i{d}^2\cdot \phi$这个函数可以通过与$i{d}^2$卷积
$$(i{d}^2\cdot \phi )\ast (i{d}^2)=\sum _{d|n}{d}^2\phi (d)\frac{n^2}{d^2}=n^2\sum _{d|n}\phi (d)=n^3$$
其中$n^3$和$n^2$都有公式可以$O(1)$求出，因此可以很方便地应用杜教筛求解