2023 AIME I Problem 15

Attempt Problem 15 of the 2023 AIME I below, then check your answer against the professionally curated solution from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 2023 AIME I solutions, or check the answer key.

All problems are used with official legal permission of the Mathematical Association of America (MAA).

15.

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.

Answer: 349
Concepts:complex numberprimetriangle inequalityfactoring
Difficulty rating: 3370
Solution:

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.

← Problem 14#14
Full Exam

Problem 15 in Other Years