CINTA 作业八

1.手动计算 $2000^{2019}(mod221)$，不允许使用电脑或者其他电子设备。

对于原题目 $2000^{2019}$ (mod 221)，我们由 CRT 可以将问题转换成求解同余方程组：

$\{\begin{array}{c}x\equiv 2000^{2019}(mod13)\\ x\equiv 2000^{2019}(mod17)\end{array}$

由费尔马小定理，我们可以把原同余方程组化简成：

$\{\begin{array}{c}x\equiv 2000^3\equiv 11^3(mod13)\\ x\equiv 2000^3\equiv 11^3(mod17)\end{array}$

最终我们得到：

$\{\begin{array}{c}x\equiv 3(mod13)\\ x\equiv 5(mod17)\end{array}$

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

由 CRT 我们令 x 的解 $y=aq{q}^{-1}+bp{p}^{-1}$，

因为 p 与 q 互素，利用 egcd 我们可以得到这样一个线性方程组 $10\ast 17+4\ast 13=1$，

那么有 $y=3\ast 10\ast 17+5\ast 4\ast 13=5(modn)$，

最终我们可以得到答案为 5。

2.运用 CRT 求解：

$$\{\begin{array}{c}x\equiv 8(mod11)\\ x\equiv 3(mod19)\end{array}$$

解答：

令 a = 8 b = 3, p = 11, q = 19, n = pq = 209，

由 CRT 我们令 x 的解 $y=aq{q}^{-1}+bp{p}^{-1}$，

因为 p 与 q 互素，利用 egcd 我们可以得到这样一个线性方程组 $19\ast 7+11\ast 7=1$，

那么有 $y=8\ast 19\ast 7+3\ast 11\ast 7=41(modn)$，

最终我们可以得到答案为 41。

3.运用 CRT 求解：

$$\{\begin{array}{c}x\equiv 1(mod5)\\ x\equiv 2(mod7)\\ x\equiv 3(mod9)\\ x\equiv 4(mod11)\end{array}$$

解答：

利用定理 10.2 我们或许可以利用计算机高效地计算出结果，但对于人工计算来说还是很复杂，不妨把同余方程组分成上下两个同余方程组，即等同于如下形式：
$$\begin{gathered} \{\begin{array}{c}x\equiv 1(mod5)\\ x\equiv 2(mod7)\end{array} \\ \{\begin{array}{c}x\equiv 3(mod9)\\ x\equiv 4(mod11)\end{array} \end{gathered}$$
由 CRT 定理和 egcd 我们可以得出这两个同余方程组的解为

$x\equiv 16(mod35),x\equiv 46(mod99)$,

联立两个同余方程组，再利用 CRT 和 egcd 我们可以得出结果

$x\equiv 1731(mod3465)$。

4.设 p 和 q 为互素的正整数， a > 0 为一个正整数，如果

$$\{\begin{array}{c}x\equiv a(modp)\\ x\equiv a(modq)\end{array}$$

x 模 pq 等于什么？为什么？

我们可以从第一个同余式得到，$\exists k\in Z$，使得 x = kp + a。

同样，从第二个同余式会有 $\exists t\in Z$，使得 x = tq + a。

那么两式相减会有 kp - tq = 0；由于 p 与 q 互素，那么该等式成立，也就意味着 $\exists r_1,r_2\in \mathbb{N}$，使 $k=r_1\ast q,t=r_2\ast p$ 成立。

由此我们可以得到 $x=k{r}_{1}qp+a$ 或者 $x=k{r}_{1}qp+a$，故 x 模 pq 等于 a。

5.设 p 和 q 是不同的两个素数，请证明 $p^{q-1}+q^{p-1}\equiv 1(modpq)$ 。

我们不妨令 $x=p^{q-1}+q^{p-1}$，那么由费尔马小定理和 CRT，我们可以从这样的角度看问题：

$\{\begin{array}{c}x\equiv 1(modp)\\ x\equiv 1(modq)\end{array}$

从题目 4 我们可以轻松地得出结果 1。