阶的一个定理证明

描述：

设（a,m) = 1 , d₀ = &_m(a) ,则a^k ≡ 1 (mod m) 当且仅当 d₀ | k

证明：

两个方向证明：

1. 通过a^k ≡ 1 (mod m)来证明d₀ | k
   开始：^ _ ^ 我们设k = qd₀ + r₀（0 <= r₀ < d）所以我们有a^k = a^qd0+r0 = a^qd0 + a^r0，因为我们有a^k≡1，a^qd0≡1。所以可以得到a^r0≡1。我们有d0的最小性（也就是由0 <= r₀ < d得到r0越小d就越小）所以d₀ | k ，得证！

2. 我们由d₀ | k得到a^k ≡ 1 (mod m)
   d₀ | k 得到 k = qd₀，所以有a^k = a^qd0 ，因为a^qd0 ≡ 1 (mod m)，所以a^k ≡ 1 (mod m)，得证！

吐槽一下！在博客上写数学证明真的不好写！嘿嘿