先简单介绍一下这三个算术函数
- 欧拉Φ函数 Φ(n) 为不超过n,且与n互素的正整数的个数。
![17fe5c85f60e7a2dfacd52fbb8ee68d2.png](https://i-blog.csdnimg.cn/blog_migrate/d66bb38a4758c075422024e26c81ef1e.png)
- 因子和函数 σ(n) 为整数n的所有正因子之和。
![9f9b0bbf9409e6527b332347d0047cb5.png](https://i-blog.csdnimg.cn/blog_migrate/aa139fc33bcee32e57ba9a57c16f5195.png)
- 因子个数函数 τ(n) 为正整数n的所有正因子个数。
![7e45f9fbcf16f4967a06ce6541dcf572.png](https://i-blog.csdnimg.cn/blog_migrate/1f68b7e026791deadb4150221c9133c0.png)
下面来介绍一下和函数:
如果f是个算术函数,那么
代表f在n中所有正因子处的值之和。函数F称为f的和函数。
由和函数的定义易知
例:
定理1:设n为一个正整数,那么
证明:
注:(m,n)代表m,n的最大公因数
我们将从1到n的整数构成的集合分类,整数m如果与n的最大公因子为d,则m属于
因为d取遍所有整除n的正整数,n/d也取遍它的所有因子,从而
证毕。
例:
我们用n=18来具体说明定理的证明。从1到18的整数分成下面的类
我们看到
下面来介绍一下狄利克雷积:
两个算术函数f和g可以作狄利克雷积,定义为
由狄利克雷积的定义易知
例:
若
则
定理2:若
则
证明:
展开等式右边各项
消去括号后,两两合并,每一项的形式为
令n=xy,有每一项的形式为
合并分母为
下面来推导几个很漂亮的级数
由定理1 知,
即
由定理2 得
即
所以,
由定义有,
得
所以,
我们得到了这三个算术函数与黎曼Zeta函数的关系,就是这三个漂亮的无穷项级数
欧拉Φ函数:
因子和函数:
因子个数函数:
由以上三个级数,可得
由定理2,得
即
例如有,
读者可对着上面的表来验证。
由这三个级数,也可以得到
由定理2 ,得
即
最终,我们得到了这三个算术函数之间关系,就是这两个漂亮的等式