欧拉定理及其推论
-
欧拉定理
- 内容:若正整数 a , n a,n a,n 互质,则对于 a φ ( n ) ≡ 1 ( m o d n ) a^{\varphi(n)} \equiv 1 \pmod n aφ(n)≡1(modn) ,其中 φ ( n ) \varphi(n) φ(n) 为欧拉函数。
- 证明:(略
-
欧拉定理推论
-
内容:若正整数 a , n a,n a,n 互质,则对于任意正整数 b b b ,有 a b ≡ a b   m o d   φ ( n ) m o d    n a^{b} \equiv a^{b \,mod \,\varphi(n)} \mod n ab≡abmodφ(n)modn
-
证明:
设 b = q × φ ( n ) + r , 其 中 0 ≤ r ≤ φ ( n ) , 即 r = b m o d    φ ( n ) a b ≡ a q × φ ( n ) + r ≡ ( a φ ( n ) ) q × a r ≡ 1 q × a r ≡ a r ≡ a b m o d    φ ( n ) ( m o d n ) \begin{aligned} & 设 b = q \times\varphi(n) + r,其中0\leq r \leq \varphi(n),即 r = b \mod \varphi(n)\\ & a ^ b \equiv a ^{q\times\varphi(n) + r}\equiv (a ^ {\varphi(n)})^q \times a^r \equiv 1^q \times a ^ r \equiv a ^ r \equiv a ^ {b \mod \varphi(n)} \pmod n \end{aligned} 设b=q×φ(n)+r,其中0≤r≤φ(n),即r=bmodφ(n)ab≡aq×φ(n)+r≡(aφ(n))q×ar≡1q×ar≡ar≡abmodφ(n)(modn)
-
-
广义上的欧拉定理推论:
-
内容:
a b ≡ a b m o d    φ ( n ) + φ ( n ) ( m o d n ) a ^ b \equiv a ^ {b \mod \varphi(n) + \varphi(n)} \pmod n ab≡abmodφ(n)+φ(n)(modn) 当 a , n a,n a,n 不一定互质且 b > φ ( n ) b > \varphi(n) b>φ(n) 当 b < = φ ( n ) b <= \varphi(n) b<=φ(n) a b ≡ a b ( m o d n ) a ^ b \equiv a ^ b \pmod n ab≡ab(modn) -
证明:可寻找 a b m o d    n a^b \mod n abmodn 的指数循环节证明。
-
-
引理:若正整数 a , n a,n a,n 互质,则满足 a x ≡ 1 ( m o d n ) a^x \equiv 1 \pmod n ax≡1(modn) 的最小正整数 x 0 x_0 x0 是 φ ( n ) \varphi(n) φ(n) 的约数。
- 证明:
反 证 法 : 假 设 满 足 a x ≡ 1 ( m o d n ) 的 最 小 正 整 数 x 0 不 能 整 除 φ ( n ) 设 φ ( n ) = q × x 0 + r ( 0 < r < x 0 ) 。 因 为 a x 0 ≡ 1 ( m o d n ) , 所 以 a q x 0 ≡ 1 ( m o d n ) 根 据 欧 拉 定 理 , 有 a φ ( n ) ≡ 1 ( m o d n ) , 所 以 a r ≡ 1 ( m o d n ) 。 因 为 r < x 0 , 这 与 x 0 最 小 矛 盾 , 所 以 原 命 题 成 立 。 \begin{aligned} & 反证法:假设满足 a ^ x \equiv 1 \pmod n 的最小正整数 x_0 不能整除 \varphi(n) \\ & 设 \varphi(n) = q \times x_0 + r (0 < r < x_0)。因为 a ^{x_0} \equiv 1 \pmod n,所以 a ^ {qx_0} \equiv 1 \pmod n \\ & 根据欧拉定理,有 a ^ {\varphi(n)} \equiv 1 \pmod n,所以 a ^ r \equiv 1 \pmod n。因为 r < x_0,这与 x_0 最小矛盾,所以原命题成立。 \end{aligned} 反证法:假设满足ax≡1(modn)的最小正整数x0不能整除φ(n)设φ(n)=q×x0+r(0<r<x0)。因为ax0≡1(modn),所以aqx0≡1(modn)根据欧拉定理,有aφ(n)≡1(modn),所以ar≡1(modn)。因为r<x0,这与x0最小矛盾,所以原命题成立。
- 证明: