数论专题-欧拉函数的求法

数论专题-欧拉函数求法

φ(m)，即小于m的m个数中与m互质的数的个数
这次讲φ(m)=m*(1-1/p1)*(1-1/p2)……

前言

先点关注，不迷路
大家好，我是于斯为盛
先给大家道个歉，上次许诺要讲这个的，前一段有点忙，一直托到现在
这个证明稍微有点长
我们慢慢来
废话不多说
讲得不好勿喷~

证明

证明分几步走，大家不要着急

定理1

若m₁，m₂互素，x，y分别跑遍m₁，m₂的完全剩余系
则xm₂+ym₁跑遍m₁m₂的完全剩余系

证明

x_i通过m₁个整数
y_i通过m₂个整数
所以x_im₂+y_im₁通过m₁m₂个整数
我们只需证明这m₁m₂个整数对Mod m₁m₂两两不同余就可以
（因为m₁m₂的完全剩余系只有m₁m₂个整数）

任给x₁ y₁ x₂ y₂
x_i跑遍m₁的完全剩余系
y_i跑遍m₂的完全剩余系
假设x₁m₂+y₁m₁≡x₂m₂+y₂m₁ Mod m₁m₂
我们可得方程
x₁m₂+y₁m₁=x₂m₂+y₂m₁+km₁m₂(k不一定为正整数) 方程1

由方程1 Mod m₁得
x₁m₂≡x₂m₂ Mod m₁
由于（m₁,m₂）=1
可得x₁≡x₂ Mod m₁
因为x₁,x₂跑遍m₁的完全剩余系
所以x₁=x₂

由方程1 Mod m₂得
y₁m₁≡y₂m₁ Mod m₂
由于（m₁,m₂）=1
可得y₁≡y₂ Mod m₂
因为y₁,y₂跑遍m₂的完全剩余系
所以y₁=y₂

综上所述，方程1成立的条件是x₁=x₂且y₁=y₂
所以形如x₁m₂+x₂m₁的式子在Mod m₁m₂互不相等
证毕

证明完全剩余系是为了后续将简化剩余系写成