数论基础

本文是关于在 OI 中的数论基础

作者:Shq

感谢 iShq,qwqShq,lcyz lmy 在写作过程中提供了宝贵的灵感和思想

目录

[TOC]

数论函数

定义在正整数域上的函数就被成为数论函数

也就是对于数论函数

积性函数

若对于数论函数 互质,有

就称 积性函数

通过上面定义,我们可以得到

可以得出对于任意的积性函数,都有

容易证明,对于积性函数的嵌套,逆,积,卷积得到的结果都是积性函数

卷积

我们称 的卷积

卷积的离散定义是

这里卷积的符号是 ,而不是乘的符号

上面一行的 Markdown 原码:

这里卷积的符号是 $*$ ,而不是乘的符号 $\times$ 和 $\cdot$ 

Dirichlet 卷积

定义

我们称 数论函数 的卷积,有

性质

卷积的一些性质:

交换律

证明很显然...

结合律

直接用交换律乱证就行了..

分配律

两个积性函数的卷积仍为积性函数

令两积性函数 卷积为 ,那么对于任意 就有


常用数论函数

说完了卷积和积性函数,来看看常用数论函数

常数函数

以下函数的值都是常数,用于辅助计算

元函数

其中 的含义是如果 为真, 的值就是 ,否则为

恒等函数

单位函数

数论函数

(其实上面那两个也是数论函数)

欧拉函数

欧拉函数表示在 中与 互质的数的个数,也就是在模 域下的简化剩余系的大小

其中 的含义是如果 为真, 的值就是 ,否则为

当然,它也有更常见的形式

约数个数函数

约数和函数

除数函数

奇怪的名字(

显然地,

至于为什么要用 ,其实 的小写形式,如果写过 MathJax / LaTeX就知道吧((

莫比乌斯函数

对于 $$ ,有

性质

1. 元函数与另外数论函数的卷积仍然为那个函数

通过上面的东西我们就可以得出狄利克雷卷积的单位元为

2. $$

首先,对于 的情况显然

我们令 ,考虑它的因子

由于 中只有 的项对它有贡献,所以我们只要统计这个的个数就好了 =w=

注意到,对于 的唯一分解形式, 表示 取或不取,这就变成了一个组合计数问题..

,也就是 的数量,就有

有组合数基础的同学都知道,上式中右边就是当 时的二项式定理,即

莫比乌斯反演

定义及证明

对于数论函数 满足

我们就可以通过莫比乌斯反演使用 表示出 ,反演式子如下

证明很简单......这里附上两种证明

证明 I :(通过卷积来证明)

这显然是一个卷积的形式,也就是

证明 II:

从右往左推,

故原式成立

几个常见的形式

看到的时候有点自闭......显然直接求是不行的......

我们考虑把这个东西转化为带 的形式.....

注意到我们这里有一个 所以说当且仅当 时,式子的值不为零,就得到了

应用

1. 求

我们令 表示上面的和式

表示 的对数, 表示 的对数,则

我们对上面这个式子反演一下,就有

,有

后面的数论分块就可以做了.....