我叫张小黑
张小黑的挣扎生活
posts - 66,  comments - 109,  trackbacks - 0
欧拉函数 :
欧拉函数是数论中很重要的一个函数,欧拉函数是指:对于一个正整数 n ,小于 n 且和 n 互质的正整数(包括 1)的个数,记作 φ(n) 。

完全余数集合:
定义小于 n 且和 n 互质的数构成的集合为 Zn ,称呼这个集合为 n 的完全余数集合。 显然 |Zn| =φ(n) 。

有关性质:
对于素数 p ,φ(p) = p -1 。
对于两个不同素数 p, q ,它们的乘积 n = p * q 满足 φ(n) = (p -1) * (q -1)  。
这是因为 Zn = {1, 2, 3,  ... , n - 1} - {p, 2p, ... , (q - 1) * p} - {q, 2q, ... , (p - 1) * q} , 则 φ(n) = (n - 1) - (q - 1) - (p - 1) = (p -1) * (q -1)  =φ(p) * φ(q)

欧拉定理 :
对于互质的正整数 a 和 n ,有 aφ(n)  ≡ 1 mod n  。

证明:
( 1 ) 令 Zn = {x1, x2, ..., xφ(n)} S = {a * x1 mod n, a * x2 mod n, ... , a * xφ(n) mod n}
        则 Zn = S 。
        ① 因为 a 与 n 互质, xi (1 ≤ i ≤ φ(n)) 与 n 互质, 所以 a * xi  与 n 互质,所以 a * xi  mod n ∈ Zn 。
        ② 若 i ≠ j , 那么 xixj,且由 a, n互质可得 a * xi mod n ≠ a * xj mod n (消去律)。

( 2 )     aφ(n) * x1 * x2 *... * xφ(n) mod n
     
(a * x1) * (a * x2) * ... * (a * xφ(n)) mod n
      
(a * x1 mod n) * (a * x2 mod n) * ... * (a * xφ(n) mod n) mod n
     
  x1 * x2 * ... * xφ(n) mod n
      对比等式的左右两端,因为
xi  (1 ≤ i ≤ φ(n)) 与 n 互质,所以 aφ(n)  ≡  1 mod n (消去律)。
注:
消去律:如果 gcd(c,p) = 1 ,则 ac ≡ bc mod p ⇒ a ≡ b mod p 。

费马定理 :
若正整数 a 与素数 p 互质,则有 ap - 1 ≡ 1 mod p
证明这个定理非常简单,由于 φ(p) = p -1,代入欧拉定理即可证明。
*****************************************************************************
补充:欧拉函数公式

( 1 ) pk 的欧拉函数

对于给定的一个素数 p , φ(p) = p -1。则对于正整数 n = pk

 φ(n) = pk - pk -1

证明:
小于 pk 的正整数个数为 pk - 1个,其中
和 pk 不互质的正整数有{p * 1,p * 2,...,p * (pk - 1-1)} 共计 pk - 1 - 1
所以 φ(n) = pk - 1 - (pk - 1 - 1) = pk - pk - 1

( 2 ) p * q 的欧拉函数

假设 p, q是两个互质的正整数,则 p * q 的欧拉函数为

φ(p * q) = φ(p) * φ(q) , gcd(p, q) = 1 。

证明:
令 n = p * q , gcd(p,q) = 1
根据中国余数定理,有
Zn 和 Zp × Zq 之间存在一一映射
(我的想法是: a
∈ Zp , b ∈ Zq ⇔ b * p + a * q ∈ Zn 。
所以 n 的完全余数集合的元素个数等于集合 Zp × Zq 的元素个数。
而后者的元素个数为 φ(p) * φ(q) ,所以有
φ(p * q) = φ(p) * φ(q) 。

( 3 ) 任意正整数的欧拉函数

任意一个整数 n 都可以表示为其素因子的乘积为:

      I
n = ∏ piki (I 为 n 的素因子的个数)
i=1

根据前面两个结论,很容易得出它的欧拉函数为:


I I
Φ(n) = ∏ piki -1(pi -1) = n
(1 - 1 / pi)
i=1
i=1

对于任意 n > 2,2 | Φ(n) ,因为必存在  pi -1 是偶数。

posted on 2008-02-29 13:10 zoyi 阅读(5073) 评论(5)  编辑 收藏 引用

FeedBack:
# re: 欧拉定理证明 && 欧拉公式
2008-03-08 01:16 | 张棚
看不懂,
因为我太菜。
写得很好..
ps: 格式好整齐哦。。  回复  更多评论
  
# re: 欧拉定理证明 && 欧拉公式
2010-04-01 11:22 | TonyShaw
谢谢,帮助很大  回复  更多评论
  
# re: 欧拉定理证明 && 欧拉公式
2011-11-14 19:28 | coreBugZJ
写的不错  回复  更多评论
  
# re: 欧拉定理证明 && 欧拉公式
2012-03-15 11:31 | 我没有名字
你好, 对于一下这个地方我有个疑问: ① 因为 a 与 n 互质, xi (1 ≤ i ≤ φ(n)) 与 n 互质, 所以 a * xi 与 n 互质,所以 a * xi mod n ∈ Zn 。 为什么 a * xi 与 n 互质,就会有 a * xi mod n ∈ Zn, 能具体说明一下吗?谢谢  回复  更多评论
  
# re: 欧拉定理证明 && 欧拉公式
2016-07-10 23:48 | 煎蛋
@我没有名字
@我没有名字
因为a * xi 与n互质, 所以a * xi mod n与n互质,又因为a * xi mod n < n, 所以 a * xi mod n ∈ Zn  回复  更多评论
  

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


欢迎光临 我的白菜菜园

<2012年3月>
26272829123
45678910
11121314151617
18192021222324
25262728293031
1234567

常用链接

留言簿(8)

随笔分类

随笔档案

文章档案

相册

acmer

online judge

队友

技术

朋友

搜索

  •  

最新评论

阅读排行榜

评论排行榜