数论：欧拉定理（Mathematica）

1、首先关于数论中完系和缩系的有关知识，请查阅经验引用。下面简要介绍：图中Select哪一行代码计算了模m的缩系，而欧拉函数就是模m的缩系中的元素个数。

3、关于缩系，还有一个有趣的性质：将缩系中每个元素乘以a，a与m互素的数，那么乘完之后的集合，仍然是模m的缩系。这一性质使用代码演示如图。

5、当m为素数p时，欧拉函数的值就是p-1，如图公式成立。