2019 AIME I 第 14 题

先试着解答 2019 AIME I 第 14 题,然后核对你的答案与精心整理的解答,解答来自 LIVE by Po-Shen Loh。你也可以参加完整限时模拟考试、查看全部 2019 AIME I 解答,或核对答案。

所有题目均经美国数学协会(MAA)官方合法授权使用。

14.

求 20198+12019^8 + 1 的最小奇质因数。

Find the least odd prime factor of 20198+1.2019^8 + 1.

答案:97
知识点:乘法阶模幂运算
难度评级:2990
小提示:

若 pp 整除 20198+12019^8 + 1,则 20198≡−1(modp)2019^8 \equiv -1 \pmod{p},所以 20192019 模 pp 的阶恰好为 1616

If pp divides 20198+1,2019^8 + 1, then 20198≡−1(modp),2019^8 \equiv -1 \pmod{p}, so the order of 20192019 modulo pp is exactly 1616

大提示:

阶整除 p−1p - 1,所以 p≡1(mod16)p \equiv 1 \pmod{16};用反复平方检验最小的这类质数中 2019 mod p2019 \bmod p 的情况

The order divides p−1,p - 1, so p≡1(mod16);p \equiv 1 \pmod{16}; test the smallest such primes by repeated squaring of 2019 mod p2019 \bmod p

解答:

设奇质数 pp 整除 20198+12019^8 + 1。则 20198≡−1(modp)2019^8 \equiv -1 \pmod{p},所以 201916≡12019^{16} \equiv 1,但 20198≢12019^8 \not\equiv 1:20192019 模 pp 的乘法阶恰好为 1616。由于阶整除 p−1p - 1,必须有 p≡1(mod16)p \equiv 1 \pmod{16}。最小的这类质数是 1717 与 9797。

模 1717 时,2019≡132019 \equiv 13,且 132=169≡−113^2 = 169 \equiv -1,所以 20198≡(−1)4=12019^8 \equiv (-1)^4 = 1,从而 20198+1≡2≠02019^8 + 1 \equiv 2 \neq 0。模 9797 时,2019≡−182019 \equiv -18,反复平方,20192≡324≡33,20194≡332=1089≡22,20198≡222=484≡−1(mod97)。 \begin{aligned} 2019^2 &\equiv 324 \equiv 33, \\ 2019^4 &\equiv 33^2 = 1089 \\ &\equiv 22, \\ 2019^8 &\equiv 22^2 = 484 \\ &\equiv -1 \pmod{97} \end{aligned}\text{。}

所以 9797 整除 20198+12019^8 + 1,并且它是最小奇质因数:9797。

Suppose an odd prime pp divides 20198+1.2019^8 + 1. Then 20198≡−1(modp),2019^8 \equiv -1 \pmod{p}, so 201916≡12019^{16} \equiv 1 while 20198≢1:2019^8 \not\equiv 1: the multiplicative order of 20192019 modulo pp is exactly 16.16. Since the order divides p−1,p - 1, we need p≡1(mod16),p \equiv 1 \pmod{16}, and the smallest such primes are 1717 and 97.97.

Modulo 17:17: 2019≡13,2019 \equiv 13, and 132=169≡−1,13^2 = 169 \equiv -1, so 20198≡(−1)4=12019^8 \equiv (-1)^4 = 1 and 20198+1≡2≠0.2019^8 + 1 \equiv 2 \neq 0. Modulo 97:97: 2019≡−18,2019 \equiv -18, and squaring repeatedly, 20192≡324≡33,20194≡332=1089≡22,20198≡222=484≡−1(mod97). \begin{aligned} 2019^2 &\equiv 324 \equiv 33, \\ 2019^4 &\equiv 33^2 = 1089 \\ &\equiv 22, \\ 2019^8 &\equiv 22^2 = 484 \\ &\equiv -1 \pmod{97}. \end{aligned}

So 9797 divides 20198+1,2019^8 + 1, and it is the least odd prime factor: 97.97.

第 13 题#13
完整试卷

其他年份的第 14 题