《初等数论及其应用》第七章 乘性函数

导言

在本章中，我们研究定义在整数集合上的一类称为 乘性函数（或积性函数）的特殊函数。

1. 乘性函数具有这样的性质，即它在一个整数上的函数值等于对该整数做素幂因子分解后所有素数幂上的函数值之积。
2. 我们将证明一些重要的函数是乘性的，包括 因子个数函数、因子和函数 以及 欧拉 $\phi$ 函数。利用这些函数是乘性函数的性质，基于正整数 $n$ 的素幂因子分解，我们得到这些函数在 $n$ 处的函数值的公式.

进一步，我们将研究一类称为 完全数 的特殊正整数，这类数与其 真因子 之和相等。我 们将证明所有偶完全数由一类称为梅森素数的特殊素数生成，梅森素数是那些形如 $2^p-1$（$p$ 是素数）的素数。人们很早就开始寻找新的梅森素数，而具有很强计算能力的计算机和因特 网的出现加速了这类素数的寻找.

我们还将证明如何用 算术函数（即对所有正整数定义的函数）的 和函数 来得到函数自身的一些信息。函数 $f$ 的和函数在 $n$ 处的函数值等于 $f$ 在 $n$ 的所有正因子处的函数值之和。著名的 莫比乌斯反演公式 证明了如何从和函数的取值得到 $f$ 的函数取值.

最后，我们将研究关于 无限制拆分 和 受限制拆分 的算术函数。

1. 所谓 拆分 是指将一个正整数表示为若干个正整数的和，不计其中的次序。
2. 受限制拆分则是指拆分项受到一定的约束。
3. 我们将给出一系列令人惊讶的关于这些算术函数之间的等式，并且引入诸多在研究拆分时很重要的概念。

7.1 欧拉函数

在本节中将证明欧拉函数是乘性函数。我们可以通过整数的素幂因子分解来给出乘性函数在该整数上的函数值的计算公式。
定义：定义在所有正整数上的函数称为算术函数。
在本章中，我们关心的是具有某些特殊性质的算术函数。

定义：如果算术函数 $f$ 对任意两个互素的正整数 $n,m$ ，均有 $f(mn)=f(m)f(n)$ ，就称为 乘性函数（或积性函数）。如果对任意两个正整数 $n,m$ ，均有 $f(mn)=f(m)f(n)$ ，就称为 完全乘性（或完全积性）函数。

定理 7.1 乘性函数的计算

如果 $f$ 是一个乘性函数，那么对于给定的 $n$ 的素幂因子分解，能够得到 $f(n)$ 的一个简单计算公式。这是一个很有用的结果，它告诉我们在已知 $n$ 的素幂因子分解 $n=p_1^{a_1}{p}_2^{a_2}\cdots p_s^{a_s}$ 的情况下如何从 $f(p_i^{a_i})(i=1,2,\cdots ,s)$ 中得到 $f(n)$ 的值。
定理 7.1：如果 $f$ 是一个乘性函数，且对任意正整数 $n$ 有素幂因子分解 $n=p_1^{a_1}{p}_2^{a_2}\cdots p_s^{a_s}$ ，那么 $f(n)=f(p_1^{a_1})f(p_2^{a_2})\cdots f(p_s^{a_s})$ 。
证明：

现在回到欧拉函数，首先考虑它在素数与素数幂处的值。分别在定理 7.2、7.3中说明。

定理 7.2 欧拉函数在素数处的值

定理 7.2：如果 $p$ 是素数，那么 $\phi (p)=p-1$ 。反之，如果 $p$ 是正整数且满足 $\phi (p)=p-1$ ，那么 $p$ 是素数。
证明：如果 $p$ 是素数，那么任意小于 $p$ 的正整数都是与 $p$ 互素的。因为有 $p-1$ 个这样的整数，所以 $\phi (p)=p-1$ 。反之，若 $p$ 是正整数且满足 $\phi (p)=p-1$ ，说明 $p\ne 1$ 且 $p$ 除了 1 和它本身没有别的因数，所以 $p$ 为素数。

证明：如果 $p$ 是素数，那么任意小于 $p$ 的正整数都是与 $p$ 互素的。因为有 $p-1$ 个这样的整数，所以 $\phi (p)=p-1$ 。反之，如果 $p$ 不是素数，那么 $p=1$ 或 $p$ 是合数。如果 $p=1$ ，那么 $\phi (p)\ne p-1$ ，因为 $\phi (1)=1$ 。如果 $p$ 是合数，那么 $p$ 有一个因子 $d$ 满足 $1<d<p$ ，显然 $d$ 和 $p$ 不互素。由于 $p-1$ 个整数 $1,2,\cdots ,p-1$ 中至少有一个整数（即 $d$ ）是不和 $p$ 互素的，故 $\phi (p)⩽p-2$ 。因此，如果 $\phi (p)=p-1$ ，那么 $p$ 必是素数。

定理 7.3 欧拉函数在素数幂处的值

定理 7.3：设 $p$ 是素数， $a$ 是一个正整数，那么 $\phi (p^a)=p^a-p^{a-1}$ 。
证明：不超过 $p^a$ 且和 $p^a$ 不互素的正整数就是那些不超过 $p^a$ 且能够被 $p$ 整除的整数，即 $kp$ ，其中 $1⩽k⩽p^{a-1}$ ，因为恰有 $p^{a-1}$ 个这样的整数，所以存在 $p^a-p^{a-1}$ 个不超过 $p^a$ 且和 $p^a$ 互素的正整数。所以 $\phi (p^a)=p^a-p^{a-1}$ 。

定理 7.4 欧拉函数是乘性函数

给定 $n$ 的素幂因子分解，为了给出 $\phi (n)$ 的公式，需要证明 $\phi$ 是乘性函数。

定理 7.5 欧拉函数的计算

由定理 7.3，7.4，我们得到下面关于 $\phi (n)$ 的公式。
定理 7.5：设 $n=p_1^{a_1}{p}_2^{a_2}\cdots p_k^{a_k}$ 为正整数 $n$ 的素幂因子分解，那么 $\phi (n)=n(1-\frac{1}{p_1})(1-\frac{1}{p_2})\cdots (1-\frac{1}{p_k})$ 。
证明：因为 $\phi$ 是乘性函数，故由定理 7.1 可知 $\phi (n)=\phi (p_2^{a_2})\phi (p_k^{a_k})\cdots \phi (p_1^{a_1})$ 。
另外由定理 7.3，我们知道当 $j=1,2,\cdots ,k$ 时，有 $\phi (p_j^{a_j})=p_j^{a_j}-p_j^{a_{j-1}}=p_j^{a_j}(1-\frac{1}{p_j})$ 。
因此
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ \varphi(n)&=p_…

定理 7.6 欧拉函数值的奇偶

定理 7.6：设 $n$ 是一个大于 2 的正整数，那么 $\phi (n)$ 是偶数。
证明：设 $n$ 的素幂因子分解为 $n=p_1^{a_1}{p}_2^{a_2}\cdots p_s^{a_s}$ 。因为 $\phi$ 是乘性函数，所以 $\phi (n)=\prod _{j=1}^s\phi (p_j^{a_j})$ 。由定理 7.3，我们知道 $\phi (p_j^{a_j})=p_j^{a_j-1}(p_j-1)$ 。可以看到当 $p_j$ 是奇素数时， $\phi (p_j^{a_j})$ 是偶数，这是因为当 $p_j$ 是奇数时， $p_j-1$ 是偶数；当 $p_j=2$ 且 $a_j>1$ 时， $p_j^{a_j-1}$ 是偶数。给定 $n>2$ ， $p_j$ 是奇数或者 $p_j=2$ 且 $a_j>1$ 这两个条件中至少满足一个，所以 $\phi (p_j^{a_j})$ 在 $1⩽j⩽s$ 时至少有一个是偶数，因此 $\phi (n)$ 是偶数。

和函数

设 $f$ 是一个算术函数，那么 $F(n)={\sum }_{d\mid n}f(d)$ 代表 $f$ 在 $n$ 的所有正因子处的值之和。函数 $F$ 称为 $f$ 的和函数。
下面证明欧拉函数在 $n$ 的所有正因子处的值之和为 $n$ ，这个结果在后面也是有用的。这表明欧拉函数的和函数是个 恒等函数，即在 $n$ 处的值恰是 $n$ 。

定理 7.7 欧拉函数的和函数

定理 7.7：设 $n$ 为正整数，那么 ${\sum }_{d\mid n}\phi (d)=n$ 。
证明：我们将从 $1$ 到 $n$ 的整数构成的集合进行分类。整数 $m$ 如果与 $n$ 的最大公因子为 $d$ ，则 $m$ 属于 $C_d$ 类。也就是说，如果 $m$ 属于 $C_d$ ，那么 $(m/d,n/d)=1$ 。所以 $C_d$ 中所含的整数的个数是所有不超过 $n/d$ 且和 $n/d$ 互素的正整数的个数，即 $C_d$ 中存在 $\phi (n/d)$ 个正整数。所以我们可以把这 $n$ 个数分为互不相交的类。因此 $n={\sum }_{d\mid n}\phi (n/d)$ 。
因为 $d$ 取遍所有整除 $n$ 的正整数， $n/d$ 也取遍 $n$ 的所有正因子，所以 $n={\sum }_{d\mid n}\phi (n/d)={\sum }_{d\mid n}\phi (d)$ 。

一些性质

性质 1：$\forall n,n>1$ ，$1,2,\cdots ,n$ 中与 $n$ 互质的数的和为 $n\times \frac{\phi (n)}{2}$ 。
性质 2：设 $p$ 是 $n$ 的因数（无论是质数或素数），若 $p\mid n$ 且 $p^2\mid n$ ，则 $\phi (n)=\phi (n/p)\times p$ 。（因为 $p,n/p$ 不互质且 $n$ 和 $n/p$ 的质因子集合相同）
性质 3：设 $p$ 是 $n$ 的质因数，若 $p\mid$ 且 $p^2\nmid n$ ，则 $\phi (n)=\phi (n/p)\times \phi (p)$ 。（因为 $p,n/p$ 互质，若 $p$ 为合数，则 $p,n/p$ 是否互质不确定）
性质 4：若 $i,j$ 不互质，则 $\phi (i\times j)=\frac{\phi (i)\phi (j)\gcd (i,j)}{\phi (\gcd (i,j))}$ 。

一个关于欧拉函数的方程

设 $k$ 是一个给定的正整数，求满足 $\phi (n)=k$ 的所有正整数 $n$ 的解的一个有用的方法就是给出满足方程 $\phi (n)=\prod _{i=1}^k{p}_i^{a_i-1}(p_i-1)$ 的所有整数解 $n$ ，其中 $n$ 的素幂因子分解为 $n=\prod _{i=1}^k{p}_i^{a_i}$ 。

7.2 因子和 与 因子个数

7.3 完全数和梅森素数

7.4 莫比乌斯反演

7.5 拆分