2024 AIME I 第 13 题

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

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

13.

pp 是最小的质数,使得存在整数 nn,令 n4+1n^4 + 1 能被 p2p^2 整除。求最小的正整数 mm,使得 m4+1m^4 + 1 能被 p2p^2 整除。

Let pp be the least prime number for which there exists an integer nn such that n4+1n^4 + 1 is divisible by p2.p^2. Find the least positive integer mm such that m4+1m^4 + 1 is divisible by p2.p^2.

答案:110
知识点:乘法阶模运算质数
难度评级:3160
解答:

pn4+1p \mid n^4 + 1,则 n81n^8 \equiv 1n41(modp)n^4 \equiv -1 \pmod p,所以 nn 在模 pp 下的阶为 88,从而 8p18 \mid p - 1(且 p=2p = 2 不行,因为 n4+12(mod4)n^4 + 1 \equiv 2 \pmod 4)。最小的满足 p1(mod8)p \equiv 1 \pmod 8 的质数是 1717,而且确实有 24=161(mod17)2^4 = 16 \equiv -1 \pmod{17}。由于导数 4n34n^3 在这样的 nn 处不被 1717 整除,每个根都能提升为模 172=28917^2 = 289 的根,所以 p=17p = 17

17171-1 的四次方根是 ±2\pm 2±8\pm 8。为了提升 n=8n = 8,设 n=8+17tn = 8 + 17t:模 289289 下, n4+184+1+48317t=17(241+2048t), \begin{aligned} &n^4 + 1 \equiv 8^4 + 1 \\ &\quad {}+ 4 \cdot 8^3 \cdot 17t \\ &= 17(241 + 2048t), \end{aligned} 所以需要 241+2048t3+8t241 + 2048t \equiv 3 + 8t 0(mod17)\equiv 0 \pmod{17},得到 t6t \equiv 6,从而 n8+102=110(mod289)n \equiv 8 + 102 = 110 \pmod{289}

同样计算可将 22151599 分别提升到 155155134134179179,所以最小正整数 mm110110。确实,1104+1=146410001110^4 + 1 = 146410001 =289506609= 289 \cdot 506609

If pn4+1,p \mid n^4 + 1, then n81n^8 \equiv 1 and n41(modp),n^4 \equiv -1 \pmod p, so nn has order 88 modulo pp and 8p18 \mid p - 1 (and p=2p = 2 fails since n4+12(mod4)n^4 + 1 \equiv 2 \pmod 4). The smallest prime p1(mod8)p \equiv 1 \pmod 8 is 17,17, and indeed 24=161(mod17).2^4 = 16 \equiv -1 \pmod{17}. Because the derivative 4n34n^3 is not divisible by 1717 at such an n,n, each root lifts to a root modulo 172=289,17^2 = 289, so p=17.p = 17.

The fourth roots of 1-1 modulo 1717 are ±2\pm 2 and ±8.\pm 8. To lift n=8,n = 8, set n=8+17t:n = 8 + 17t: modulo 289,289, n4+184+1+48317t=17(241+2048t), \begin{aligned} &n^4 + 1 \equiv 8^4 + 1 \\ &\quad {}+ 4 \cdot 8^3 \cdot 17t \\ &= 17(241 + 2048t), \end{aligned} so we need 241+2048t3+8t241 + 2048t \equiv 3 + 8t 0(mod17),\equiv 0 \pmod{17}, giving t6t \equiv 6 and n8+102=110(mod289).n \equiv 8 + 102 = 110 \pmod{289}.

The same computation lifts 2,2, 15,15, and 99 to 155,155, 134,134, and 179179 respectively, so the least positive mm is 110.110. Indeed 1104+1=146410001110^4 + 1 = 146410001 =289506609.= 289 \cdot 506609.

← 第 12 题#12
完整试卷

其他年份的第 13 题