CINTA作业八：CRT

中国剩余定理

提示：该定理可高效地求解一元同余方程组

---

---

一、习题10.1

解：$\because$ 221 = 13 x 17

  由 CRT 可将该式子转换成一元同余方程组：

     x $\equiv$ $2000^{2019}$ (mod 17)
     x $\equiv$ $2000^{2019}$ (mod 13)

  由费尔马小定理，可将以上方程简化为：

     x $\equiv$ $2000^3$ (mod 17) $\equiv$ $11^3$ (mod 17)
     x $\equiv$ $2000^3$ (mod 13) $\equiv$ $11^3$ (mod 13)

  计算后可得：
     x $\equiv$ 5 (mod 17)
     x $\equiv$ 3 (mod 13)

  令 a = 5， b = 3， p = 17， q = 13， n = pq = 221

  通过 egcd 算法可得，$p^{-1}$ = 10，$q^{-1}$ = $4$

  令 y $\equiv$ $aq{q}^{-1}$ + $bp{p}^{-1}$ (mod n)

  代入数据后解得， y = 5

   所以原式的解为 5
 

---

二、习题10.2

解：记 a = 8， b = 3， p = 11， q = 19， n = pq = 209

  通过 egcd 算法可得，$p^{-1}$ = 7，$q^{-1}$ = 7

  令 y $\equiv$ $aq{q}^{-1}$ + $bp{p}^{-1}$ (mod n)

  代入数据后解得， y = 41

  验证可知，y 是正确解
 

---

三、习题10.3

解：令 $M$ = $m_0{m}_1...m_{n-1}$ = $5\ast 7\ast 9\ast 11$ = 3465

  记 $b_i$ = $\frac{M}{m_i}$， $b_i^{-1}$ 为 mod 5 下的逆元。则有：

      $x$ = ${\sum }_{i=0}^{n-1}{a}_i{b}_i{b}_i^{-1}$ (mod $M$)

  $x_0$ = $1\ast (7\ast 9\ast 11)\ast (7\ast 9\ast 11{)}^{-1}$ = $1\ast 693\ast 2$

  $x_1$ = $2\ast (5\ast 9\ast 11)\ast (5\ast 9\ast 11{)}^{-1}$ = $1\ast 495\ast 3$

  $x_2$ = $3\ast (5\ast 7\ast 11)\ast (5\ast 7\ast 11{)}^{-1}$ = $1\ast 385\ast 4$

  $x_3$ = $4\ast (5\ast 7\ast 9)\ast (5\ast 7\ast 9{)}^{-1}$ = $1\ast 315\ast 8$

  $\therefore$ $x$ = ($x_0+x_1+x_2+x_3$) mod $M$ = 1731

 

---

四、习题10.4

解：根据同余的性质可得，

  $\exists$ $k_1,k_2\in$ $\mathbb{Z}$ ，使得

     $x$ = $k_{1}m+a$
     $x$ = $k_{2}n+a$

  两式相减得， $k_{1}m=k_{2}n$

  又因为 $m$ 和 $n$ 是互素的正整数

  则必然存在 $r_1,r_2\in$ $\mathbb{Z}$ ，使得

     $k_1$ = $r_{1}n$
     $k_2$ = $r_{2}m$

  代入以上关于 $x$ 的方程组可得，

     $x$ = $r_{1}nm+a$
     $x$ = $r_{2}mn+a$

  所以，$x$ mod $mn$ = $a$

 

---

五、习题10.5

解：$\because$ p 和 q 是不同的两个素数

  由费尔马小定理得，

     $p^{q-1}$ $\equiv$ 1 (mod q)
     $q^{p-1}$ $\equiv$ 1 (mod p)

  又 $\because$ $p^{q-1}$ 和 $q^{p-1}$ 分别是 p，q 的倍数，则

     $p^{q-1}$ $\equiv$ 0 (mod p)
     $q^{p-1}$ $\equiv$ 0 (mod q)

  两式相加得，

     $p^{q-1}$ + $q^{p-1}$ $\equiv$ 1 (mod q)
     $p^{q-1}$ + $q^{p-1}$ $\equiv$ 1 (mod p)

  由习题 10.4 的结论可知，$p^{q-1}$ + $q^{p-1}$ $\equiv$ 1 (mod pq)