初等数论--同余--欧拉函数、欧拉定理、费马小定理

博主是初学初等数论（整除+同余+原根），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：初等数论，方便检索。

欧拉函数本身，其实就是一个简单描述与元素互素个数的函数，但是它涉及、以及由它推出的定理（欧拉定理、费马小定理）很重要。我会从一些小概念、小定理推到欧拉定理、费马小定理等比较难的定理。

概念

同余类，既约同余类

$同余类：m\in N^{+},\forall i\in Z,记:[i]=$ { $x:x\in Z,x\equiv i(modm)$ }
$既约同余类：(i,m)=1+同余类定义$
$如：整数6的完全剩余系：[0],[1],[2],[3],[4],[5];既约剩余系：[1],[5]$

欧拉函数

$小于m，且与m互素的整数个数，写作\phi (m)$

完全剩余系，既约剩余系

$完全剩余系：m个整数a_1,a_2,a_3\dots a_m,整数模m不同余$
$既约剩余系：\phi (m)个整数b_1,b_2,\dots b_{\phi }(m)$
如 ： 整 数 6 的 完 全 剩 余 系 ： { 0 , 1 , 2 , 3 , 4 , 5 } ; 既 约 剩 余 系 { 1 , 5 } 如：整数6的完全剩余系：\{0,1,2,3,4,5\};既约剩余系\{1,5\} 如：整数6的完全剩余系：{ 0,1,2,3,4,5};既约剩余系{ 1,5}

关于完全剩余系、既约剩余系一些比较简单的定理

• $设m\in N^{+},a、b\in Z,(a,m)=1,若x遍历m的一个完全剩余系，则ax+b遍历m的一个完全剩余系。$

证 明 ： 若 x 遍 历 m 的 一 个 完 全 剩 余 系 ， 则 x = { a 0 , a 1 , a 2 , … a m − 1 } 且 ∀ a i , a j 有 a i 和 a j 模 m 不 同 余 , 有 a x + b = { a a 0 + b , a a 1 + b , … a a m − 1 + b } , 我 们 只 需 要 证 明 集 合 a x + b 中 每 个 整 数 模 m 不 同 余 。 反 证 法 ： 假 设 存 在 两 个 整 数 a i , a j 使 得 a a i + b ≡ a a j + b ( m o d m ) , 那 么 a ( a i − a j ) ≡ 0 ( m o d m ) → m ∣ a ( a i − a j ) 又 因 为 ( a , m ) = 1 , 所 以 m ∣ a i − a j , 即 a i 与 a j 模 m 同 余 ， 产 生 矛 盾 ， 证 毕 。 证明：若x遍历m的一个完全剩余系，则x=\{a_0,a_1,a_2,…a_{m-1}\}且{\forall}a_i,a_j有a_i和a_j模m不同余,\\ 有ax+b=\{aa_0+b,aa_1+b,…aa_{m-1}+b\},我们只需要证明集合ax+b中每个整数模m不同余。\\ 反证法：假设存在两个整数a_i,a_j使得aa_i+b\equiv aa_j+b(mod m),\\ 那么a(a_i-a_j)\equiv 0(mod m)\rightarrow m\mid a(a_i-a_j)\\ 又因为(a,m)=1,所以m\mid a_i-a_j,即a_i与a_j模m同余，产生矛盾，证毕。 证明：若x遍历m的一个完全剩余系，则x={ a0​,a1​,a2​,…am−1​}且∀ai​,aj​有ai​和aj​模m不同余,有ax+b={ aa0​+b,aa1​+b,…aam−1​+b},我们只需要证明集合ax+b中每个整数模m不同余。反证法：假设存在两个整数ai​,aj​使得aai​+b≡aaj​+b(modm),那么a(ai​−aj​)≡0(modm)→m∣a(ai​−aj​)又因为(a,m)=1,所以m∣ai​−aj​,即ai​与aj​模m同余，产生矛盾，证毕。

• $设m_1,m_2是两个互素正整数，x_1,x_2分别遍历m_1,m_2的完全剩余系，则m_2{x}_1+m_1{x}_2遍历模m_1,m_2的完全剩余系。$

证 明 ： x 1 , x 2 分 别 遍 历 m 1 , m 2 的 完 全 剩 余 系 ， 则 x 1 = { a 0 , a 1 , … a m 1 − 1 } , x 2 = { b 0 , b 1 , … … , b m 2 − 1 } , x 1 中 有 m 1 个 元 素 ， x 2 中 有 m 2 个 元 素 ， m 2 x 1 + m 1 x 2 中 有 m 1 m 2 个 元 素 ， 现 在 只 需 证 这 m 1 m 2 个 元 素 彼 此 模 m 1 m 2 不 同 余 。 证明：x_1,x_2分别遍历m_1,m_2的完全剩余系，则x_1=\{a_0,a_1,…a_{m_1-1}\},x_2=\{b_0,b_1,……,b_{m_2-1}\},x_1中有m_1个元素，x_2中有m_2个元素，m_2x_1+m_1x_2中有m_1m_2个元素，现在只需证这m_1m_2个元素彼此模m_1m_2不同余。 证明：x1​,x2​分别遍历m1​,m2​的完全剩余系，则x1​={ a0​,a</