函数的参数个数是不固定_欧拉Φ函数，因子和函数，因子个数函数的一些漂亮的等式...

先简单介绍一下这三个算术函数

• 欧拉Φ函数 Φ(n) 为不超过n，且与n互素的正整数的个数。

• 因子和函数 σ(n) 为整数n的所有正因子之和。

• 因子个数函数 τ(n) 为正整数n的所有正因子个数。

---

下面来介绍一下和函数：

如果f是个算术函数，那么

代表f在n中所有正因子处的值之和。函数F称为f的和函数。

由和函数的定义易知

例：

---

定理1：设n为一个正整数，那么

证明：

注：(m,n)代表m,n的最大公因数

我们将从1到n的整数构成的集合分类，整数m如果与n的最大公因子为d，则m属于

类。就是说，如果m属于

，那么 (m,n) = d，当且仅当 (m/d,n/d) = 1。所以，

类中所含整数的个数是所有不超过 n/d 且和 m/d 互素的正整数的个数。从上面的分析，我们可以看到

类中存在 Φ(n/d) 个整数。因为我们将1到n的所有整数分成互不相交的类，且每个整数只属于其中一个类。那么这些不同的类所含的所有整数的个数之和就是n，所以

因为d取遍所有整除n的正整数，n/d也取遍它的所有因子，从而

证毕。

例：

我们用n=18来具体说明定理的证明。从1到18的整数分成下面的类

，其中 d|18，

包含所有满足 (m,18) = d 的整数。即

我们看到

类包含 Φ(18/d) 个整数，就是上面这六个类分别包含 Φ(18)=6，Φ(9)=6，Φ(6)=2，Φ(3)=2，Φ(2)=1 和 Φ(1)=1 个整数。我们有18=Φ(18)+Φ(9)+Φ(6)+Φ(3)+Φ(2)+ Φ(1)=

。

---

下面来介绍一下狄利克雷积：

两个算术函数f和g可以作狄利克雷积，定义为

由狄利克雷积的定义易知

例：

若

,

则

---

定理2：若

,即

,

则

，成立条件：这三个无穷项级数收敛

证明：

展开等式右边各项

消去括号后，两两合并，每一项的形式为

令n=xy，有每一项的形式为

，由于x,y取遍所有正整数，所以对于固定的n，x可取遍n的所有正因子;而x不可以取和n互质的数或者大于n的数，否则y=n/x不为整数，矛盾。

合并分母为

的项，可知分子为

，证毕

---

下面来推导几个很漂亮的级数

由定理1 知，

即

由定理2 得

,

即

,其中

为黎曼Zeta函数

所以，

，s大于2时成立

---

由定义有，

得

，

所以，

，s大于2时成立

，s大于1时成立

---

我们得到了这三个算术函数与黎曼Zeta函数的关系，就是这三个漂亮的无穷项级数

欧拉Φ函数：

因子和函数：

因子个数函数：

---

由以上三个级数，可得

由定理2，得

,

即

例如有，

读者可对着上面的表来验证。

---

由这三个级数，也可以得到

由定理2 ，得

即

---

最终，我们得到了这三个算术函数之间关系，就是这两个漂亮的等式