2023 AIME I 第 15 题

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

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

15.

求最大的素数 p<1000p \lt 1000,使得存在一个复数 zz 满足

zz 的实部和虚部都是整数;

z=p|z| = \sqrt{p},并且

• 存在一个三角形,它的三条边长分别为 ppz3z^3 的实部、以及 z3z^3 的虚部。

Find the largest prime number p<1000p \lt 1000 for which there exists a complex number zz satisfying

• the real and imaginary part of zz are both integers;

z=p,|z| = \sqrt{p}, and

• there exists a triangle whose three side lengths are p,p, the real part of z3,z^3, and the imaginary part of z3.z^3.

答案:349
知识点:复数质数三角不等式因式分解
难度评级:3370
解答:

z=a+biz = a + bi,其中 a2+b2=pa^2 + b^2 = p。因此 p=2p = 2p1(mod4)p \equiv 1 \pmod 4,而数对 {a,b}\{|a|, |b|\} 随之唯一确定。把 zz 替换为 ±z\pm z±zˉ\pm\bar{z}±iz\pm iz±izˉ\pm i\bar{z},只会改变 z3z^3 实部与虚部的符号或交换两者,所以可设 a>b>0a \gt b \gt 0。两个候选边长是 Rez3|\operatorname{Re} z^3|Imz3|\operatorname{Im} z^3|。展开 z3=(a33ab2)+(3a2bb3)iz^3 = (a^3 - 3ab^2) + (3a^2b - b^3)i 并因式分解,得 Rez3+Imz3=(ab)(p+4ab),Rez3Imz3=(a+b)(p4ab). \begin{aligned} &\operatorname{Re} z^3 + \operatorname{Im} z^3 \\ &\quad = (a - b)(p + 4ab), \qquad \\ &\operatorname{Re} z^3 - \operatorname{Im} z^3 \\ &\quad = (a + b)(p - 4ab). \end{aligned} 当且仅当 ReIm<p\bigl||\operatorname{Re}| - |\operatorname{Im}|\bigr| \lt p <Re+Im\lt |\operatorname{Re}| + |\operatorname{Im}| 时,这三个长度能构成三角形;后两个量与上面两个表达式的绝对值一一对应。因为 a>ba \gt b 导致 (ab)(p+4ab)>p(a - b)(p + 4ab) \gt p,所以全部条件等价于 (a+b)p4ab<p(a + b)\,|p - 4ab| \lt p

因为 a+b>a2+b2=pa+b\gt\sqrt{a^2+b^2}=\sqrt p,所以必须有 Δ=p4ab<p\Delta=|p-4ab|\lt\sqrt p。由 p=a2+b2<1000p=a^2+b^2\lt10001b<a311\le b\lt a\le31。对每个 b21b\le21,把 p=a2+b2p=a^2+b^2 代入 (a2+b24ab)2<a2+b2 (a^2+b^2-4ab)^2\lt a^2+b^2 并检查整数 b<a31b\lt a\le31,只剩下 (a,b,p,Δ)=(4,1,17,1),(7,2,53,3),(15,4,241,1),(18,5,349,11). \begin{aligned} (a,b,p,\Delta)&=(4,1,17,1), \\ &\quad (7,2,53,3), \\ &\quad (15,4,241,1), \\ &\quad (18,5,349,11). \end{aligned} (这也是对每种可能的素数表示所做的直接有限筛选,而不是在未列出的素数集上搜索。)对应的 (a+b)Δ(a+b)\Delta 依次是 5,27,19,2535,27,19,253,都小于 pp;其他数对连这个较弱的必要不等式都不满足。因此最大的可能素数是 349349

确实,取 z=18+5iz = 18 + 5i,得 z3=4482+4735iz^3 = 4482 + 4735i,而 3493494482448247354735 能构成一个三角形。答案是 349349

Write z=a+biz = a + bi with a2+b2=p,a^2 + b^2 = p, so p=2p = 2 or p1(mod4),p \equiv 1 \pmod 4, and the pair {a,b}\{|a|, |b|\} is then unique. Replacing zz by ±z,\pm z, ±zˉ,\pm\bar{z}, ±iz,\pm iz, ±izˉ\pm i\bar{z} only changes the real and imaginary parts of z3z^3 by signs and swaps, so we may take a>b>0,a \gt b \gt 0, and the two candidate side lengths are Rez3|\operatorname{Re} z^3| and Imz3.|\operatorname{Im} z^3|. Expanding z3=(a33ab2)+(3a2bb3)iz^3 = (a^3 - 3ab^2) + (3a^2b - b^3)i and factoring, Rez3+Imz3=(ab)(p+4ab),Rez3Imz3=(a+b)(p4ab). \begin{aligned} &\operatorname{Re} z^3 + \operatorname{Im} z^3 \\ &\quad = (a - b)(p + 4ab), \qquad \\ &\operatorname{Re} z^3 - \operatorname{Im} z^3 \\ &\quad = (a + b)(p - 4ab). \end{aligned} The triangle exists exactly when ReIm<p\bigl||\operatorname{Re}| - |\operatorname{Im}|\bigr| \lt p <Re+Im,\lt |\operatorname{Re}| + |\operatorname{Im}|, and those two quantities are, in some order, the absolute values above. Since a>ba \gt b forces (ab)(p+4ab)>p,(a - b)(p + 4ab) \gt p, the whole condition reduces to (a+b)p4ab<p.(a + b)\,|p - 4ab| \lt p.

Because a+b>a2+b2=p,a+b\gt\sqrt{a^2+b^2}=\sqrt p, this requires Δ=p4ab<p.\Delta=|p-4ab|\lt\sqrt p. The bound p=a2+b2<1000p=a^2+b^2\lt1000 gives 1b<a31.1\le b\lt a\le31. For each b21,b\le21, substituting p=a2+b2p=a^2+b^2 into (a2+b24ab)2<a2+b2 (a^2+b^2-4ab)^2\lt a^2+b^2 and checking the integers b<a31b\lt a\le31 leaves only (a,b,p,Δ)=(4,1,17,1),(7,2,53,3),(15,4,241,1),(18,5,349,11). \begin{aligned} (a,b,p,\Delta)&=(4,1,17,1), \\ &\quad (7,2,53,3), \\ &\quad (15,4,241,1), \\ &\quad (18,5,349,11). \end{aligned} (This is also a direct finite sieve for every possible prime representation, rather than a search over an unlisted set of primes.) The corresponding values of (a+b)Δ(a+b)\Delta are 5,27,19,253,5,27,19,253, respectively, all below p;p; no other pair even passes the necessary weaker inequality. Thus the largest possible prime is 349.349.

Indeed for z=18+5iz = 18 + 5i we get z3=4482+4735i,z^3 = 4482 + 4735i, and the lengths 349,349, 4482,4482, 47354735 form a valid triangle. The answer is 349.349.

← 第 14 题#14
完整试卷

其他年份的第 15 题