今天复习了一下欧拉函数,顺便写一篇博客
概念
简化剩余系(既约剩余系、缩系)
- 剩余系中与m互质的数的集合称为简化剩余系。
- 性质一:设m为自然数,k,t为任意数,
,则当x属于m的简化剩余系时,
也属于模m的简化剩余系。
- 证明:由于
,所以
。
- 性质二:设m为自然数,k,t为任意整数,
,若
组成了模m的简化剩余系,那么
也能组成模m的简化剩余系。
- 证明:由性质一,变换后的所有数都在缩系内,所以只需证明不存在两个数属于同一剩余系。反证法,假设
与
是缩系中不同元素而矛盾。
欧拉函数
- 一个数的简化剩余系的大小记为
,称为欧拉函数,一个等价的定义是n以内和n互质的数的个数。
- 可以看出,欧拉函数是积性函数。
证明:当
时,有
。
令
表示
的简化剩余系,大小为
,元素用
表示。
令
表示
的简化剩余系,大小为
,元素用
表示。
对此我们需要证明两点:
,且对于不同的
,
的值也不同。
可以表示
剩余系中的所有元素。
先证第一条