2021 AIME II Exam 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 of the real AMC 8, AMC 10, AMC 12, and AIME problems in our complete solution collection are used with official legal permission of the Mathematical Association of America (MAA).

Or jump straight to one 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

Time Left:

3:00:00

1.

Find the arithmetic mean of all the three-digit palindromes. (Recall that a palindrome is a number that reads the same forward and backward, such as 777777 or 383.383.)

Answer: 550
Concepts:palindromeplace valuemean

Difficulty rating: 1750

Solution:

A three-digit palindrome has the form aba=101a+10b\overline{aba} = 101a + 10b with a{1,,9}a \in \{1, \ldots, 9\} and b{0,,9},b \in \{0, \ldots, 9\}, and every such pair of digits occurs exactly once, so the two digits vary independently over the 9090 palindromes.

By linearity, the mean is 101101 times the average of aa plus 1010 times the average of b,b, namely 1015+1092=505+45=550.101 \cdot 5 + 10 \cdot \frac{9}{2} = 505 + 45 = 550.

2.

Equilateral triangle ABCABC has side length 840.840. Point DD lies on the same side of line BCBC as AA such that BDBC.\overline{BD} \perp \overline{BC}. The line \ell through DD parallel to line BCBC intersects sides AB\overline{AB} and AC\overline{AC} at points EE and F,F, respectively. Point GG lies on \ell such that FF is between EE and G,G, AFG\triangle AFG is isosceles, and the ratio of the area of AFG\triangle AFG to the area of BED\triangle BED is 8:9.8 : 9. Find AF.AF.

Answer: 336

Difficulty rating: 2460

Solution:

Since BC,\ell \parallel BC, triangle AEFAEF is equilateral; let s=AF=EF.s = AF = EF. The distance between \ell and BCBC is the height of ABCABC minus the height of AEF,AEF, so BD=32(840s);BD = \frac{\sqrt{3}}{2}(840 - s); write h=BD.h = BD.

In triangle BED,BED, the base BD\overline{BD} is perpendicular to BCBC and has length h,h, while EE lies at horizontal distance h3\frac{h}{\sqrt{3}} from line BDBD because EBC=60.\angle EBC = 60^\circ. Hence [BED]=h223.[BED] = \frac{h^2}{2\sqrt{3}}. Also AFG=180AFE=120,\angle AFG = 180^\circ - \angle AFE = 120^\circ, and an isosceles triangle with a 120120^\circ angle must have it as the apex angle, so FA=FG=sFA = FG = s and [AFG]=12s2sin120=34s2.[AFG] = \frac{1}{2}s^2 \sin 120^\circ = \frac{\sqrt{3}}{4}s^2.

The ratio condition gives [AFG][BED]=3s2/4h2/(23)=32s2h2=89,\frac{[AFG]}{[BED]} = \frac{\sqrt{3}s^2/4}{h^2/(2\sqrt{3})} = \frac{3}{2} \cdot \frac{s^2}{h^2} = \frac{8}{9}, so sh=433.\frac{s}{h} = \frac{4}{3\sqrt{3}}. Substituting h=32(840s)h = \frac{\sqrt{3}}{2}(840 - s) yields s=23(840s),s = \frac{2}{3}(840 - s), so 5s=16805s = 1680 and AF=336.AF = 336.

3.

Find the number of permutations x1,x2,x3,x4,x5x_1, x_2, x_3, x_4, x_5 of numbers 1,2,3,4,51, 2, 3, 4, 5 such that the sum of five products x1x2x3+x2x3x4+x3x4x5+x4x5x1+x5x1x2x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2 is divisible by 3.3.

Answer: 80

Difficulty rating: 2350

Solution:

Work modulo 3.3. The value 33 is the only multiple of 3,3, and each of the five products covers three cyclically consecutive positions, so if xi=3x_i = 3 exactly two products avoid position i:i: those covering positions i+1,i+2,i+3i+1, i+2, i+3 and i+2,i+3,i+4i+2, i+3, i+4 (indices mod 55). Their sum is xi+2xi+3(xi+1+xi+4),x_{i+2}x_{i+3}(x_{i+1} + x_{i+4}), and since xi+2xi+3x_{i+2}x_{i+3} is not divisible by 3,3, the condition is xi+1+xi+40(mod3).x_{i+1} + x_{i+4} \equiv 0 \pmod 3.

Among the remaining values, 11 and 44 are 1\equiv 1 while 22 and 55 are 2(mod3),\equiv 2 \pmod 3, so positions i+1i+1 and i+4i+4 must take one value from each class: 222=82 \cdot 2 \cdot 2 = 8 ordered choices. The other two values fill positions i+2i+2 and i+3i+3 in 22 ways. With 55 choices for the position of 3,3, the count is 582=80.5 \cdot 8 \cdot 2 = 80.

4.

There are real numbers a,b,c,a, b, c, and dd such that 20-20 is a root of x3+ax+bx^3 + ax + b and 21-21 is a root of x3+cx2+d.x^3 + cx^2 + d. These two polynomials share a complex root m+ni,m + \sqrt{n} \cdot i, where mm and nn are positive integers and i=1.i = \sqrt{-1}. Find m+n.m + n.

Answer: 330

Difficulty rating: 2100

Solution:

Both cubics have real coefficients, so their non-real roots come in conjugate pairs: the roots of the first are 20-20 and m±ni,m \pm \sqrt{n}\,i, and the roots of the second are 21-21 and m±ni.m \pm \sqrt{n}\,i.

The first cubic x3+ax+bx^3 + ax + b has no x2x^2 term, so its roots sum to 0:0: 20+2m=0,-20 + 2m = 0, giving m=10.m = 10. The second cubic x3+cx2+dx^3 + cx^2 + d has no xx term, so the sum of pairwise products of its roots is 0:0: (m+ni)(mni)+(21)(2m)=m2+n42m=0,(m + \sqrt{n}\,i)(m - \sqrt{n}\,i) + (-21)(2m) = m^2 + n - 42m = 0, so n=420100=320.n = 420 - 100 = 320. Then m+n=10+320=330.m + n = 10 + 320 = 330.

5.

For positive real numbers s,s, let τ(s)\tau(s) denote the set of all obtuse triangles that have area ss and two sides with lengths 44 and 10.10. The set of all ss for which τ(s)\tau(s) is nonempty, but all triangles in τ(s)\tau(s) are congruent, is an interval [a,b).[a, b). Find a2+b2.a^2 + b^2.

Answer: 736

Difficulty rating: 2720

Solution:

A triangle with sides 44 and 1010 is determined by the included angle θ,\theta, and its area is 12410sinθ=20sinθ.\frac{1}{2} \cdot 4 \cdot 10 \sin\theta = 20\sin\theta. When θ>90\theta \gt 90^\circ the triangle is obtuse, and this case produces exactly one triangle for each area s(0,20).s \in (0, 20).

When θ<90,\theta \lt 90^\circ, the third side satisfies c2=11680cosθ,c^2 = 116 - 80\cos\theta, and the triangle is obtuse only if the angle opposite the side of length 1010 is obtuse (if cc were the longest side, its opposite angle θ\theta would be acute, making the triangle acute). That requires 42+c2<102,4^2 + c^2 \lt 10^2, i.e. 11680cosθ<84,116 - 80\cos\theta \lt 84, i.e. cosθ>25.\cos\theta \gt \frac{2}{5}. Then sinθ<215,\sin\theta \lt \frac{\sqrt{21}}{5}, so this second family exists exactly for s<421.s \lt 4\sqrt{21}.

For s<421s \lt 4\sqrt{21} there are two non-congruent obtuse triangles (their third sides differ), while for 421s<204\sqrt{21} \le s \lt 20 only the obtuse-θ\theta triangle exists: at s=421s = 4\sqrt{21} the acute-θ\theta candidate degenerates to a right triangle. For s20s \ge 20 there are none. Hence [a,b)=[421,20)[a, b) = [4\sqrt{21}, 20) and a2+b2=336+400=736.a^2 + b^2 = 336 + 400 = 736.

6.

For any finite set S,S, let S|S| denote the number of elements in S.S. Find the number of ordered pairs (A,B)(A, B) such that AA and BB are (not necessarily distinct) subsets of {1,2,3,4,5}\{1, 2, 3, 4, 5\} that satisfy AB=ABAB.|A| \cdot |B| = |A \cap B| \cdot |A \cup B|.

Answer: 454

Difficulty rating: 2440

Solution:

Let a=A,a = |A|, b=B,b = |B|, and i=AB,i = |A \cap B|, so AB=a+bi.|A \cup B| = a + b - i. The condition ab=i(a+bi)ab = i(a + b - i) rearranges to abiaib+i2=(ai)(bi)=0,ab - ia - ib + i^2 = (a - i)(b - i) = 0, so AB=A|A \cap B| = |A| or AB=B.|A \cap B| = |B|. Since ABA \cap B is a subset of each, that means ABA \subseteq B or BA.B \subseteq A.

For pairs with AB,A \subseteq B, each of the 55 elements independently lies in neither set, in BB only, or in both: 35=2433^5 = 243 pairs. Likewise 243243 pairs satisfy BA,B \subseteq A, and the pairs counted twice are exactly those with A=B,A = B, of which there are 25=32.2^5 = 32. The answer is 243+24332=454.243 + 243 - 32 = 454.

7.

Let a,b,c,a, b, c, and dd be real numbers that satisfy the system of equations a+b=3,ab+bc+ca=4,a + b = -3, \qquad ab + bc + ca = -4, abc+bcd+cda+dab=14,abcd=30.abc + bcd + cda + dab = 14, \qquad abcd = 30. There exist relatively prime positive integers mm and nn such that a2+b2+c2+d2=mn.a^2 + b^2 + c^2 + d^2 = \frac{m}{n}. Find m+n.m + n.

Answer: 145

Difficulty rating: 2650

Solution:

Since a+b=3,a + b = -3, the second equation reads ab+c(a+b)=ab3c=4,ab + c(a + b) = ab - 3c = -4, so ab=3c4.ab = 3c - 4. Grouping the third equation as ab(c+d)+cd(a+b)=14ab(c + d) + cd(a + b) = 14 gives (3c4)(c+d)3cd=14,(3c - 4)(c + d) - 3cd = 14, which simplifies to 3c24c4d=14,3c^2 - 4c - 4d = 14, so d=3c24c144.d = \frac{3c^2 - 4c - 14}{4}. The fourth equation becomes (3c4)cd=30.(3c - 4)\,cd = 30.

Substituting for dd yields c(3c4)(3c24c14)=120,c(3c - 4)(3c^2 - 4c - 14) = 120, i.e. 9c424c326c2+56c120=(c+2)(3c10)(3c24c+6)=0.9c^4 - 24c^3 - 26c^2 + 56c - 120 = (c + 2)(3c - 10)(3c^2 - 4c + 6) = 0. The quadratic factor has negative discriminant, so c=2c = -2 or c=103.c = \frac{10}{3}. If c=103,c = \frac{10}{3}, then ab=6ab = 6 with a+b=3,a + b = -3, impossible for real a,ba, b since 924<0.9 - 24 \lt 0. So c=2,c = -2, giving ab=10ab = -10 and d=12+8144=32.d = \frac{12 + 8 - 14}{4} = \frac{3}{2}.

Then a2+b2=(a+b)22ab=9+20=29a^2 + b^2 = (a + b)^2 - 2ab = 9 + 20 = 29 and c2+d2=4+94=254,c^2 + d^2 = 4 + \frac{9}{4} = \frac{25}{4}, so a2+b2+c2+d2=1414a^2 + b^2 + c^2 + d^2 = \frac{141}{4} and m+n=141+4=145.m + n = 141 + 4 = 145.

8.

An ant makes a sequence of moves on a cube where a move consists of walking from one vertex to an adjacent vertex along an edge of the cube. Initially the ant is at a vertex of the bottom face of the cube and chooses one of the three adjacent vertices to move to as its first move. For all moves after the first move, the ant does not return to its previous vertex, but chooses to move to one of the other two adjacent vertices. All choices are selected at random so that each of the possible moves is equally likely. The probability that after exactly 88 moves that ant is at a vertex of the top face on the cube is mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 49

Difficulty rating: 2840

Solution:

All 327=3843 \cdot 2^7 = 384 allowed move sequences are equally likely, so we count those ending on the top face. Classify the ant after each move by its face (bottom or top) and by whether its last move was vertical: after a vertical move the two allowed continuations are the two horizontal edges at the new vertex, while after a horizontal move one continuation is horizontal and one is vertical.

Let (Bh,Bv,Th,Tv)(B_h, B_v, T_h, T_v) count sequences ending on the bottom or top with last move horizontal or vertical. Each sequence splits into two, following Bh=Bh+2Bv,Tv=Bh,Th=Th+2Tv,Bv=Th.B_h' = B_h + 2B_v, \qquad T_v' = B_h, \qquad T_h' = T_h + 2T_v, \qquad B_v' = T_h. After move 11 the counts are (2,0,0,1),(2, 0, 0, 1), and iterating gives (2,0,2,2),(2, 0, 2, 2), (2,2,6,2),(2, 2, 6, 2), (6,6,10,2),(6, 6, 10, 2), (18,10,14,6),(18, 10, 14, 6), (38,14,26,18),(38, 14, 26, 18), (66,26,62,38),(66, 26, 62, 38), and after the eighth move Th=62+76=138T_h = 62 + 76 = 138 and Tv=66.T_v = 66.

So 138+66=204138 + 66 = 204 of the 384384 sequences end on the top face, giving probability 204384=1732\frac{204}{384} = \frac{17}{32} and m+n=17+32=49.m + n = 17 + 32 = 49.

9.

Find the number of ordered pairs (m,n)(m, n) such that mm and nn are positive integers in the set {1,2,,30}\{1, 2, \ldots, 30\} and the greatest common divisor of 2m+12^m + 1 and 2n12^n - 1 is not 1.1.

Answer: 295
Solution:

Suppose an odd prime pp divides both 2m+12^m + 1 and 2n1.2^n - 1. From 2m1(modp),2^m \equiv -1 \pmod p, the order of 22 modulo pp divides 2m2m but not m,m, so the order contains exactly one more factor of 22 than mm does. The order also divides n,n, so nn must contain strictly more factors of 22 than m:m: writing v2v_2 for the number of factors of 2,2, we need v2(n)>v2(m).v_2(n) \gt v_2(m).

Conversely, if v2(n)>v2(m),v_2(n) \gt v_2(m), let g=gcd(m,n).g = \gcd(m, n). Then v2(g)=v2(m),v_2(g) = v_2(m), so m/gm/g is odd and 2g+12m+1;2^g + 1 \mid 2^m + 1; also 2gn,2g \mid n, so 2g+122g12n1.2^g + 1 \mid 2^{2g} - 1 \mid 2^n - 1. Hence the gcd exceeds 11 exactly when v2(n)>v2(m).v_2(n) \gt v_2(m).

Among 1,,301, \ldots, 30 the counts of numbers with v2=0,1,2,3,4v_2 = 0, 1, 2, 3, 4 are 15,8,4,2,1.15, 8, 4, 2, 1. The number of pairs with v2(m)<v2(n)v_2(m) \lt v_2(n) is 1515+87+43+21=225+56+12+2=295.15 \cdot 15 + 8 \cdot 7 + 4 \cdot 3 + 2 \cdot 1 = 225 + 56 + 12 + 2 = 295.

10.

Two spheres with radii 3636 and one sphere with radius 1313 are each externally tangent to the other two spheres and to two different planes P\mathcal{P} and Q.\mathcal{Q}. The intersection of planes P\mathcal{P} and Q\mathcal{Q} is the line .\ell. The distance from line \ell to the point where the sphere with radius 1313 is tangent to plane P\mathcal{P} is mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 335

Difficulty rating: 2990

Solution:

A sphere of radius rr tangent to both planes has its center on the half-plane bisecting the dihedral angle. If the dihedral angle is 2θ,2\theta, the center is at distance rsinθ\frac{r}{\sin\theta} from .\ell. In the cross-section through the center perpendicular to ,\ell, the point of ,\ell, the center, and the tangent point on P\mathcal{P} form a right triangle with angle θ\theta at ,\ell, so the tangent point lies at distance rcosθsinθ\frac{r\cos\theta}{\sin\theta} from .\ell.

Measure positions along .\ell. The centers of the two radius-3636 spheres are both at distance 36sinθ\frac{36}{\sin\theta} from \ell and are 7272 apart, so they differ by 7272 along ,\ell, and by symmetry the radius-1313 center sits halfway between them along ,\ell, at distance 13sinθ\frac{13}{\sin\theta} from .\ell. External tangency makes its distance to each big center 49:49: (36sinθ13sinθ)2+362=492,\left(\frac{36}{\sin\theta} - \frac{13}{\sin\theta}\right)^2 + 36^2 = 49^2, so (23sinθ)2=492362=1105.\left(\frac{23}{\sin\theta}\right)^2 = 49^2 - 36^2 = 1105. Since 232+242=1105,23^2 + 24^2 = 1105, we get sinθ=231105\sin\theta = \frac{23}{\sqrt{1105}} and cosθ=241105.\cos\theta = \frac{24}{\sqrt{1105}}.

The required distance is 13cosθsinθ=132423=31223,\frac{13\cos\theta}{\sin\theta} = \frac{13 \cdot 24}{23} = \frac{312}{23}, which is in lowest terms, so m+n=312+23=335.m + n = 312 + 23 = 335.

11.

A teacher was leading a class of four perfectly logical students. The teacher chose a set SS of four integers and gave a different number in SS to each student. Then the teacher announced to the class that the numbers in SS were four consecutive two-digit positive integers, that some number in SS was divisible by 6,6, and a different number in SS was divisible by 7.7. The teacher then asked if any of the students could deduce what SS is, but in unison, all of the students replied no.

However, upon hearing that all four students replied no, each student was able to determine the elements of S.S. Find the sum of all possible values of the greatest element of S.S.

Answer: 258

Difficulty rating: 3060

Solution:

Call a run any set of four consecutive two-digit integers containing a multiple of 66 and a different multiple of 7;7; the runs are exactly the candidates for SS allowed by the announcement. A student holding a number that lies in exactly one run could name SS immediately, so the unanimous "no" reveals that every element of SS lies in at least two runs.

A number belongs to two different runs only when nearby runs overlap, which happens when a multiple of 66 and a multiple of 77 are consecutive integers, both two-digit: the pairs (35,36),(35, 36), (48,49),(48, 49), (77,78),(77, 78), and (90,91).(90, 91). Checking each cluster, the runs all four of whose elements are ambiguous are exactly the ones with such a pair in the two middle positions: {34,35,36,37},{47,48,49,50},{76,77,78,79},{89,90,91,92}.\{34, 35, 36, 37\}, \quad \{47, 48, 49, 50\}, \quad \{76, 77, 78, 79\}, \quad \{89, 90, 91, 92\}. These four sets are pairwise disjoint, so after the four "no" replies each student's own number singles out one of them, consistent with everyone then deducing S.S.

The possible greatest elements are 37,37, 50,50, 79,79, and 92,92, with sum 258.258.

12.

A convex quadrilateral has area 3030 and side lengths 5,6,9,5, 6, 9, and 7,7, in that order. Denote by θ\theta the measure of the acute angle formed by the diagonals of the quadrilateral. Then tanθ\tan \theta can be written in the form mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 47

Difficulty rating: 2920

Solution:

Label the quadrilateral ABCDABCD with AB=5,AB = 5, BC=6,BC = 6, CD=9,CD = 9, DA=7,DA = 7, and let the diagonals meet at P,P, cutting AC\overline{AC} into p1,p2p_1, p_2 and BD\overline{BD} into q1,q2.q_1, q_2. With φ=APB,\varphi = \angle APB, the law of cosines in the four corner triangles (whose angles at PP alternate between φ\varphi and 180φ180^\circ - \varphi) gives BC2+DA2AB2CD2=2(p1q1+p1q2+p2q1+p2q2)cosφ=2ACBDcosφ.BC^2 + DA^2 - AB^2 - CD^2 = 2(p_1q_1 + p_1q_2 + p_2q_1 + p_2q_2)\cos\varphi = 2\,AC \cdot BD \cos\varphi.

The left side is 36+492581=21,36 + 49 - 25 - 81 = -21, so ACBDcosφ=212,AC \cdot BD\,|\cos\varphi| = \frac{21}{2}, and the acute angle θ\theta between the diagonals satisfies ACBDcosθ=212.AC \cdot BD \cos\theta = \frac{21}{2}. Meanwhile the four corner triangles give the area 12ACBDsinθ=30,\frac{1}{2} AC \cdot BD \sin\theta = 30, so ACBDsinθ=60.AC \cdot BD \sin\theta = 60.

Dividing, tanθ=6021/2=407,\tan\theta = \frac{60}{21/2} = \frac{40}{7}, so m+n=40+7=47.m + n = 40 + 7 = 47.

13.

Find the least positive integer nn for which 2n+5nn2^n + 5^n - n is a multiple of 1000.1000.

Answer: 797
Solution:

Work modulo 88 and 125.125. For n3n \ge 3 we have 2n0(mod8),2^n \equiv 0 \pmod 8, so we need n5n(mod8).n \equiv 5^n \pmod 8. If nn is even then 5n1,5^n \equiv 1, forcing the even number nn to be 1(mod8),\equiv 1 \pmod 8, impossible; so nn is odd, 5n5,5^n \equiv 5, and n5(mod8).n \equiv 5 \pmod 8. Also 5n0(mod125)5^n \equiv 0 \pmod{125} for n3,n \ge 3, so we need n2n(mod125).n \equiv 2^n \pmod{125}.

The order of 22 is 44 modulo 5,5, 2020 modulo 25,25, and 100100 modulo 125.125. Since n5(mod8)n \equiv 5 \pmod 8 gives n1(mod4),n \equiv 1 \pmod 4, we get 2n2(mod5),2^n \equiv 2 \pmod 5, so n2(mod5)n \equiv 2 \pmod 5 and hence n17(mod20).n \equiv 17 \pmod{20}. Then 2n217=21027(1)(3)22(mod25),2^n \equiv 2^{17} = 2^{10} \cdot 2^7 \equiv (-1)(3) \equiv 22 \pmod{25}, so n22(mod25),n \equiv 22 \pmod{25}, which with n1(mod4)n \equiv 1 \pmod 4 gives n97(mod100).n \equiv 97 \pmod{100}. Finally 21024,2^{10} \equiv 24, 22076,2^{20} \equiv 76, 24026,2^{40} \equiv 26, 28051(mod125),2^{80} \equiv 51 \pmod{125}, so 2n297=280210275124347(mod125),2^n \equiv 2^{97} = 2^{80} \cdot 2^{10} \cdot 2^7 \equiv 51 \cdot 24 \cdot 3 \equiv 47 \pmod{125}, giving n47(mod125).n \equiv 47 \pmod{125}.

Combining n47(mod125)n \equiv 47 \pmod{125} with n5(mod8)n \equiv 5 \pmod 8 yields n797(mod1000),n \equiv 797 \pmod{1000}, and n=1,2n = 1, 2 fail by direct check, so the least such nn is 797.797.

14.

Let ABC\triangle ABC be an acute triangle with circumcenter OO and centroid G.G. Let XX be the intersection of the line tangent to the circumcircle of ABC\triangle ABC at AA and the line perpendicular to GOGO at G.G. Let YY be the intersection of lines XGXG and BC.BC. Given that the measures of ABC,BCA,\angle ABC, \angle BCA, and XOY\angle XOY are in the ratio 13:2:17,13 : 2 : 17, the degree measure of BAC\angle BAC can be written as mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 592
Solution:

Let MM be the midpoint of BC,\overline{BC}, so A,A, G,G, MM are collinear along the median, while X,X, G,G, YY are collinear by definition. Since OAAXOA \perp AX (tangent and radius) and OGGX,OG \perp GX, quadrilateral OAXGOAXG is cyclic with diameter OX.\overline{OX}. Since OGGYOG \perp GY and OMMYOM \perp MY (the segment from the center to the midpoint of a chord is perpendicular to it), quadrilateral OGYMOGYM is cyclic with diameter OY.\overline{OY}.

In each circle the chord OG\overline{OG} subtends equal angles, so OXY=OXG=OAG=OAM\angle OXY = \angle OXG = \angle OAG = \angle OAM and OYX=OYG=OMG=OMA.\angle OYX = \angle OYG = \angle OMG = \angle OMA. Triangles OXYOXY and OAMOAM therefore have the same angle sums at their bases, giving XOY=180OXYOYX=180OAMOMA=AOM.\angle XOY = 180^\circ - \angle OXY - \angle OYX = 180^\circ - \angle OAM - \angle OMA = \angle AOM.

Write ABC=13k\angle ABC = 13k and BCA=2k,\angle BCA = 2k, so BAC=18015k.\angle BAC = 180^\circ - 15k. Central angles give AOB=2BCA=4k,\angle AOB = 2\angle BCA = 4k, and OM\overline{OM} bisects BOC=2BAC,\angle BOC = 2\angle BAC, so on the side of BB (nearer to AA's arc since ABC>BCA\angle ABC \gt \angle BCA), AOM=AOB+BOM=4k+(18015k)=18011k.\angle AOM = \angle AOB + \angle BOM = 4k + (180^\circ - 15k) = 180^\circ - 11k. Setting 18011k=XOY=17k180^\circ - 11k = \angle XOY = 17k gives k=457,k = \frac{45}{7}, so BAC=18015457=5857\angle BAC = 180^\circ - 15 \cdot \frac{45}{7} = \frac{585}{7} degrees, and all three angles are acute as required. Then m+n=585+7=592.m + n = 585 + 7 = 592.

15.

Let f(n)f(n) and g(n)g(n) be functions satisfying f(n)={nif n is an integer1+f(n+1)otherwisef(n) = \begin{cases} \sqrt{n} & \text{if } \sqrt{n} \text{ is an integer} \\ 1 + f(n+1) & \text{otherwise} \end{cases} and g(n)={nif n is an integer2+g(n+2)otherwiseg(n) = \begin{cases} \sqrt{n} & \text{if } \sqrt{n} \text{ is an integer} \\ 2 + g(n+2) & \text{otherwise} \end{cases} for positive integers n.n. Find the least positive integer nn such that f(n)g(n)=47.\frac{f(n)}{g(n)} = \frac{4}{7}.

Answer: 258

Difficulty rating: 3160

Solution:

Let kk be the least integer with k2n.k^2 \ge n. The function ff climbs one step at a time to the next perfect square, so f(n)=k+(k2n).f(n) = k + (k^2 - n). The function gg climbs by 22s, preserving the parity of its argument, and j2j(mod2),j^2 \equiv j \pmod 2, so g(n)=j+(j2n)g(n) = j + (j^2 - n) where jj is the least integer with j2nj^2 \ge n and jn(mod2).j \equiv n \pmod 2. If kn(mod2)k \equiv n \pmod 2 then j=kj = k and the ratio is 1;1; so we need k≢n(mod2),k \not\equiv n \pmod 2, in which case j=k+1j = k + 1 and g(n)f(n)=(k+1)2k2+1=2k+2.g(n) - f(n) = (k+1)^2 - k^2 + 1 = 2k + 2.

Then 7f=4g=4f+4(2k+2)7f = 4g = 4f + 4(2k + 2) gives f=8(k+1)3,f = \frac{8(k+1)}{3}, so k2(mod3)k \equiv 2 \pmod 3 and n=k2+k8(k+1)3,n = k^2 + k - \frac{8(k+1)}{3}, subject to (k1)2<nk2(k-1)^2 \lt n \le k^2 and n≢k(mod2).n \not\equiv k \pmod 2.

For k=2,5,8,11k = 2, 5, 8, 11 the formula gives n=2,14,48,100,n = -2, 14, 48, 100, each failing n>(k1)2;n \gt (k-1)^2; for k=14,k = 14, n=170n = 170 is in range but has the same parity as k.k. For k=17,k = 17, n=289+1748=258,n = 289 + 17 - 48 = 258, which satisfies 256<258289256 \lt 258 \le 289 and is even while kk is odd. Indeed f(258)=17+31=48f(258) = 17 + 31 = 48 and g(258)=18+66=84,g(258) = 18 + 66 = 84, with 4884=47,\frac{48}{84} = \frac{4}{7}, so the least nn is 258.258.