欧拉函数(数论)
贡献者: int256
定义 1 欧拉函数
欧拉函数 表示 以内的非零自然数中与 互质的数的个数。也可以表示为,
其中 为求最大公约数,故可以用 表示要求 与 互质。
考察一个数论函数,我们经常按素数——素数幂次——非零自然数的顺序去考察。先探讨前两个的性质。
显然对于任意素数 ,其欧拉函数为 。
对于一个素数幂次 ,可以想象在 内每 个数就有一个与 不互素(有公因子 )。也就是除去所有的 的倍数,均与 互质,故素数幂次的欧拉函数可以表示为 。
证明:可以利用容斥原理:
不妨设 , 是 的各素因子, 是其幂次。则有:
- 不超过 的是某个 的倍数的分别有 个。
- 不超过 的是某两 的倍数的,也即是 的倍数()的,有 个。在上面重复计数,需要减去。
- 不超过 的是某三 的倍数的,也即是 的倍数( 互不相等),有 个。在上面被减去了,没有计数到,需要加上。
- 依此类推...
- 不超过 的是所有 的倍数的,即 的,有 个。根据 的奇偶性决定是要加上或减去。
我们发现这表达式可以将欧拉函数表示为:
恰好与下面的展开式对应(之后默认的情况下忽略 的条件不写):
这就是计算某任意数的欧拉函数的方法。
1. 积性函数
证明:
回顾积性函数的定义,对于互质的 ,要求 。将 、 的质因子列出,假设 、 分别有质因子 、,则 的所有质因子为 (,因为 与 互质)。从而利用上面的推论 1 ,他们的积的欧拉函数可以表示为,
这就完成了证明。
2. 缩系
由欧拉函数的定义,我们可以立刻得知一个推论:
定理 2
若 取遍 的一个缩系,则对于一个与 互质的整数 ,则
也取遍 的一个缩系。
证明可以直接考虑模仿完全剩余系时的情形,即定理 2 的证明。可以证明 之间两两不同余,而由于 ,各 必定都与 互质,故他们取遍 的一个缩系。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。