参考博客链接,部分内容参考《初等数论及其应用》
一些约定
为了便于说明,本文使用了一些数论中的常用约定,如下:
1. 艾弗森约定
为
表达式,值为
或
当且仅当 为真时为
,否则为
2. 最大公因子
表示
3. 平方因子
是平方数的因子,即可以写成 的因子
4. 平方因子数
含有平方因子的数
###3 4. 算术(唯一)分解定理
每个大于 的正整数都可以被唯一地写成素数的乘积,在乘积中的素因子按照非降序排列
5. 算术函数
定义域是正整数的函数
6. 和函数
设 是一个算术函数,那么
代表 在
的所有正因子处的值之和.函数
称为
的和函数.
7. 乘(积)性函数
如果算术函数 对任意两个互素的正整数
和
,均有
,就称为积性函数
如果算术函数 对任意两个正整数
和
,均有
,就称为完全积性函数
8. 积性函数的性质
如果 是一个积性函数,且对
有素幂因子分解
,那么
如果 是积性函数,那么
的和函数
也是积性函数
根据基本性质,简单分解和式证明
反过来, 如果 的和函数
是积性函数,那么
也是积性函数
根据莫比乌斯反演证明加简单分解和式证明
莫比乌斯函数
可以理解成:
大于
时且
是平方因子数时莫比乌斯函数值为
- 否则从
的唯一分解定理中根据素数的个数取奇偶即可
莫比乌斯函数的和函数性质
莫比乌斯函数的和函数满足
证明:
首先考虑 的情形,有
现在假设 是素数,
是正整数,得到
其次,设 是一个大于等于
的正整数,其素幂因子分解为
因为 是积性函数,故它的和函数
也是积性函数,所以
因为等式右边每个因子都是 ,故
莫比乌斯反演公式
若 是算术函数,
为
的和函数,对任意正整数
满足
则对任意正整数 ,
显然等价于
,这里只是个人习惯
因子和与因子个数
因子和函数
整数 的所有正因子之和,记为
给出
的
的值
因子个数函数
整数 的所有正因子之和,记为
给出
的
的值
我们可以用和式记号来表示出 和
由莫比乌斯反演公式,对所有正整数有