若干式子的证明

一些定理：
**1.**设$f,g$为两个数论函数，$t$为完全积性函数，若：$$f(n)=\sum _{i=1}^{n}t(i)g(\lfloor \frac{n}{i}\rfloor )$$
则：$$g(n)=\sum _{i=1}^n\mu (i)t(i)f(\lfloor \frac{n}{i}\rfloor )$$
证：$$\begin{gathered} \sum _{i=1}^n\mu (i)t(i)f(\lfloor \frac{n}{i}\rfloor ) \\ =\sum _{i=1}^n\mu (i)t(i)\sum _{k=1}^{\lfloor \frac{n}{i}\rfloor }t(k)g(\lfloor \frac{n}{ik}\rfloor ) \end{gathered}$$
枚举$g$,设$j=ik$:$$\begin{gathered} =\sum _{j=1}^{n}g(\lfloor \frac{n}{j}\rfloor )\sum _{i|j}\mu (i)t(i)t(\frac{j}{i}) \\ =\sum _{j=1}^{n}g(\lfloor \frac{n}{j}\rfloor )t(j)\sum _{i|j}\mu (i) \end{gathered}$$
我们是知道$\mu \ast 1=e$的，所以当j为1时不为0，所以显然。证毕

计算一些式子：
求：$$S(n)=\sum _{i=1}^n{\sigma }_0(i^2)$$
构造狄利克雷卷积,设$f(n)={\sigma }_0(n^2),g(n)=2^{\omega (n)}$,（$\omega (n)$表示n的不同质因子的个数。）
则有：$$f=g\ast 1$$
显然有 $$g={\mu }^2\ast 1$$
那么：$$ans=\sum _{i=1}^{n}f(i)=\sum _{i=1}^n\sum _{j|i}g(j)=\sum _{j=1}^{n}g(j)\lfloor \frac{n}{j}\rfloor$$
又：$$\sum _{i=1}^{n}g(i)=\sum _{i=1}^n\sum _{j|i}{\mu }^2(j)=\sum _{i=1}^n{\mu }^2(j)\lfloor \frac{n}{j}\rfloor$$
又：$$\sum _{i=1}^n{\mu }^2(i)=\sum _{i=1}^{\lfloor \sqrt{n}\rfloor }\mu (i)\lfloor \frac{n}{i^2}\rfloor$$
现在这样就可以搞了。（这个等式的证明暂时不会。。。）
19.1.3 update: 我也不知道当时怎么想的，现在看实际上就是比较简单的容斥而已就可以理解了。因为当时一直想从式子本身去找track点，但是发现很难。但是提炼一下式子的含义就是求1到n里非平方因子的个数，那么我们用容斥把只有含有因子的个数减掉就好，因为比如会出现重复减掉的情况所以，肯定要有加回来的操作，所以很显然就是容斥了，既然是平方因子，所以只需要枚举到$\sqrt{n}$了。左边的$\mu (i)$和右边的$\mu (i)$的意义不一样。

计算最小质因子：
这个通过线性筛即可方便得到。
设一个prime数组为考虑了前i项之后所筛得的素数，默认从小到大，设$p{r}_i$为i的最小质因子。
算法进行如下：
1.枚举到第i为，若$p{r}_i$没有被计算那么，赋值$p{r}_i=i$
2.枚举所以小于等于$p{r}_i$的素数，设枚举变量为$p$（实际上就在我们所以在的prime数组里），赋值$p{r}_{i\ast p}=p$
易证时间复杂度为$O(n)$.
代码：

int pr[maxx];
int prime[maxx],cnt;
void init()
{
    for(int i=2;i<maxx;i++)
    {
        if(!pr[i])
        {
            pr[i]=i;
            prime[cnt++]=i;
        }
        for(int j=0;j<cnt&&(long long)i*prime[j]<maxx;j++)
        {
            pr[i*prime[j]]=prime[j];
            if(i%prime[j]==0)break;
        }
    }
}