切换深浅主题
第 3 章:欧拉函数与欧拉定理
3.1 欧拉函数数的是哪些整数
表示
中与
互质的整数个数。等价地,它是模
可逆剩余类的个数。它数的不是素数,也不是
的质因子。
若是质因数分解,其中
互不相同,那么
为什么只出现不同的质因子,而没有直接出现次数?一个整数与
不互质,意味着它被某个
整除。是否被
整除已经决定了它要被排除,不需要再分别排除
的倍数。幂次仍包含在前面的
中。
3.2 乘积公式为什么就是容斥
先看恰有两个不同质因子
的情况。在
至
中,
的倍数有
个,
的倍数有
个。如果直接都减掉,同时被
整除的整数会被减两次,所以要补回
个:
有更多质因子时,原理相同:减去单个倍数集合,加回两两交集,再减去三重交集,依次交替。展开时,选一个负项得到一次减法,选两个负项得到交集的加法,选三个负项得到三重交集的减法。乘积展开恰好记录了每种交集和符号。
对于每一个具体整数,这样加减后的总权重是什么?若它不被任何整除,权重为1;若它被其中
个整除,权重为
。因此最终恰好保留互质整数。完整容斥展开在第14章。
特别地,,
。若
互质,CRT把模
的可逆类与一对模
的可逆类对应,因而
。这个对应在第6章解释。
3.3 欧拉定理的证明为什么仍是重排
欧拉定理把质数模数推广到一般模数:若且
,则
设代表全部与
互质的剩余类。乘
后仍互质:若某个质因子同时整除
和
,它必整除
或
,而这两种情况都被互质条件排除。不同的
也不会碰到一起:
可以消去
。
于是只是这一整组可逆类的重排。相乘得到
乘积仍与互质,消去后就是欧拉定理。注意,两次消去都检查了互质:先对
使用,最后对
使用。
3.4 欧拉指数保证了什么
当为质数时,
,欧拉定理退回费马小定理。对一般互质底数,它同样允许把指数对
取余,推导方式与第2.3节相同。
但只是一个一定能使幂回到1的指数,不一定最小;下一章会定义这个最小指数。若底数不与模数互质,欧拉定理就不能直接使用。这也是为什么RSA的解密正确性不能只写一句“由欧拉定理”,还必须处理不互质的消息。