数论概论笔记 第10章 同余式、幂与欧拉函数

终于到第10章了，竟然能坚持看下来……

欧拉函数定义：对于正整数m，在0 与m 之间与 m 互素的整数个数为欧拉函数，即

    Φ(m) = # {a : 1 ≤ a ≤ m, gcd(a, m) = 1}。

注：对正整数 m > 2，有 Ф(m) 为偶数。证明略。

p是素数是吗，每个整数 1 ≤ a ≤ (p - 1) 都与p互素，故有 p 为素数时

Φ(p) = p - 1；

定理10.1 欧拉公式：如果 gcd(a, m) = 1，则

a ^ Φ(m) ≡ 1 (mod m)。

定理10.1证明：

    欧拉公式的证明与费马小定理一致；

    令 1 ≤ b1 < b2 < b3 < …… < b[Φ(m)] < m 是 0  与 m 之间与 m 互素的 Φ(m) 个整数：

        断言10.2：如有 gcd(a, m) = 1，则数列

            b1 * a, b2 * a,……,b[Φ(m)] * a (mod m)                                                        （1）

            与数列  b1, b2,……,b[Φ(m)] (mod m)                                                             （2）

            相同，尽管次序可能不同。

        断言10.2证明：

            显然数列（1）中的各项不会被m整除；

            设从数列（1）中取 bj * a，bk * a，假设它们模m同余，有：

            m | (bj - bk) * a；

            由于 m 与 a 互素，有 m | (bj - bk)；

            又因为 bj, bk 在[1, m)内，则 |bj - bk| ≤ (m - 1)，

            故(bj - bk) = 0, bj = bk，数列（1）中的数模m不同，

            则数列（1）中的数与数列（2）中的数一一对应；

        断言10.2证明完毕。

        由断言10.2可知，数列（1）与数列（2）相同，

        则(b1 * a) * (b2 * a) * …… * (b[Φ(m)] * a) ≡ b1 * b2 * …… * b[Φ(m)] (mod m)；

        由于 bi 的积与m互素，有

        b1 * a, b2 * a,……,b[Φ(m)] * a (mod m) .

        定理10.1证明完毕。