前言
之前自行整理的数论讲义存在公式不规范、条理不清楚等问题,这里结合一下各个老师各个书本的讲法,试图系统化这部分内容。
一、莫比乌斯反演
1.
预处理 ![\mu](https://i-blog.csdnimg.cn/blog_migrate/8190f55d9ea2a6f0f66cb1e86696af88.gif)
根据莫比乌斯函数
的定义,有:
当
没有平方项因子时:
,否则
。
![](https://i-blog.csdnimg.cn/blog_migrate/32408f6f3ab21fb18f15e6fbd4226a42.png)
2. trick:
![\mathbf 1 \times \varphi=\mathbf{id}](https://i-blog.csdnimg.cn/blog_migrate/a4946d3277b55fbac5332fb8f2c213f2.gif)
证明 ![\Leftarrow](https://i-blog.csdnimg.cn/blog_migrate/40477bf384244117db89e05f9634a66b.gif)
3.
计算单个
的
值
根据公式
![](https://i-blog.csdnimg.cn/blog_migrate/57dfa1fcfb2ccf1f5f905b6975378d7b.png)
4.
预处理
(
中与
互质的个数)
根据公式
![](https://i-blog.csdnimg.cn/blog_migrate/d021f8dea7a155a132556081540575b1.png)
5. trick
![\sigma_0(nm)=\sum_{i|n}\sum_{j|m}[\gcd(i,j)=1]](https://i-blog.csdnimg.cn/blog_migrate/59ef1f6cafbe8f88b4c70a227a14ac5a.gif)
证明 ![\Leftarrow](https://i-blog.csdnimg.cn/blog_migrate/40477bf384244117db89e05f9634a66b.gif)
6.
预处理
(
中
的约数个数)
设
是
的 最小 素因子
![\sigma_0(x)=2\sigma_0\left(\dfrac{x}{p}\right)-\sigma_0\left(\dfrac{x}{p^2}\right)](https://i-blog.csdnimg.cn/blog_migrate/551944a0ab59424fde5cf1d646f99ab8.gif%28x%29%3D2%5Csigma_0%5Cleft%28%5Cdfrac%7Bx%7D%7Bp%7D%5Cright%29-%5Csigma_0%5Cleft%28%5Cdfrac%7Bx%7D%7Bp%5E2%7D%5Cright%29)
证明 ![\Leftarrow](https://i-blog.csdnimg.cn/blog_migrate/40477bf384244117db89e05f9634a66b.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f9c4cfe44f0a939606f031adb9f335b1.png)
7.
预处理 ![\sigma_1](https://i-blog.csdnimg.cn/blog_migrate/07ac7a9e64223b8048b1cb40a05f9ec4.gif)
若
![n=\prod\limits_{i=1}^{k}p_i^{\alpha_i}](https://i-blog.csdnimg.cn/blog_migrate/c051c3c881bf1dbf63dc27f1a1ddf941.gif%3D%5Cprod%5Climits_%7Bi%3D1%7D%5E%7Bk%7Dp_i%5E%7B%5Calpha_i%7D)
则
![\begin{aligned}\sigma_1(n)&=\prod\limits_{i=1}^k\sum\limits_{j=0}^{\alpha_i}p_i^j\\&=\color{red}\sum_{j=0}^{\alpha_1}p_1^{j}\color{black}\times\sum_{j=0}^{\alpha_2}p_2^{j}\times\cdots\times\sum_{j=0}^{\alpha_k}p_k^{j}\\&=\color{red}(p_1^0+p_1^1+\cdots+p_1^{\alpha_1})\color{black}(p_2^0+p_2^1+\cdots+p_2^{\alpha_2})\cdots(p_k^{0}+p_k^{1}+\cdots+p_k^{\alpha_k})\end{aligned}](https://i-blog.csdnimg.cn/blog_migrate/c1b96d3198468feb1358d5b40f5c711f.gif)
设:
![\begin{aligned}tp(n)&=\color{red}\sum\limits_{j=0}^{\alpha}p_1^j\\&=\color{red}(p_1^0+p_1^1+\cdots+p_1^{\alpha_1})\end{aligned}](https://i-blog.csdnimg.cn/blog_migrate/e90a67ffba6b24ef555d6e96ca0c0b88.gif)
则有递推式:(
即
的最小素因子)
![\begin{aligned}tp(n)&=\begin{cases}tp\left(\dfrac{n}{p_1}\right)\times p_1+1~~~\left(\dfrac{n}{p_1}\mod p_1=0\right)\\p_1+1~~~~~~~~~~~~~~~~~\left(\dfrac{n}{p_1}\mod p_1\ne0\right)\end{cases}\\\sigma_1(n)&=\begin{cases}\dfrac{\sigma_1\left(\dfrac{n}{p_1}\right)}{tp\left(\dfrac{n}{p_1}\right)}\times tp(n)~~~~~~~~~\left(\dfrac{n}{p_1}\mod p_1=0\right)\\\sigma_1\left(\dfrac{n}{p_1}\right)\times(1+p_1)~~~~~\left(\dfrac{n}{p_1}\mod p_1\ne0\right)\end{cases}\end{aligned}](https://i-blog.csdnimg.cn/blog_migrate/d64273533d86b9da84a1175ab60d3c58.gif)
对于素数
有:
![](https://i-blog.csdnimg.cn/blog_migrate/684c80e5b5f93b3e9f4019ea1c06b135.png)