CINTA作业八：CRT

1.手动计算 2000²⁰¹⁹ (mod 221)，不允许使用电脑或者其他电子设备

​ 因为221 = 13 * 17，由CRT得代数版本得，Z₂₂₁ ≅ Z₁₃ x Z₁₇，

​ 则有2000 ↔ (11,11)，则2000²⁰¹⁹ ↔ (11,11)²⁰¹⁹，

​ 所以(11,11)²⁰¹⁹ = ([11²⁰¹⁹ mod 13]，[2000²⁰¹⁹ mod 17])，

​ 由费马小定理有，

​ 11²⁰¹⁹ ≡ 11^166*12+3 ≡ 11³(mod 13) = 5，

​ 11²⁰¹⁹ ≡ 11^126*16+3 ≡ 2000³(mod 17) = 5,

​ 又因为(5,5) ↔ 5，

​ 综上可得2000²⁰¹⁹ (mod 221) = 5。

2.运用 CRT 求解：

​ x ≡ 8 (mod 11)

​ x ≡ 3 (mod 19)

​

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

​ 使用egcd算法求解p^-1和q^-1，它们分别使得pp⁻¹ ≡ 1 (mod q) 和 qq⁻¹ ≡ 1(mod p)。

​ 计算得p^-1 = 7, 因为-4 ≡ 7 (mod 11)，

​ 所以q^-1 = 7，

​ 所以y = aqq^-1 + bpp^-1 (mod n) = 8 * 19 * 7 + 3 * 11 * 7 (mod 209)

​ = 41。

3.运用 CRT 求解：

​ x ≡ 1 (mod 5)

​ x ≡ 2 (mod 7)

​ x ≡ 3 (mod 9)

​ x ≡ 4 (mod 11)

​ 由中国剩余定理推广有M = 5 * 7 * 9 * 11 = 3465，

​ 令b_i = M/m_i，则存在b_i^-1 使得b_ib_i^-1 ≡ 1(mod m_i)，

​ 所以b₁ = 693，b₂ = 495，b₃ = 385，b₄ = 315，

​ 由egcd可得b₁^-1 = 2，b₂^-1 = 3，b₃^-1 = 4，b₄^-1 = 8，

​ 所以x = 1 * 693 * 2 + 2 * 495 * 3 + 3 * 385 * 4 + 4 * 315 * 8

​ (mod 3465) = 1731。

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

​ x ≡ a (mod m)

​ x ≡ a (mod n)

x 模 mn 等于什么？为什么？提示：这是一道看上去与中国剩余定理相关的问题。

​ 由题可得m|(x-a)，n|(x-a)，

​ 所以有m = p(x-a)，n = q(x-a)，p,q均为整数

​ 可得mn = pq(x-a)，所以mn|(x-a)，

​ 所以x模mn等于a。

5.设 p 和 q 是不同的两个素数，请证明 p^q−1 + q^p−1 ≡ 1 (mod pq)

​ 由费马小定理得p^q-1 ≡ 1 (mod q)，q^p-1 ≡ 1 (mod p)，

​ 由因为p^q-1 ≡ 1 (mod p)，q^p-1 ≡ 1 (mod q)，

​ 由模加法得p^q-1 + q^p-1 ≡ 1 (mod q)，p^q-1 + q^p-1 ≡ 1 (mod q)，

​ 由第四题结论可得p^q−1 + q^p−1 ≡ 1 (mod pq)。