2020 AIME II 考试答案

Scroll down to view professionally curated solutions from LIVE by Po-Shen Loh, print PDF solutions, view answer key, or:

Try Exam

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).

1.

Find the number of ordered pairs of positive integers (m,n)(m, n) such that m2n=2020.m^2 n = 20^{20}.

Concepts:prime factorizationbasic counting

Difficulty rating: 1890

Solution:

Since 2020=240520,20^{20} = 2^{40} \cdot 5^{20}, a valid mm must have the form 2a5b,2^a 5^b, and then n=2402a5202bn = 2^{40 - 2a}\,5^{20 - 2b} is a positive integer exactly when 2a402a \le 40 and 2b20.2b \le 20. Conversely every such choice works, and nn is uniquely determined by m.m.

So aa can be any of 0,1,,200, 1, \ldots, 20 and bb any of 0,1,,10,0, 1, \ldots, 10, giving 2111=23121 \cdot 11 = 231 ordered pairs.

2.

Let PP be a point chosen uniformly at random in the interior of the unit square with vertices at (0,0),(0, 0), (1,0),(1, 0), (1,1),(1, 1), and (0,1).(0, 1). The probability that the slope of the line determined by PP and the point (58,38)\left(\frac{5}{8}, \frac{3}{8}\right) is greater than or equal to 12\frac{1}{2} can be written as mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 2110

Solution:

Let Q=(58,38)Q = \left(\frac{5}{8}, \frac{3}{8}\right) and P=(x,y).P = (x, y). The slope condition y3/8x5/812\frac{y - 3/8}{x - 5/8} \ge \frac{1}{2} becomes yx2+116y \ge \frac{x}{2} + \frac{1}{16} when x>58,x \gt \frac{5}{8}, and yx2+116y \le \frac{x}{2} + \frac{1}{16} when x<58x \lt \frac{5}{8} (multiplying by the negative quantity x58x - \frac{5}{8} reverses the inequality).

For x>58,x \gt \frac{5}{8}, the region above the line y=x2+116y = \frac{x}{2} + \frac{1}{16} inside the square is a trapezoid with parallel vertical sides of lengths 58\frac{5}{8} (at x=58x = \frac{5}{8}) and 716\frac{7}{16} (at x=1x = 1) and width 38,\frac{3}{8}, with area 385/8+7/162=51256.\frac{3}{8} \cdot \frac{5/8 + 7/16}{2} = \frac{51}{256}. For x<58,x \lt \frac{5}{8}, the region below the line is a trapezoid with parallel sides 116\frac{1}{16} (at x=0x = 0) and 38\frac{3}{8} (at x=58x = \frac{5}{8}) and width 58,\frac{5}{8}, with area 581/16+3/82=35256.\frac{5}{8} \cdot \frac{1/16 + 3/8}{2} = \frac{35}{256}.

The probability is 51256+35256=86256=43128,\frac{51}{256} + \frac{35}{256} = \frac{86}{256} = \frac{43}{128}, so m+n=43+128=171.m + n = 43 + 128 = 171.

3.

The value of xx that satisfies log2x320=log2x+332020\log_{2^x} 3^{20} = \log_{2^{x+3}} 3^{2020} can be written as mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 1950

Solution:

By the change-of-base formula, log2x320=20log3xlog2andlog2x+332020=2020log3(x+3)log2.\log_{2^x} 3^{20} = \frac{20 \log 3}{x \log 2} \qquad \text{and} \qquad \log_{2^{x+3}} 3^{2020} = \frac{2020 \log 3}{(x + 3) \log 2}. Cancelling the common factor log3log2\frac{\log 3}{\log 2} leaves 20x=2020x+3.\frac{20}{x} = \frac{2020}{x + 3}.

Cross-multiplying gives 20x+60=2020x,20x + 60 = 2020x, so 2000x=602000x = 60 and x=3100.x = \frac{3}{100}. Thus m+n=3+100=103.m + n = 3 + 100 = 103.

4.

Triangles ABC\triangle ABC and ABC\triangle A'B'C' lie in the coordinate plane with vertices A(0,0),A(0, 0), B(0,12),B(0, 12), C(16,0),C(16, 0), A(24,18),A'(24, 18), B(36,18),B'(36, 18), C(24,2).C'(24, 2). A rotation of mm degrees clockwise around the point (x,y),(x, y), where 0<m<180,0 \lt m \lt 180, will transform ABC\triangle ABC to ABC.\triangle A'B'C'. Find m+x+y.m + x + y.

Difficulty rating: 2300

Solution:

The vector AB=(0,12)\overrightarrow{AB} = (0, 12) is vertical, while AB=(12,0)\overrightarrow{A'B'} = (12, 0) is horizontal and of the same length, so the rotation turns directions by 9090^\circ clockwise, and m=90.m = 90.

A 9090^\circ clockwise rotation about (a,b)(a, b) sends (p,q)(p, q) to (a+qb, bp+a).(a + q - b,\ b - p + a). Applying this to A=(0,0)A = (0, 0) and setting the image equal to A=(24,18)A' = (24, 18) gives ab=24a - b = 24 and a+b=18,a + b = 18, so a=21a = 21 and b=3.b = -3. Checking the other vertices: B=(0,12)B = (0, 12) maps to (21+12+3, 3+21)=(36,18)=B,(21 + 12 + 3,\ -3 + 21) = (36, 18) = B', and C=(16,0)C = (16, 0) maps to (21+3, 316+21)=(24,2)=C.(21 + 3,\ -3 - 16 + 21) = (24, 2) = C'.

Therefore m+x+y=90+21+(3)=108.m + x + y = 90 + 21 + (-3) = 108.

5.

For each positive integer n,n, let f(n)f(n) be the sum of the digits in the base-four representation of nn and let g(n)g(n) be the sum of the digits in the base-eight representation of f(n).f(n). For example, f(2020)=f(1332104)=10=128,f(2020) = f(133210_4) = 10 = 12_8, and g(2020)=the digit sum of 128=3.g(2020) = \text{the digit sum of } 12_8 = 3. Let NN be the least value of nn such that the base-sixteen representation of g(n)g(n) cannot be expressed using only the digits 00 through 9.9. Find the remainder when NN is divided by 1000.1000.

Difficulty rating: 2450

Solution:

The base-sixteen representation of g(n)g(n) needs a digit beyond 99 exactly when g(n)10.g(n) \ge 10. So we need the base-eight digit sum of f(n)f(n) to be at least 10.10. Checking values in order, every number less than 3131 has base-eight digit sum at most 9,9, while 31=37831 = 37_8 has digit sum 10.10. Since the least nn achieving a given base-four digit sum increases with that sum, we want the least nn with f(n)=31.f(n) = 31.

A base-four digit is at most 3,3, so a digit sum of 3131 requires at least 1111 digits, and the smallest 1111-digit choice is a leading 11 followed by ten 33s: N=133333333334=410+(4101)=24101=2097151.N = 13333333333_4 = 4^{10} + (4^{10} - 1) = 2 \cdot 4^{10} - 1 = 2097151.

The remainder when N=2097151N = 2097151 is divided by 10001000 is 151.151.

6.

Define a sequence recursively by t1=20,t_1 = 20, t2=21,t_2 = 21, and tn=5tn1+125tn2t_n = \frac{5t_{n-1} + 1}{25t_{n-2}} for all n3.n \ge 3. Then t2020t_{2020} can be written as pq,\frac{p}{q}, where pp and qq are relatively prime positive integers. Find p+q.p + q.

Difficulty rating: 2340

Solution:

Computing terms exactly: t3=521+12520=53250,t4=553250+12521=10326250,t5=510326250+12553250=535352501053=101525,t_3 = \frac{5 \cdot 21 + 1}{25 \cdot 20} = \frac{53}{250}, \qquad t_4 = \frac{5 \cdot \frac{53}{250} + 1}{25 \cdot 21} = \frac{103}{26250}, \qquad t_5 = \frac{5 \cdot \frac{103}{26250} + 1}{25 \cdot \frac{53}{250}} = \frac{5353}{5250} \cdot \frac{10}{53} = \frac{101}{525}, using 5353=53101.5353 = 53 \cdot 101. Then t6=5101525+12510326250=2061051050103=20=t1t_6 = \frac{5 \cdot \frac{101}{525} + 1}{25 \cdot \frac{103}{26250}} = \frac{206}{105} \cdot \frac{1050}{103} = 20 = t_1 and t7=101101/21=21=t2.t_7 = \frac{101}{101/21} = 21 = t_2.

Since each term depends only on the two preceding terms, the sequence repeats with period 5.5. Because 20202020 is a multiple of 5,5, we get t2020=t5=101525.t_{2020} = t_5 = \frac{101}{525}. As 101101 is prime and does not divide 525,525, the fraction is reduced, and p+q=101+525=626.p + q = 101 + 525 = 626.

7.

Two congruent right circular cones each with base radius 33 and height 88 have axes of symmetry that intersect at right angles at a point in the interior of the cones a distance 33 from the base of each cone. A sphere with radius rr lies within both cones. The maximum possible value of r2r^2 is mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 2560

Solution:

Put the origin at the point where the axes cross, and measure signed coordinates u1,u2u_1, u_2 along the two axes. Along its axis, each cone has its apex at distance 83=58 - 3 = 5 from the origin and its base plane at distance 33 on the other side. Slicing a cone by any plane through its axis gives a triangle whose slant side, in coordinates (u,w)(u, w) with w0w \ge 0 the distance from the axis, is the line through (5,0)(5, 0) and (3,3),(-3, 3), namely 3u+8w=15.3u + 8w = 15.

A sphere of radius rr centered at a point with axial coordinate uu and distance ρ\rho from the axis fits inside that cone only if its cross-section fits inside the triangle, so r153u8ρ73.r \le \frac{15 - 3u - 8\rho}{\sqrt{73}}. Since the two axes are perpendicular, the distance from the center to axis 11 is at least u2,|u_2|, and vice versa. Adding the two constraints, 273r303(u1+u2)8(u1+u2)30,2\sqrt{73}\,r \le 30 - 3(u_1 + u_2) - 8(|u_1| + |u_2|) \le 30, because 3(u1+u2)3(u1+u2)8(u1+u2).3(u_1 + u_2) \ge -3(|u_1| + |u_2|) \ge -8(|u_1| + |u_2|). Hence r1573.r \le \frac{15}{\sqrt{73}}.

The sphere of radius 1573\frac{15}{\sqrt{73}} centered at the origin achieves this: its distance to each slant surface is 30+801532+82=1573,\frac{|3 \cdot 0 + 8 \cdot 0 - 15|}{\sqrt{3^2 + 8^2}} = \frac{15}{\sqrt{73}}, and its distance 33 to each base plane is larger. So the maximum of r2r^2 is 22573,\frac{225}{73}, and m+n=225+73=298.m + n = 225 + 73 = 298.

8.

Define a sequence recursively by f1(x)=x1f_1(x) = |x - 1| and fn(x)=fn1(xn)f_n(x) = f_{n-1}(|x - n|) for integers n>1.n \gt 1. Find the least value of nn such that the sum of the zeros of fnf_n exceeds 500,000.500{,}000.

Solution:

Since fn(x)=fn1(xn),f_n(x) = f_{n-1}(|x - n|), the zeros of fnf_n are exactly x=n±zx = n \pm z as zz runs over the nonnegative zeros of fn1.f_{n-1}. The first few zero sets are {1},\{1\}, {1,3},\{1, 3\}, {0,2,4,6},\{0, 2, 4, 6\}, {2,0,2,,10}.\{-2, 0, 2, \ldots, 10\}. Writing Tk=k(k+1)2,T_k = \frac{k(k+1)}{2}, we claim the zeros of fnf_n are every other integer from nTn1n - T_{n-1} through Tn.T_n. Indeed, by induction the nonnegative zeros of fn1f_{n-1} are every other integer from 00 or 11 up to Tn1,T_{n-1}, and applying n±zn \pm z yields every integer of the appropriate parity from nTn1n - T_{n-1} through n+Tn1=Tn.n + T_{n-1} = T_n.

This progression has Tn+Tn1n2+1=n(n1)2+1\frac{T_n + T_{n-1} - n}{2} + 1 = \frac{n(n-1)}{2} + 1 terms, and its first and last terms sum to (nTn1)+Tn=2n,(n - T_{n-1}) + T_n = 2n, so the sum of the zeros is Sn=n(n(n1)2+1),S_n = n\left(\frac{n(n-1)}{2} + 1\right), which is increasing in n.n.

Now S100=1004951=495,100500,000,S_{100} = 100 \cdot 4951 = 495{,}100 \le 500{,}000, while S101=1015051=510,151>500,000.S_{101} = 101 \cdot 5051 = 510{,}151 \gt 500{,}000. The least such nn is 101.101.

9.

While watching a show, Ayako, Billy, Carlos, Dahlia, Ehuang, and Frank sat in that order in a row of six chairs. During the break, they went to the kitchen for a snack. When they came back, they sat on those six chairs in such a way that if two of them sat next to each other before the break, then they did not sit next to each other after the break. Find the number of possible seating orders they could have chosen after the break.

Solution:

Number the friends 11 through 66 in original seating order; we count orderings of 1,,61, \ldots, 6 in which no two consecutive integers are adjacent. Apply inclusion-exclusion over which of the five pairs {i,i+1}\{i, i+1\} are forced to sit together. If a chosen set of kk pairs forms rr maximal runs of consecutive integers, gluing each run into a block (orderable ascending or descending) gives 2r(6k)!2^r (6 - k)! seatings containing all chosen adjacencies.

Tallying by k:k: for k=0,k = 0, 720.720. For k=1,k = 1, five sets, each 2120,2 \cdot 120, total 1200.1200. For k=2,k = 2, four sets form one run (224)(2 \cdot 24) and six form two runs (424),(4 \cdot 24), total 768.768. For k=3,k = 3, three sets form one run (26),(2 \cdot 6), six form two runs (46),(4 \cdot 6), one forms three runs (86),(8 \cdot 6), total 228.228. For k=4,k = 4, two sets form one run (22)(2 \cdot 2) and three form two runs (42),(4 \cdot 2), total 32.32. For k=5,k = 5, one set, total 2.2.

The count is 7201200+768228+322=90.720 - 1200 + 768 - 228 + 32 - 2 = 90.

10.

Find the sum of all positive integers nn such that when 13+23+33++n31^3 + 2^3 + 3^3 + \cdots + n^3 is divided by n+5,n + 5, the remainder is 17.17.

Solution:

Let K=n(n+1)2,K = \frac{n(n+1)}{2}, so the sum of cubes is K2.K^2. Modulo n+5n + 5 we have n5,n \equiv -5, hence 2K=n(n+1)(5)(4)=202K = n(n+1) \equiv (-5)(-4) = 20 and 4K2400.4K^2 \equiv 400. If K217(modn+5),K^2 \equiv 17 \pmod{n+5}, then n+5n + 5 divides 400417=332=2283.400 - 4 \cdot 17 = 332 = 2^2 \cdot 83. Since a remainder of 1717 also forces n+5>17,n + 5 \gt 17, the candidates are n+5{83,166,332},n + 5 \in \{83, 166, 332\}, i.e. n{78,161,327}.n \in \{78, 161, 327\}.

Because we multiplied by 4,4, each candidate must be checked. For n=78:n = 78: K=308110(mod83),K = 3081 \equiv 10 \pmod{83}, and 102=10017(mod83).10^2 = 100 \equiv 17 \pmod{83}. For n=161:n = 161: K=1304193(mod166),K = 13041 \equiv 93 \pmod{166}, and 932=8649=52166+17.93^2 = 8649 = 52 \cdot 166 + 17. For n=327:n = 327: K=53628176(mod332),K = 53628 \equiv 176 \pmod{332}, and 1762=30976=93332+100,176^2 = 30976 = 93 \cdot 332 + 100, remainder 10017,100 \ne 17, so this one fails.

The valid values are n=78n = 78 and n=161,n = 161, with sum 78+161=239.78 + 161 = 239.

11.

Let P(x)=x23x7,P(x) = x^2 - 3x - 7, and let Q(x)Q(x) and R(x)R(x) be two quadratic polynomials also with the coefficient of x2x^2 equal to 1.1. David computes each of the three sums P+Q,P + Q, P+R,P + R, and Q+RQ + R and is surprised to find that each pair of these sums has a common root, and these three common roots are distinct. If Q(0)=2,Q(0) = 2, then R(0)=mn,R(0) = \frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 2920

Solution:

Let aa be the common root of P+QP+Q and P+R,P+R, let bb be that of P+QP+Q and Q+R,Q+R, and let cc be that of P+RP+R and Q+R.Q+R. Each sum is quadratic with leading coefficient 2,2, so P+Q=2(xa)(xb),P+Q = 2(x-a)(x-b), P+R=2(xa)(xc),P+R = 2(x-a)(x-c), and Q+R=2(xb)(xc).Q+R = 2(x-b)(x-c). Write Q=x2+qx+2Q = x^2 + qx + 2 and R=x2+rx+s.R = x^2 + rx + s. By Vieta's formulas, the root sums are a+b=3q2,a + b = \frac{3-q}{2}, a+c=3r2,a + c = \frac{3-r}{2}, and b+c=q+r2,b + c = -\frac{q+r}{2}, so 2a=(a+b)+(a+c)(b+c)=3q2+3r2+q+r2=3,2a = (a+b) + (a+c) - (b+c) = \frac{3-q}{2} + \frac{3-r}{2} + \frac{q+r}{2} = 3, giving a=32.a = \frac{3}{2}.

The constant term of P+QP + Q is 7+2=5,-7 + 2 = -5, so 2ab=52ab = -5 and b=53.b = -\frac{5}{3}. Also 2ac=P(0)+R(0)=s72ac = P(0) + R(0) = s - 7 and 2bc=Q(0)+R(0)=s+2.2bc = Q(0) + R(0) = s + 2. Subtracting, 2c(ba)=9,2c(b - a) = 9, so c=92(5332)=2719.c = \frac{9}{2\left(-\frac{5}{3} - \frac{3}{2}\right)} = -\frac{27}{19}.

Then s=2bc2=2(53)(2719)2=90193819=5219,s = 2bc - 2 = 2 \cdot \left(-\frac{5}{3}\right)\left(-\frac{27}{19}\right) - 2 = \frac{90}{19} - \frac{38}{19} = \frac{52}{19}, so R(0)=5219R(0) = \frac{52}{19} and m+n=52+19=71.m + n = 52 + 19 = 71.

12.

Let mm and nn be odd integers greater than 1.1. An m×nm \times n rectangle is made up of unit squares where the squares in the top row are numbered left to right with the integers 11 through n,n, those in the second row are numbered left to right with the integers n+1n + 1 through 2n,2n, and so on. Square 200200 is in the top row, and square 20002000 is in the bottom row. Find the number of ordered pairs (m,n)(m, n) of odd integers greater than 11 with the property that, in the m×nm \times n rectangle, the line through the centers of squares 200200 and 20002000 intersects the interior of square 1099.1099.

Difficulty rating: 3160

Solution:

Use coordinates (column,row).(\text{column}, \text{row}). Square 200200 is in the top row, so n200n \ge 200 (hence n201n \ge 201 as nn is odd) and its center is (200,1).(200, 1). Square 20002000 is in the bottom row, so its column is b=2000(m1)nb = 2000 - (m-1)n with 1bn,1 \le b \le n, i.e. (m1)n<2000mn,(m-1)n \lt 2000 \le mn, and its center is (b,m).(b, m). Since mm and nn are odd, bb is even, so the midpoint (200+b2,m+12)\left(\frac{200 + b}{2}, \frac{m+1}{2}\right) of the two centers has integer coordinates; its square number is (m1)n+200+b2=22002=1100.\frac{(m-1)n + 200 + b}{2} = \frac{2200}{2} = 1100. Its column 100+b2100 + \frac{b}{2} lies between 101101 and n,n, so the line passes through the center of square 1100,1100, and square 10991099 sits immediately to its left in the same row.

Square 10991099 lies only in that row, and the line crosses that row's horizontal strip in a segment centered (by symmetry) at the center of square 1100,1100, extending 12s\frac{1}{2|s|} to each side, where s=m1b200s = \frac{m-1}{b - 200} is the slope. So the line meets the interior of square 10991099 exactly when 12s>12,\frac{1}{2|s|} \gt \frac{1}{2}, that is s<1,|s| \lt 1, i.e. m1<b200=1800(m1)nm - 1 \lt |b - 200| = |1800 - (m-1)n| (a vertical line, b=200,b = 200, fails).

Since n201n \ge 201 and (m1)n<2000,(m-1)n \lt 2000, we need m1<10,m - 1 \lt 10, so m{3,5,7,9}.m \in \{3, 5, 7, 9\}. For m=3:m = 3: odd n[667,999],n \in [667, 999], 167167 values, excluding n9001|n - 900| \le 1 (odd cases 899,901899, 901) leaves 165.165. For m=5:m = 5: odd n[401,499],n \in [401, 499], 5050 values, excluding 449,451449, 451 leaves 48.48. For m=7:m = 7: odd n[287,333],n \in [287, 333], 2424 values, excluding 299,301299, 301 leaves 22.22. For m=9:m = 9: odd n[223,249],n \in [223, 249], 1414 values, excluding 225225 leaves 13.13. The total is 165+48+22+13=248.165 + 48 + 22 + 13 = 248.

13.

Convex pentagon ABCDEABCDE has side lengths AB=5,AB = 5, BC=CD=DE=6,BC = CD = DE = 6, and EA=7.EA = 7. Moreover, the pentagon has an inscribed circle (a circle tangent to each side of the pentagon). Find the area of ABCDE.ABCDE.

Solution:

Let the tangent lengths from A,B,C,D,EA, B, C, D, E to the incircle be a,b,c,d,e.a, b, c, d, e. Then a+b=5,a + b = 5, b+c=6,b + c = 6, c+d=6,c + d = 6, d+e=6,d + e = 6, and e+a=7.e + a = 7. The middle equations give d=bd = b and e=c,e = c, so c+a=7;c + a = 7; with a+b=5a + b = 5 and b+c=6b + c = 6 this yields a=3,a = 3, b=d=2,b = d = 2, c=e=4.c = e = 4. If rr is the inradius, the interior angle at a vertex with tangent length tt satisfies tanθ2=rt,\tan\frac{\theta}{2} = \frac{r}{t}, and the half-angles sum to half of 540:540^\circ: arctanr3+2arctanr2+2arctanr4=270.\arctan\frac{r}{3} + 2\arctan\frac{r}{2} + 2\arctan\frac{r}{4} = 270^\circ.

Let β=arctanr2\beta = \arctan\frac{r}{2} and γ=arctanr4.\gamma = \arctan\frac{r}{4}. Then arctanr3=2702(β+γ),\arctan\frac{r}{3} = 270^\circ - 2(\beta + \gamma), and since tan(270θ)=cotθ,\tan(270^\circ - \theta) = \cot\theta, we get r3=cot2(β+γ).\frac{r}{3} = \cot 2(\beta + \gamma). With T=tan(β+γ)=r/2+r/41r2/8=6r8r2,T = \tan(\beta + \gamma) = \frac{r/2 + r/4}{1 - r^2/8} = \frac{6r}{8 - r^2}, the identity r3=1T22T\frac{r}{3} = \frac{1 - T^2}{2T} becomes 2rT=3(1T2),2rT = 3(1 - T^2), and substituting TT and clearing denominators gives 5r484r2+64=0,5r^4 - 84r^2 + 64 = 0, so r2=16r^2 = 16 or r2=45.r^2 = \frac{4}{5}. For r2=45r^2 = \frac{4}{5} every half-angle is well under 54,54^\circ, so the half-angle sum falls far short of 270;270^\circ; this root is extraneous. Hence r=4.r = 4.

The semiperimeter is s=5+6+6+6+72=15,s = \frac{5 + 6 + 6 + 6 + 7}{2} = 15, so the area is rs=415=60.rs = 4 \cdot 15 = 60.

14.

For real number xx let x\lfloor x \rfloor be the greatest integer less than or equal to x,x, and define {x}=xx\{x\} = x - \lfloor x \rfloor to be the fractional part of x.x. For example, {3}=0\{3\} = 0 and {4.56}=0.56.\{4.56\} = 0.56. Define f(x)=x{x},f(x) = x\{x\}, and let NN be the number of real-valued solutions to the equation f(f(f(x)))=17f(f(f(x))) = 17 for 0x2020.0 \le x \le 2020. Find the remainder when NN is divided by 1000.1000.

Solution:

On [k,k+1)[k, k+1) with k0k \ge 0 an integer, write x=k+t;x = k + t; then f(x)=(k+t)tf(x) = (k + t)t is strictly increasing from 00 toward k+1,k + 1, so ff maps [k,k+1)[k, k+1) bijectively onto [0,k+1).[0, k+1). Hence for any cc with n<c<n+1,n \lt c \lt n + 1, the equation f(w)=cf(w) = c has exactly one solution in [k,k+1)[k, k+1) for each integer kn,k \ge n, and no others.

The equation f(z)=17f(z) = 17 has one solution zn(n,n+1)z_n \in (n, n+1) for each n17.n \ge 17. In turn, f(w)=znf(w) = z_n has one solution in (k,k+1)(k, k+1) for each kn.k \ge n. Finally, for x[j,j+1)x \in [j, j+1) with 0j2019,0 \le j \le 2019, ff maps [j,j+1)[j, j+1) bijectively onto [0,j+1),[0, j+1), so the number of solutions of f(f(f(x)))=17f(f(f(x))) = 17 there equals the number of such ww with w<j+1,w \lt j + 1, namely the number of pairs (n,k)(n, k) with 17nkj,17 \le n \le k \le j, which is (j152).\binom{j - 15}{2}. (The endpoint x=2020x = 2020 gives f(x)=0f(x) = 0 and is not a solution.)

By the hockey stick identity, N=j=172019(j152)=a=22004(a2)=(20053)=2005200420036=1,341,349,010,N = \sum_{j=17}^{2019} \binom{j - 15}{2} = \sum_{a=2}^{2004} \binom{a}{2} = \binom{2005}{3} = \frac{2005 \cdot 2004 \cdot 2003}{6} = 1{,}341{,}349{,}010, so the remainder when NN is divided by 10001000 is 10.10.

15.

Let ABC\triangle ABC be an acute scalene triangle with circumcircle ω.\omega. The tangents to ω\omega at BB and CC intersect at T.T. Let XX and YY be the projections of TT onto lines ABAB and AC,AC, respectively. Suppose BT=CT=16,BT = CT = 16, BC=22,BC = 22, and TX2+TY2+XY2=1143.TX^2 + TY^2 + XY^2 = 1143. Find XY2.XY^2.

Solution:

By the tangent-chord angle, TBC=A,\angle TBC = A, so ABT=B+A=180C\angle ABT = B + A = 180^\circ - C and TX=TBsinABT=16sinC;TX = TB \sin\angle ABT = 16 \sin C; similarly TY=16sinB.TY = 16 \sin B. Also AXT=AYT=90,\angle AXT = \angle AYT = 90^\circ, so A,X,T,YA, X, T, Y lie on a circle with diameter AT,AT, whence XY=ATsinA.XY = AT \sin A. Using the law of sines (sinA=11R, sinB=AC2R, sinC=AB2R),\left(\sin A = \frac{11}{R},\ \sin B = \frac{AC}{2R},\ \sin C = \frac{AB}{2R}\right), the given condition becomes 64(AB2+AC2)+121AT2R2=1143.\frac{64\left(AB^2 + AC^2\right) + 121\,AT^2}{R^2} = 1143.

Place B=(11,0)B = (-11, 0) and C=(11,0).C = (11, 0). Since TB=16TB = 16 and TT lies on the perpendicular bisector of BC,BC, we get T=(0,135).T = (0, -\sqrt{135}). The circumcenter is O=(0,k)O = (0, k) with OBBT,OB \perp BT, which gives 121k135=0,121 - k\sqrt{135} = 0, so k=121135k = \frac{121}{\sqrt{135}} and R2=121+k2=30976135.R^2 = 121 + k^2 = \frac{30976}{135}. For A=(x,y)A = (x, y) on ω,\omega, expanding x2+(yk)2=R2x^2 + (y - k)^2 = R^2 gives x2+y2=242135y+121.x^2 + y^2 = \frac{242}{\sqrt{135}}\,y + 121. Therefore AB2+AC2=2(x2+y2)+242=484135y+484,AT2=x2+y2+2135y+135=512135y+256.AB^2 + AC^2 = 2(x^2 + y^2) + 242 = \frac{484}{\sqrt{135}}\,y + 484, \qquad AT^2 = x^2 + y^2 + 2\sqrt{135}\,y + 135 = \frac{512}{\sqrt{135}}\,y + 256.

Substituting, 64(AB2+AC2)+121AT2=92928135y+61952=11433097613564(AB^2 + AC^2) + 121\,AT^2 = \frac{92928}{\sqrt{135}}\,y + 61952 = 1143 \cdot \frac{30976}{135} yields y=291135.y = \frac{291}{\sqrt{135}}. Then AT2=512291135+256=183552135,AT^2 = \frac{512 \cdot 291}{135} + 256 = \frac{183552}{135}, and XY2=AT2sin2A=121AT2R2=12118355230976=183552256=717.XY^2 = AT^2 \sin^2 A = \frac{121\,AT^2}{R^2} = \frac{121 \cdot 183552}{30976} = \frac{183552}{256} = 717.