2024 AIME I Problems

Scroll down and press Start to try the exam! Or, go to the printable PDF, answer key, or professional solutions curated by LIVE by Po-Shen Loh.

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

Or jump straight to a single problem with its solution: 1 · 2 · 3 · 4 · 5 · 6 · 7 · 8 · 9 · 10 · 11 · 12 · 13 · 14 · 15

Want to learn professionally through interactive video classes?

Learn LIVE

Timed

3:00:00

1.

Every morning Aya goes for a 99-kilometer-long walk and stops at a coffee shop afterwards. When she walks at a constant speed of ss kilometers per hour, the walk takes her 44 hours, including tt minutes spent in the coffee shop. When she walks s+2s + 2 kilometers per hour, the walk takes her 22 hours and 2424 minutes, including tt minutes spent in the coffee shop. Suppose Aya walks at s+12s + \frac{1}{2} kilometers per hour. Find the number of minutes the walk takes her, including the tt minutes spent in the coffee shop.

Answer: 204
Concepts:distance rate and timequadratic
Difficulty rating: 1890
Small Hint:

Convert both trips into equations: 9s+t60=4\frac{9}{s} + \frac{t}{60} = 4 and 9s+2+t60=125\frac{9}{s+2} + \frac{t}{60} = \frac{12}{5}

Big Hint:

Subtracting the two equations eliminates tt and gives s(s+2)=454s(s+2) = \frac{45}{4}

Solution:

Measuring time in hours, the two scenarios say 9s+t60=4 \frac{9}{s} + \frac{t}{60} = 4 and 9s+2+t60=125. \frac{9}{s+2} + \frac{t}{60} = \frac{12}{5}. Subtracting, 9s9s+2=85,\frac{9}{s} - \frac{9}{s+2} = \frac{8}{5}, so 18s(s+2)=85,\frac{18}{s(s+2)} = \frac{8}{5}, giving s(s+2)=454.s(s+2) = \frac{45}{4}. The positive root of s2+2s454=0s^2 + 2s - \frac{45}{4} = 0 is s=52.s = \frac{5}{2}.

Then t60=4952=25,\frac{t}{60} = 4 - \frac{9}{\frac{5}{2}} = \frac{2}{5}, so t=24t = 24 minutes. Walking at s+12=3s + \frac{1}{2} = 3 kilometers per hour takes 93=3\frac{9}{3} = 3 hours, so the total is 180+24=204180 + 24 = 204 minutes.

2.

There exist real numbers xx and y,y, both greater than 1,1, such that logx(yx)=logy(x4y)=10.\log_x\left(y^x\right) = \log_y\left(x^{4y}\right) = 10. Find xy.xy.

Answer: 25
Difficulty rating: 2070
Small Hint:

Bring the exponents down: xlogxy=10x \log_x y = 10 and 4ylogyx=104y \log_y x = 10

Big Hint:

Multiply the two equations: since logxylogyx=1,\log_x y \cdot \log_y x = 1, the logarithms disappear

Solution:

Pulling the exponents out of the logarithms, the conditions become xlogxy=10 x \log_x y = 10 and 4ylogyx=10. 4y \log_y x = 10. Multiplying these equations and using logxylogyx=1\log_x y \cdot \log_y x = 1 gives 4xy=100,4xy = 100, so xy=25.xy = 25.

Such xx and yy do exist. Set y=25x.y = \frac{25}{x}. The continuous function xlogx(25x)x\log_x(\frac{25}{x}) tends to infinity as x1+,x \to 1^+, while at x=2x = 2 it is less than 10.10. Hence it equals 1010 for some 1<x<2,1 \lt x \lt 2, where y>1.y \gt 1.

3.

Alice and Bob play the following game. A stack of nn tokens lies before them. The players take turns with Alice going first. On each turn, the player removes 11 token or 44 tokens from the stack. The player who removes the last token wins. Find the number of positive integers nn less than or equal to 20242024 such that there is a strategy that guarantees that Bob wins, regardless of Alice’s moves.

Answer: 809
Difficulty rating: 2110
Small Hint:

Work out which small nn are losses for the player about to move: nn is a loss exactly when both n1n - 1 and n4n - 4 are wins

Big Hint:

The losing positions repeat with period 5:5: they are n0n \equiv 0 or 2(mod5).2 \pmod 5. Bob wins exactly for those n.n.

Solution:

Call nn a losing position if the player about to move loses with best play. We claim the losing positions are exactly n0n \equiv 0 or 2(mod5).2 \pmod 5. From such an n,n, removing 11 or 44 tokens leaves n4,1,3(mod5)n \equiv 4, 1, 3 \pmod 5 — never again 00 or 22 — while from any n1,3,4(mod5)n \equiv 1, 3, 4 \pmod 5 one move reaches a position 0\equiv 0 or 2(mod5)2 \pmod 5 (remove 1,1, 1,1, 44 tokens respectively). Since n=0n = 0 is a loss for the player to move, induction confirms the pattern.

Bob wins exactly when nn is a losing position for Alice. Among 1n20241 \le n \le 2024 there are 404404 multiples of 55 and 405405 values n2(mod5)n \equiv 2 \pmod 5 (from 22 to 20222022), for a total of 404+405=809.404 + 405 = 809.

4.

Jen enters a lottery by selecting 44 distinct elements of S={1,2,3,,9,10}.S = \{1, 2, 3, \ldots, 9, 10\}. Then four elements of SS are drawn at random. Jen wins a prize if at least two of her numbers were drawn, and wins the grand prize if all four of her numbers were drawn. The probability that Jen wins the grand prize given that Jen wins a prize is mn\frac{m}{n} where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 116
Difficulty rating: 2230
Small Hint:

Winning the grand prize forces winning a prize, so the conditional probability is P(grand)P(prize)\frac{P(\text{grand})}{P(\text{prize})}

Big Hint:

Count draws that share exactly 2,2, 3,3, or 44 numbers with Jen’s ticket — every draw of 44 numbers is equally likely

Solution:

All (104)=210\binom{10}{4} = 210 draws are equally likely. The number of draws sharing exactly kk numbers with Jen’s ticket is (4k)(64k),\binom{4}{k}\binom{6}{4-k}, so the number winning a prize is (42)(62)+(43)(61)+(44)(60)=90+24+1=115, \begin{aligned} &\binom{4}{2}\binom{6}{2} + \binom{4}{3}\binom{6}{1} \\ &\quad {}+ \binom{4}{4}\binom{6}{0} \\ &= 90 + 24 + 1 = 115, \end{aligned} and exactly 11 of these wins the grand prize.

Since the grand prize implies a prize, the conditional probability is 1210115210=1115,\frac{\frac{1}{210}}{\frac{115}{210}} = \frac{1}{115}, so m+n=1+115=116.m + n = 1 + 115 = 116.

5.

Rectangle ABCDABCD has dimensions AB=107AB = 107 and BC=16,BC = 16, and rectangle EFGHEFGH has dimensions EF=184EF = 184 and FG=17.FG = 17. Points D,D, E,E, C,C, and FF lie on line DFDF in that order, and AA and HH lie on opposite sides of line DF,DF, as shown. Points A,A, D,D, H,H, and GG lie on a common circle. Find CE.CE.

Answer: 104
Difficulty rating: 2390
Small Hint:

Put line DFDF on the xx-axis with DD at the origin, and write the coordinates of A,A, D,D, H,H, and GG in terms of DEDE

Big Hint:

The circle’s center lies on y=8y = -8 (bisector of AD\overline{AD}) and on the vertical bisector of HG;\overline{HG}; equate its distances to DD and HH

Solution:

Put line DFDF on the xx-axis with D=(0,0)D = (0, 0) and C=(107,0),C = (107, 0), so A=(0,16).A = (0, -16). Let DE=e.DE = e. Then E=(e,0),E = (e, 0), F=(e+184,0),F = (e + 184, 0), and the second rectangle sits above the line: H=(e,17)H = (e, 17) and G=(e+184,17).G = (e + 184, 17).

The center of the circle through A,A, D,D, H,H, GG lies on the perpendicular bisector of the vertical segment AD,\overline{AD}, the line y=8,y = -8, and on the perpendicular bisector of the horizontal segment HG,\overline{HG}, the line x=e+92.x = e + 92. Equating the center’s squared distances to DD and to H,H, (e+92)2+82=922+252=9089, \begin{aligned} &(e + 92)^2 + 8^2 \\ &= 92^2 + 25^2 = 9089, \end{aligned} so (e+92)2=9025(e + 92)^2 = 9025 and e+92=95,e + 92 = 95, giving e=3.e = 3.

Therefore CE=DCDECE = DC - DE =1073=104.= 107 - 3 = 104.

6.

Consider the paths of length 1616 that follow the lines from the lower left corner to the upper right corner on an 8×88 \times 8 grid. Find the number of such paths that change direction exactly four times, as in the examples shown below.

Answer: 294
Difficulty rating: 2340
Small Hint:

A path with exactly four turns consists of five straight runs that alternate between rightward and upward

Big Hint:

If the path starts rightward, the three rightward runs and two upward runs are positive integers summing to 88 each — count the compositions, then double

Solution:

A path that changes direction exactly four times consists of five maximal straight runs, alternating between rightward and upward moves. If the first run is rightward, the pattern is R,U,R,U,R:R, U, R, U, R: three rightward runs with positive lengths summing to 8,8, and two upward runs with positive lengths summing to 8.8. The counts of such compositions are (72)=21\binom{7}{2} = 21 and (71)=7,\binom{7}{1} = 7, giving 217=14721 \cdot 7 = 147 paths.

Paths starting upward are counted symmetrically, another 147.147. The total is 147+147=294.147 + 147 = 294.

7.

Find the largest possible real part of (75+117i)z+96+144iz(75 + 117\mathrm{i})z + \frac{96 + 144\mathrm{i}}{z} where zz is a complex number with z=4.|z| = 4. Here i=1.\mathrm{i} = \sqrt{-1}.

Answer: 540
Difficulty rating: 2410
Small Hint:

Write z=4(cosθ+isinθ)z = 4(\cos\theta + \mathrm{i}\sin\theta) and take the real part of each term

Big Hint:

You get an expression of the form acosθ+bsinθ,a\cos\theta + b\sin\theta, whose maximum is a2+b2\sqrt{a^2 + b^2}

Solution:

Write z=4(cosθ+isinθ),z = 4(\cos\theta + \mathrm{i}\sin\theta), so 1z=14(cosθisinθ).\frac{1}{z} = \frac{1}{4}(\cos\theta - \mathrm{i}\sin\theta). The real part of (75+117i)z(75 + 117\mathrm{i})z is 4(75cosθ117sinθ)4(75\cos\theta - 117\sin\theta) =300cosθ468sinθ,= 300\cos\theta - 468\sin\theta, and the real part of (96+144i)14(cosθisinθ)(96 + 144\mathrm{i}) \cdot \frac{1}{4}(\cos\theta - \mathrm{i}\sin\theta) is 24cosθ+36sinθ.24\cos\theta + 36\sin\theta.

The total real part is 324cosθ432sinθ,324\cos\theta - 432\sin\theta, whose maximum over θ\theta is 3242+4322=10832+42=1085=540. \begin{aligned} &\sqrt{324^2 + 432^2} \\ &= 108\sqrt{3^2 + 4^2} \\ &= 108 \cdot 5 = 540. \end{aligned}

8.

Eight circles of radius 3434 can be placed tangent to BC\overline{BC} of ABC\triangle ABC so that the circles are sequentially tangent to each other, with the first circle being tangent to AB\overline{AB} and the last circle being tangent to AC,\overline{AC}, as shown. Similarly, 20242024 circles of radius 11 can be placed tangent to BC\overline{BC} in the same manner. The inradius of ABC\triangle ABC can be expressed as mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 197
Difficulty rating: 2560
Small Hint:

The centers sit at height ρ\rho above BC,BC, spaced 2ρ2\rho apart, and the end centers lie at distances ρcotB2\rho\cot\frac{B}{2} and ρcotC2\rho\cot\frac{C}{2} from BB and CC

Big Hint:

Both chains measure the same BC,BC, which determines cotB2+cotC2;\cot\frac{B}{2} + \cot\frac{C}{2}; the incircle satisfies BC=r(cotB2+cotC2)BC = r\left(\cot\frac{B}{2} + \cot\frac{C}{2}\right)

Solution:

For a chain of nn circles of radius ρ\rho tangent to BC,\overline{BC}, the centers lie at height ρ\rho with consecutive centers 2ρ2\rho apart. The first circle is tangent to AB\overline{AB} and BC,\overline{BC}, so its center lies on the bisector from B,B, at horizontal distance ρcotB2\rho\cot\frac{B}{2} from B;B; similarly the last center is ρcotC2\rho\cot\frac{C}{2} from C.C. Hence with k=cotB2+cotC2,k = \cot\frac{B}{2} + \cot\frac{C}{2}, BC=ρk+2ρ(n1).BC = \rho k + 2\rho(n - 1).

The two chains give 34k+3414=BC34k + 34 \cdot 14 = BC =k+22023,= k + 2 \cdot 2023, so 33k=357033k = 3570 and k=119011,k = \frac{1190}{11}, whence BC=k+4046=4569611.BC = k + 4046 = \frac{45696}{11}.

The incircle is a chain of one circle of radius r:r: BC=rk.BC = rk. Therefore r=BCk=456961190=1925,r = \frac{BC}{k} = \frac{45696}{1190} = \frac{192}{5}, and m+n=192+5=197.m + n = 192 + 5 = 197.

9.

Let A,A, B,B, C,C, and DD be points on the hyperbola x220y224=1\frac{x^2}{20} - \frac{y^2}{24} = 1 such that ABCDABCD is a rhombus whose diagonals intersect at the origin. Find the largest number less than BD2BD^2 for all rhombuses ABCD.ABCD.

Answer: 480
Difficulty rating: 2710
Small Hint:

The diagonals are perpendicular lines through the origin; if B=(x,y)B = (x, y) with y=mx,y = mx, then BD2=4(x2+y2)BD^2 = 4(x^2 + y^2)

Big Hint:

The perpendicular diagonal must also meet the hyperbola, so both slopes squared lie strictly between 56\frac{5}{6} and 65;\frac{6}{5}; study BD2BD^2 as the slope varies

Solution:

The diagonals of a rhombus are perpendicular bisectors of each other, so C=A,C = -A, D=B,D = -B, and OAOB.OA \perp OB. Let line BDBD have slope m,m, so B=(x,mx)B = (x, mx) with x2(120m224)=1, x^2\left(\frac{1}{20} - \frac{m^2}{24}\right) = 1, i.e. x2=12065m2, x^2 = \frac{120}{6 - 5m^2}, which requires m2<65.m^2 \lt \frac{6}{5}. Then BD2=4(x2+m2x2)BD^2 = 4(x^2 + m^2x^2) =480(1+m2)65m2.= \frac{480(1 + m^2)}{6 - 5m^2}. Line ACAC has slope 1m,-\frac{1}{m}, so it meets the hyperbola only when 1m2<65,\frac{1}{m^2} \lt \frac{6}{5}, that is m2>56.m^2 \gt \frac{5}{6}.

On the interval 56<m2<65,\frac{5}{6} \lt m^2 \lt \frac{6}{5}, the quantity 480(1+m2)65m2\frac{480(1 + m^2)}{6 - 5m^2} is strictly increasing in m2:m^2: as m256m^2 \to \frac{5}{6} it tends to 480116116=480,480 \cdot \frac{\frac{11}{6}}{\frac{11}{6}} = 480, and as m265m^2 \to \frac{6}{5} it grows without bound. Hence BD2BD^2 takes exactly the values in (480,)(480, \infty) and never equals 480.480.

The largest number that is less than BD2BD^2 for every such rhombus is therefore 480.480.

10.

Let ABC\triangle ABC have side lengths AB=5,AB = 5, BC=9,BC = 9, and CA=10.CA = 10. The tangents to the circumcircle of ABC\triangle ABC at BB and CC intersect at point D,D, and AD\overline{AD} intersects the circumcircle at PA.P \ne A. The length of APAP is equal to mn,\frac{m}{n}, where mm and nn are relatively prime integers. Find m+n.m + n.

Answer: 113
Difficulty rating: 2920
Small Hint:

By the tangent-chord angle, DBC=DCB=A,\angle DBC = \angle DCB = \angle A, so DB=BC2cosADB = \frac{\frac{BC}{2}}{\cos A}

Big Hint:

Power of the point gives DPDA=DB2,DP \cdot DA = DB^2, so AP=DADB2DA;AP = DA - \frac{DB^2}{DA}; compute DADA from the law of cosines in triangle ABDABD

Solution:

By the tangent-chord angle, DBC=DCB=A,\angle DBC = \angle DCB = \angle A, so triangle DBCDBC is isosceles with DB=BC2cosA.DB = \frac{\frac{BC}{2}}{\cos A}. The law of cosines gives cosA=102+52922105=1125\cos A = \frac{10^2 + 5^2 - 9^2}{2 \cdot 10 \cdot 5} = \frac{11}{25} and cosB=92+52102295=115,\cos B = \frac{9^2 + 5^2 - 10^2}{2 \cdot 9 \cdot 5} = \frac{1}{15}, so DB=921125=22522.DB = \frac{\frac{9}{2}}{\frac{11}{25}} = \frac{225}{22}.

Since DD lies on the opposite side of BCBC from A,A, ABD=A+B,\angle ABD = A + B, and cos(A+B)=11251156142541415=11336375=1315. \begin{aligned} &\cos(A + B) \\ &= \frac{11}{25} \cdot \frac{1}{15} \\ &\quad {}- \frac{6\sqrt{14}}{25} \cdot \frac{4\sqrt{14}}{15} \\ &= \frac{11 - 336}{375} \\ &= -\frac{13}{15}. \end{aligned} The law of cosines in triangle ABDABD then gives DA2=52+(22522)2+25225221315=105625484, \begin{aligned} &DA^2 = 5^2 + \left(\tfrac{225}{22}\right)^2 \\ &\quad {}+ 2 \cdot 5 \cdot \tfrac{225}{22} \cdot \tfrac{13}{15} \\ &= \frac{105625}{484}, \end{aligned} DA=32522. DA = \frac{325}{22}.

The power of DD gives DPDA=DB2,DP \cdot DA = DB^2, so AP=DADB2DA=DA2DB2DA=1056255062548432522=5500022325=10013, \begin{aligned} &AP = DA - \frac{DB^2}{DA} \\ &= \frac{DA^2 - DB^2}{DA} \\ &= \frac{\frac{105625 - 50625}{484}}{\frac{325}{22}} \\ &= \frac{55000}{22 \cdot 325} \\ &= \frac{100}{13}, \end{aligned} and m+n=100+13=113.m + n = 100 + 13 = 113.

11.

Each vertex of a regular octagon is independently colored either red or blue with equal probability. The probability that the octagon can then be rotated so that all of the blue vertices end up at positions where there had been red vertices is mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 371
Difficulty rating: 2990
Small Hint:

With bb blue vertices, the overlaps B(B+k)|B \cap (B + k)| summed over the seven nonzero rotations equal b2b,b^2 - b, so every coloring with b3b \le 3 works

Big Hint:

For b=4b = 4 a rotation must carry the blue set exactly onto its complement; count those sets separately for kk odd, k2(mod4),k \equiv 2 \pmod 4, and k=4k = 4

Solution:

Label the vertices 0,,70, \ldots, 7 and let BB be the blue set, b=B.b = |B|. Rotation by kk works exactly when (B+k)B=.(B + k) \cap B = \varnothing. Since B+kB + k must fit inside the 8b8 - b red positions, b4.b \le 4. Summing B(B+k)|B \cap (B + k)| over all eight rotations counts all pairs (i,j)B×B(i, j) \in B \times B once (via k=ijk = i - j), a total of b2,b^2, and the k=0k = 0 term contributes b.b. So for b3b \le 3 the seven nonzero rotations share only b2b6b^2 - b \le 6 overlaps, and some rotation has none: all 1+8+28+56=931 + 8 + 28 + 56 = 93 colorings with b3b \le 3 succeed.

For b=4,b = 4, disjointness forces B+kB + k to be exactly the complement of B.B. If kk is odd, the cycle 0,k,2k,0, k, 2k, \ldots visits all vertices and must alternate between BB and its complement, so BB is the evens or the odds: 22 sets. If k2(mod4),k \equiv 2 \pmod 4, then BB meets each of the 44-cycles {0,2,4,6}\{0, 2, 4, 6\} and {1,3,5,7}\{1, 3, 5, 7\} in an antipodal pair: 22=42 \cdot 2 = 4 sets, such as {0,1,4,5}.\{0, 1, 4, 5\}. If k=4,k = 4, then BB contains exactly one of each pair {i,i+4}:\{i, i + 4\}: 24=162^4 = 16 sets. The first two families contain both members of some antipodal pair while the third never does, and the evens/odds take both their antipodal pairs from one 44-cycle, so the three families are disjoint: 2+4+16=222 + 4 + 16 = 22 sets.

In total 93+22=11593 + 22 = 115 of the 28=2562^8 = 256 colorings work, so the probability is 115256\frac{115}{256} and m+n=115+256=371.m + n = 115 + 256 = 371.

12.

Define f(x)=x12f(x) = \left||x| - \tfrac{1}{2}\right| and g(x)=x14.g(x) = \left||x| - \tfrac{1}{4}\right|. Find the number of intersections of the graphs of y=4g(f(sin(2πx))) y = 4g(f(\sin(2\pi x))) and x=4g(f(cos(3πy))). x = 4g(f(\cos(3\pi y))).

Answer: 385
Difficulty rating: 3160
Small Hint:

As u=sin2πxu = |\sin 2\pi x| runs from 00 to 1,1, the value 4u12144||u - \frac{1}{2}| - \frac{1}{4}| zigzags between 11 and 00 four times; count the monotone arcs of each graph

Big Hint:

Each bottom-to-top arc of one graph crosses each left-to-right arc of the other exactly once — then examine the corner (1,1),(1, 1), which both graphs pass through

Solution:

Both right-hand sides take values in [0,1],[0, 1], so every intersection lies in the unit square, and there we may write both curves using φ(u)=4u1214:\varphi(u) = 4\left||u - \tfrac{1}{2}| - \tfrac{1}{4}\right|: the first is y=φ(sin2πx)y = \varphi(|\sin 2\pi x|) and the second is x=φ(cos3πy).x = \varphi(|\cos 3\pi y|). As uu increases from 00 to 1,1, φ(u)\varphi(u) runs linearly 101011 \to 0 \to 1 \to 0 \to 1 with corners at u=14,12,34.u = \frac{1}{4}, \frac{1}{2}, \frac{3}{4}. For x[0,1],x \in [0, 1], sin2πx|\sin 2\pi x| sweeps [0,1][0, 1] monotonically 44 times, so the first graph consists of 44=164 \cdot 4 = 16 monotone arcs, each climbing or descending through the full range 0y10 \le y \le 1 within a narrow vertical strip. Likewise cos3πy|\cos 3\pi y| sweeps [0,1][0, 1] monotonically 66 times for y[0,1],y \in [0, 1], so the second graph consists of 2424 monotone arcs, each crossing the full range 0x10 \le x \le 1 within a narrow horizontal strip.

Take one arc of each graph, living in the vertical strip [a,b][a, b] and the horizontal strip [c,d].[c, d]. Inside the rectangle [a,b]×[c,d],[a, b] \times [c, d], the first arc joins the bottom edge to the top edge and the second joins the left edge to the right edge, and each is monotone, so the two arcs cross exactly once. This yields 1624=38416 \cdot 24 = 384 intersection points.

One further point hides at the corner (1,1),(1, 1), which lies on both graphs: φ(sin2π)=φ(0)=1\varphi(|\sin 2\pi|) = \varphi(0) = 1 and φ(cos3π)=φ(1)=1.\varphi(|\cos 3\pi|) = \varphi(1) = 1. Near it the first graph is y18π(1x)y \approx 1 - 8\pi(1 - x) while the second satisfies x118π2(1y)2,x \approx 1 - 18\pi^2(1 - y)^2, so the two final arcs meet at their shared endpoint (1,1)(1, 1) in addition to the transversal crossing already counted. The total is 384+1=385.384 + 1 = 385.

13.

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.

Answer: 110
Difficulty rating: 3160
Small Hint:

If n4+1n^4 + 1 is divisible by pp then nn has order 88 modulo p,p, so p1(mod8);p \equiv 1 \pmod 8; test the smallest such prime

Big Hint:

The fourth roots of 1-1 modulo 1717 are ±2\pm 2 and ±8;\pm 8; lift each to a solution modulo 289289 with a Hensel step and compare

Solution:

If n4+1n^4 + 1 is divisible by p,p, then n81n^8 \equiv 1 and n41(modp),n^4 \equiv -1 \pmod p, so nn has order 88 modulo pp and p1p - 1 is divisible by 88 (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.

14.

Let ABCDABCD be a tetrahedron such that AB=CD=41,AB = CD = \sqrt{41}, AC=BD=80,AC = BD = \sqrt{80}, and BC=AD=89.BC = AD = \sqrt{89}. There exists a point II inside the tetrahedron such that the distances from II to each of the faces of the tetrahedron are all equal. This distance can be written in the form mnp,\frac{m\sqrt{n}}{p}, where m,m, n,n, and pp are positive integers, mm and pp are relatively prime, and nn is not divisible by the square of any prime. Find m+n+p.m + n + p.

Answer: 104
Difficulty rating: 3270
Small Hint:

Equal opposite edges let you embed the tetrahedron in a rectangular box whose face diagonals are 41,\sqrt{41}, 80,\sqrt{80}, and 89\sqrt{89}

Big Hint:

The box is 4×5×8.4 \times 5 \times 8. The equidistant point is the insphere center, and r=3VSr = \frac{3V}{S} with all four faces congruent.

Solution:

A tetrahedron with equal opposite edges embeds in a rectangular box with the six edges as face diagonals. If the box has dimensions a×b×c,a \times b \times c, then a2+b2=41,a^2 + b^2 = 41, a2+c2=80,a^2 + c^2 = 80, and b2+c2=89.b^2 + c^2 = 89. Adding gives a2+b2+c2=105,a^2 + b^2 + c^2 = 105, so (a,b,c)=(4,5,8).(a, b, c) = (4, 5, 8). The box minus four corner tetrahedra of volume abc6\frac{abc}{6} each leaves V=abc4abc6=abc3=1603. \begin{aligned} &V = abc - 4 \cdot \frac{abc}{6} \\ &= \frac{abc}{3} = \frac{160}{3}. \end{aligned}

All four faces are congruent triangles with sides 41,\sqrt{41}, 80,\sqrt{80}, 89.\sqrt{89}. By Heron’s formula in the form 16F2=2(a2b2+b2c2+c2a2)16F^2 = 2(a^2b^2 + b^2c^2 + c^2a^2) (a4+b4+c4)- (a^4 + b^4 + c^4) applied to the squared sides 41,80,89,41, 80, 89, we get 16F2=2809816002=12096,16F^2 = 28098 - 16002 = 12096, so F=756=621.F = \sqrt{756} = 6\sqrt{21}.

The point equidistant from all four faces is the insphere center, and decomposing the tetrahedron into four pyramids over the faces gives V=13r4F.V = \frac{1}{3} r \cdot 4F. Hence r=3V4F=1602421=20321=202163, \begin{aligned} &r = \frac{3V}{4F} = \frac{160}{24\sqrt{21}} \\ &= \frac{20}{3\sqrt{21}} = \frac{20\sqrt{21}}{63}, \end{aligned} and m+n+p=20+21+63m + n + p = 20 + 21 + 63 =104.= 104.

15.

Let B\mathcal{B} be the set of rectangular boxes with surface area 5454 and volume 23.23. Let rr be the radius of the smallest sphere that can contain each of the rectangular boxes that are elements of B.\mathcal{B}. The value of r2r^2 can be written as pq,\frac{p}{q}, where pp and qq are relatively prime positive integers. Find p+q.p + q.

Answer: 721
Difficulty rating: 3370
Small Hint:

The constraints say ab+bc+ca=27ab + bc + ca = 27 and abc=23,abc = 23, and the sphere must contain the space diagonal, so maximize a2+b2+c2a^2 + b^2 + c^2

Big Hint:

a2+b2+c2=(a+b+c)254,a^2 + b^2 + c^2 = (a + b + c)^2 - 54, and the extreme of a+b+ca + b + c occurs when two dimensions are equal — solve the resulting cubic in that common value

Solution:

For a box with dimensions a,b,c,a, b, c, the conditions are 2(ab+bc+ca)=542(ab + bc + ca) = 54 and abc=23,abc = 23, so ab+bc+ca=27.ab + bc + ca = 27. The smallest sphere containing a box has the box’s space diagonal as a diameter, so r2=maxBa2+b2+c24=maxB(a+b+c)2544. \begin{aligned} &r^2 = \max_{\mathcal{B}} \frac{a^2 + b^2 + c^2}{4} \\ &= \max_{\mathcal{B}} \frac{(a + b + c)^2 - 54}{4}. \end{aligned}

With ab+bc+caab + bc + ca and abcabc fixed, s=a+b+cs = a + b + c ranges over an interval, and at an endpoint the cubic t3st2+27t23t^3 - st^2 + 27t - 23 has a double root, meaning two dimensions coincide. Setting b=c:b = c: 2ab+b2=272ab + b^2 = 27 and ab2=23,ab^2 = 23, so eliminating aa gives b(27b2)2=23,\frac{b(27 - b^2)}{2} = 23, i.e. b327b+46=0,b^3 - 27b + 46 = 0, which factors as (b2)(b2+2b23)=0.(b - 2)(b^2 + 2b - 23) = 0. The roots are b=2b = 2 and b=261.b = 2\sqrt{6} - 1.

For b=2,b = 2, a=234a = \frac{23}{4} and s=234+4=394=9.75;s = \frac{23}{4} + 4 = \frac{39}{4} = 9.75; for b=261,b = 2\sqrt{6} - 1, s9.31s \approx 9.31 is smaller. So the maximum of a2+b2+c2a^2 + b^2 + c^2 is (394)254=65716,\left(\frac{39}{4}\right)^2 - 54 = \frac{657}{16}, giving r2=65764r^2 = \frac{657}{64} and p+q=657+64=721.p + q = 657 + 64 = 721.