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

The numbers of apples growing on each of six apple trees form an arithmetic sequence where the greatest number of apples growing on any of the six trees is double the least number of apples growing on any of the six trees. The total number of apples growing on all six trees is 990.990. Find the greatest number of apples growing on any of the six trees.

Concepts:arithmetic sequencelinear equation

Difficulty rating: 1890

Solution:

Let the six counts be a,a+d,,a+5da, a+d, \ldots, a+5d with common difference d0.d \ge 0. The greatest count is double the least, so a+5d=2a,a + 5d = 2a, which gives a=5d.a = 5d. The total is 6a+15d=30d+15d=45d=990,6a + 15d = 30d + 15d = 45d = 990, so d=22.d = 22.

The greatest number of apples is a+5d=10d=220.a + 5d = 10d = 220.

2.

Recall that a palindrome is a number that reads the same forward and backward. Find the greatest integer less than 10001000 that is a palindrome both when written in base ten and when written in base eight, such as 292=444eight.292 = 444_{\text{eight}}.

Difficulty rating: 2070

Solution:

A four-digit base-eight number lies between 512512 and 4095,4095, so a base-eight palindrome less than 10001000 with four digits must have leading (and trailing) digit 1:1: it has the form 1bb1eight=512+64b+8b+1=513+72b.\overline{1bb1}_{\text{eight}} = 512 + 64b + 8b + 1 = 513 + 72b. Keeping this below 10001000 requires b6,b \le 6, giving the candidates 513,585,657,729,801,873,945.513, 585, 657, 729, 801, 873, 945.

Checking from the top, the only one of these that is also a palindrome in base ten is 585=1111eight.585 = 1111_{\text{eight}}. Every base-eight palindrome with at most three digits is at most 777eight=511<585,777_{\text{eight}} = 511 \lt 585, so the answer is 585.585.

3.

Let ABC\triangle ABC be an isosceles triangle with A=90.\angle A = 90^\circ. There exists a point PP inside ABC\triangle ABC such that PAB=PBC=PCA\angle PAB = \angle PBC = \angle PCA and AP=10.AP = 10. Find the area of ABC.\triangle ABC.

Difficulty rating: 2460

Solution:

Let ω\omega denote the common angle and L=AB=AC.L = AB = AC. Since PAB=ω,\angle PAB = \omega, we have PAC=90ω,\angle PAC = 90^\circ - \omega, and with PCA=ω\angle PCA = \omega the angles of triangle APCAPC give APC=90.\angle APC = 90^\circ. Hence in right triangle APC,APC, L=AC=APsinω=10sinω.L = AC = \frac{AP}{\sin\omega} = \frac{10}{\sin\omega}.

In triangle ABP,ABP, the angle at AA is ω\omega and the angle at BB is 45ω,45^\circ - \omega, so APB=135.\angle APB = 135^\circ. The law of sines gives APsin(45ω)=ABsin135,\frac{AP}{\sin(45^\circ - \omega)} = \frac{AB}{\sin 135^\circ}, that is, 10sin135=Lsin(45ω).10 \sin 135^\circ = L \sin(45^\circ - \omega). Substituting L=10sinωL = \frac{10}{\sin\omega} and expanding yields sinω=2sin(45ω)=cosωsinω,\sin\omega = \sqrt{2}\,\sin(45^\circ - \omega) = \cos\omega - \sin\omega, so tanω=12\tan\omega = \frac{1}{2} and sin2ω=15.\sin^2\omega = \frac{1}{5}.

Therefore L2=100sin2ω=500,L^2 = \frac{100}{\sin^2\omega} = 500, and the area is 12L2=250.\frac{1}{2}L^2 = 250.

4.

Let x,x, y,y, and zz be real numbers satisfying the system of equations xy+4z=60,yz+4x=60,zx+4y=60.xy + 4z = 60, \qquad yz + 4x = 60, \qquad zx + 4y = 60.

Let SS be the set of possible values of x.x. Find the sum of the squares of the elements of S.S.

Difficulty rating: 2460

Solution:

Subtracting the second equation from the first gives xyyz+4z4x=0,xy - yz + 4z - 4x = 0, which factors as (y4)(xz)=0.(y - 4)(x - z) = 0. So y=4y = 4 or x=z.x = z.

If y=4:y = 4: the first equation becomes 4x+4z=60,4x + 4z = 60, so x+z=15,x + z = 15, and the second becomes 4z+4x=604z + 4x = 60 again while the third gives zx=44.zx = 44. Then xx and zz are roots of t215t+44=(t4)(t11),t^2 - 15t + 44 = (t - 4)(t - 11), so x{4,11}.x \in \{4, 11\}.

If x=z:x = z: the first equation reads x(y+4)=60,x(y + 4) = 60, so y=60x4,y = \frac{60}{x} - 4, and the third reads x2+4y=60.x^2 + 4y = 60. Substituting, x2+240x16=60x376x+240=0=(x4)(x6)(x+10),x^2 + \frac{240}{x} - 16 = 60 \quad\Longrightarrow\quad x^3 - 76x + 240 = 0 = (x - 4)(x - 6)(x + 10), so x{4,6,10},x \in \{4, 6, -10\}, each with real yy and z.z. Hence S={10,4,6,11}S = \{-10, 4, 6, 11\} and the sum of squares is 100+16+36+121=273.100 + 16 + 36 + 121 = 273.

5.

Let SS be the set of all positive rational numbers rr such that when the two numbers rr and 55r55r are written as fractions in lowest terms, the sum of the numerator and denominator of one fraction is the same as the sum of the numerator and denominator of the other fraction. The sum of all the elements of SS can be expressed in the form pq,\frac{p}{q}, where pp and qq are relatively prime positive integers. Find p+q.p + q.

Difficulty rating: 2740

Solution:

Write r=abr = \frac{a}{b} in lowest terms and let g=gcd(b,55).g = \gcd(b, 55). Then 55r55r in lowest terms is 55a/gb/g\frac{55a/g}{b/g} (no further cancellation is possible since gcd(a,b)=1\gcd(a, b) = 1 and 5555 is squarefree). The condition is a+b=55ag+bg.a + b = \frac{55a}{g} + \frac{b}{g}. If g=1g = 1 this forces a=55a,a = 55a, impossible; if g=55g = 55 it forces b=b55,b = \frac{b}{55}, impossible.

If g=5:g = 5: a+b=11a+b5a + b = 11a + \frac{b}{5} gives 4b5=10a,\frac{4b}{5} = 10a, so 2b=25a.2b = 25a. Since gcd(a,b)=1,\gcd(a, b) = 1, we need a=2a = 2 and b=25,b = 25, so r=225r = \frac{2}{25} (indeed 2+25=27=22+52 + 25 = 27 = 22 + 5 from 55r=22555r = \frac{22}{5}). If g=11:g = 11: a+b=5a+b11a + b = 5a + \frac{b}{11} gives 10b11=4a,\frac{10b}{11} = 4a, so 5b=22a,5b = 22a, forcing a=5,a = 5, b=22b = 22 and r=522r = \frac{5}{22} (with 5+22=27=25+25 + 22 = 27 = 25 + 2 from 55r=25255r = \frac{25}{2}).

Hence S={225,522}S = \left\{\frac{2}{25}, \frac{5}{22}\right\} and the sum is 225+522=44+125550=169550,\frac{2}{25} + \frac{5}{22} = \frac{44 + 125}{550} = \frac{169}{550}, already in lowest terms. The answer is 169+550=719.169 + 550 = 719.

6.

Consider the L-shaped region formed by three unit squares joined at their sides, as shown below. Two points AA and BB are chosen independently and uniformly at random from inside the region. The probability that the midpoint of AB\overline{AB} also lies inside this L-shaped region can be expressed as mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 2740

Solution:

Place the region as [0,1]2([0,1]×[1,2])([1,2]×[0,1]),[0,1]^2 \cup \bigl([0,1] \times [1,2]\bigr) \cup \bigl([1,2] \times [0,1]\bigr), so it is the 2×22 \times 2 square with the top-right unit square removed. Both coordinates of the midpoint are averages of numbers in [0,2],[0, 2], so the midpoint always lies in the 2×22 \times 2 square; it fails to lie in the region exactly when it lands in the missing square, i.e. when xA+xB>2x_A + x_B \gt 2 and yA+yB>2.y_A + y_B \gt 2.

If neither point is in the right square, then xA+xB2;x_A + x_B \le 2; if neither is in the top square, then yA+yB2.y_A + y_B \le 2. So failure requires one point in the top square and the other in the right square, which happens with probability 21313=29.2 \cdot \frac{1}{3} \cdot \frac{1}{3} = \frac{2}{9}. In that case, one xx-coordinate is uniform on [0,1][0,1] and the other on [1,2],[1,2], so xA+xB>2x_A + x_B \gt 2 with probability 12,\frac{1}{2}, and independently yA+yB>2y_A + y_B \gt 2 with probability 12.\frac{1}{2}.

The failure probability is 2914=118,\frac{2}{9} \cdot \frac{1}{4} = \frac{1}{18}, so the desired probability is 1718\frac{17}{18} and m+n=17+18=35.m + n = 17 + 18 = 35.

7.

Each vertex of a regular dodecagon (1212-gon) is to be colored either red or blue, and thus there are 2122^{12} possible colorings. Find the number of these colorings with the property that no four vertices colored the same color are the four vertices of a rectangle.

Solution:

The twelve vertices lie on a circle, and a rectangle inscribed in a circle must have its diagonals pass through the center. So the rectangles with vertices among the twelve are exactly the pairs of distinct diameters, where the diameters join the 66 antipodal pairs of vertices. A monochromatic rectangle appears exactly when two antipodal pairs are each colored solidly in the same color.

Each antipodal pair is independently both red (11 way), both blue (11 way), or mixed (22 ways). A coloring is valid exactly when at most one pair is both red and at most one pair is both blue. Counting by the numbers of solid red and solid blue pairs: 26+625+625+6524=64+192+192+480=928.2^6 + 6 \cdot 2^5 + 6 \cdot 2^5 + 6 \cdot 5 \cdot 2^4 = 64 + 192 + 192 + 480 = 928.

8.

Let ω=cos2π7+isin2π7,\omega = \cos\frac{2\pi}{7} + i \cdot \sin\frac{2\pi}{7}, where i=1.i = \sqrt{-1}. Find the value of the product k=06(ω3k+ωk+1).\prod_{k=0}^{6} \left(\omega^{3k} + \omega^k + 1\right).

Difficulty rating: 2840

Solution:

Let P(x)=x3+x+1,P(x) = x^3 + x + 1, so the product is k=06P(ωk),\prod_{k=0}^{6} P(\omega^k), where ω0,,ω6\omega^0, \ldots, \omega^6 are all seventh roots of unity. Since x71=k(xωk),x^7 - 1 = \prod_k (x - \omega^k), writing P(x)=(xβ1)(xβ2)(xβ3)P(x) = (x - \beta_1)(x - \beta_2)(x - \beta_3) and swapping the order of the double product gives k=06P(ωk)=j=13k=06(ωkβj)=j=13((βj71))=j=13(1βj7).\prod_{k=0}^{6} P(\omega^k) = \prod_{j=1}^{3} \prod_{k=0}^{6} (\omega^k - \beta_j) = \prod_{j=1}^{3} \bigl(-(\beta_j^7 - 1)\bigr) = \prod_{j=1}^{3} (1 - \beta_j^7).

For a root β\beta of P,P, repeatedly using β3=β1\beta^3 = -\beta - 1 gives β4=β2β,\beta^4 = -\beta^2 - \beta, β5=β2+β+1,\beta^5 = -\beta^2 + \beta + 1, β6=β2+2β+1,\beta^6 = \beta^2 + 2\beta + 1, and β7=2β21.\beta^7 = 2\beta^2 - 1. Hence 1β7=2(1β)(1+β),1 - \beta^7 = 2(1 - \beta)(1 + \beta), and j(1βj7)=23j(1βj)j(1+βj)=8P(1)(P(1))=831=24.\prod_{j} (1 - \beta_j^7) = 2^3 \prod_j (1 - \beta_j) \prod_j (1 + \beta_j) = 8 \cdot P(1) \cdot \bigl(-P(-1)\bigr) = 8 \cdot 3 \cdot 1 = 24.

So the requested product equals 24.24.

9.

Circles ω1\omega_1 and ω2\omega_2 intersect at two points PP and Q,Q, and their common tangent line closer to PP intersects ω1\omega_1 and ω2\omega_2 at points AA and B,B, respectively. The line parallel to AB\overline{AB} that passes through PP intersects ω1\omega_1 and ω2\omega_2 for the second time at points XX and Y,Y, respectively. Suppose PX=10,PX = 10, PY=14,PY = 14, and PQ=5.PQ = 5. Then the area of trapezoid XABYXABY is mn,m\sqrt{n}, where mm and nn are positive integers and nn is not divisible by the square of any prime. Find m+n.m + n.

Difficulty rating: 2920

Solution:

Since the tangent to ω1\omega_1 at AA is parallel to the chord XP,XP, the point AA is the midpoint of arc XP,XP, so the perpendicular from AA to line XYXY lands at the midpoint of XP;\overline{XP}; similarly the perpendicular from BB lands at the midpoint of PY.\overline{PY}. As XX and YY are on opposite sides of P,P, the parallel sides of the trapezoid are XY=10+14=24XY = 10 + 14 = 24 and AB=102+142=12.AB = \frac{10}{2} + \frac{14}{2} = 12.

Line PQPQ is the radical axis, so its intersection MM with the tangent line satisfies MA2=MPMQ=MB2:MA^2 = MP \cdot MQ = MB^2: MM is the midpoint of AB,\overline{AB}, and with MA=6MA = 6 and MQ=MP+5,MQ = MP + 5, 36=MP(MP+5),MP=4.36 = MP(MP + 5), \qquad MP = 4.

Set up coordinates along AB:AB: the feet of AA and BB are the midpoints of XPXP and PY,PY, so PP lies 55 units from the first foot, while MM lies 66 units from A.A. Hence the horizontal offset between MM and PP is 65=1,6 - 5 = 1, and the height hh of the trapezoid satisfies h2=MP21=15.h^2 = MP^2 - 1 = 15. The area is 24+12215=1815,\frac{24 + 12}{2}\sqrt{15} = 18\sqrt{15}, so m+n=18+15=33.m + n = 18 + 15 = 33.

10.

Let NN be the number of ways to place the integers 11 through 1212 in the 1212 cells of a 2×62 \times 6 grid so that for any two cells sharing a side, the difference between the numbers in those cells is not divisible by 3.3. One way to do this is shown below. Find the number of positive integer divisors of N.N.

Solution:

The condition says adjacent cells have different residues mod 3.3. Each residue class among 1,,121, \ldots, 12 has exactly 44 members, so N=K(4!)3,N = K \cdot (4!)^3, where KK is the number of ways to fill the grid with residues 0,1,2,0, 1, 2, each used 44 times, with adjacent cells different.

A column is an ordered pair (a,b)(a, b) of distinct residues. If the current column is (a,b)(a, b) and ee is the third residue, the next column must be one of (b,a),(b, a), (b,e),(b, e), (e,a):(e, a): each of the three unordered pairs {a,b},\{a,b\}, {b,e},\{b,e\}, {a,e}\{a,e\} occurs in exactly one allowed orientation. So a residue pattern is determined by the sequence of six unordered pairs together with the orientation of the first column. Since each residue must appear 44 times, each of the three pairs must be used exactly twice, giving 6!2!2!2!=90\frac{6!}{2!\,2!\,2!} = 90 sequences and K=290=180.K = 2 \cdot 90 = 180.

Therefore N=180243=2,488,320=211355,N = 180 \cdot 24^3 = 2{,}488{,}320 = 2^{11} \cdot 3^5 \cdot 5, which has 1262=14412 \cdot 6 \cdot 2 = 144 positive divisors.

11.

Find the number of collections of 1616 distinct subsets of {1,2,3,4,5}\{1, 2, 3, 4, 5\} with the property that for any two subsets XX and YY in the collection, XY.X \cap Y \neq \emptyset.

Difficulty rating: 3060

Solution:

The 3232 subsets split into 1616 complementary pairs {X,Xc},\{X, X^{\mathsf{c}}\}, and no collection can contain both members of a pair (they are disjoint). A collection of 1616 pairwise-intersecting subsets must therefore contain exactly one member of every pair; in particular it contains {1,2,3,4,5}\{1,2,3,4,5\} and not .\emptyset.

If some singleton {x}\{x\} is chosen, every member must meet {x},\{x\}, i.e. contain x.x. Exactly one set in each complementary pair contains x,x, so the collection must be exactly the 1616 subsets containing x:x: this gives 55 collections. Otherwise no singleton is chosen, so all five 44-element sets are in the collection. Any two 33-element subsets of a 55-element set intersect, a 44-element set is disjoint only from its complement, and a chosen 22-element set and a chosen 33-element set are disjoint only if they are complements, which cannot both be chosen. So the only remaining condition is that the chosen 22-element sets pairwise intersect.

Viewing 22-element sets as edges of K5,K_5, a pairwise-intersecting collection of edges either has all edges through one common vertex or is a triangle. The number of such edge families is: the empty family (11), triangles ((53)=10\binom{5}{3} = 10), and nonempty families within a star, 5(241)10=655(2^4 - 1) - 10 = 65 (subtracting the 1010 single edges counted at both endpoints). That is 1+10+65=761 + 10 + 65 = 76 collections, for a total of 5+76=81.5 + 76 = 81.

12.

In ABC\triangle ABC with side lengths AB=13,AB = 13, BC=14,BC = 14, and CA=15,CA = 15, let MM be the midpoint of BC.\overline{BC}. Let PP be the point on the circumcircle of ABC\triangle ABC such that MM is on AP.\overline{AP}. There exists a unique point QQ on segment AM\overline{AM} such that PBQ=PCQ.\angle PBQ = \angle PCQ. Then AQAQ can be written as mn,\frac{m}{\sqrt{n}}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 3160

Solution:

Place B=(0,0),B = (0, 0), C=(14,0),C = (14, 0), A=(5,12),A = (5, 12), so M=(7,0)M = (7, 0) and AM=4+144=237.AM = \sqrt{4 + 144} = 2\sqrt{37}. By power of the point MM in the circumcircle, MAMP=MBMC=49,MA \cdot MP = MB \cdot MC = 49, so MP=49237MP = \frac{49}{2\sqrt{37}} and extending AMA \to M by that length gives P=(56774,14737).P = \left(\frac{567}{74}, -\frac{147}{37}\right). The direction of BP\overrightarrow{BP} is proportional to (27,14),(27, -14), and the direction of CP\overrightarrow{CP} is proportional to (67,42).-(67, 42).

Write Q=(5+2t, 1212t)Q = (5 + 2t,\ 12 - 12t) for t(0,1),t \in (0, 1), so that AQ=tAM.AQ = t \cdot AM. Using tanθ=u×vuv\tan\theta = \frac{|u \times v|}{u \cdot v} for the angle between rays, tanPBQ=394296t222t33,tanPCQ=1182888t370t+99,\tan\angle PBQ = \frac{394 - 296t}{222t - 33}, \qquad \tan\angle PCQ = \frac{1182 - 888t}{370t + 99}, and the second numerator is exactly 3(394296t).3(394 - 296t). Setting the two tangents equal cancels this common factor and leaves 370t+99=3(222t33),370t + 99 = 3(222t - 33), so 296t=198296t = 198 and t=99148.t = \frac{99}{148}.

Then AQ=99148237=99148148=99148,AQ = \frac{99}{148} \cdot 2\sqrt{37} = \frac{99}{148}\sqrt{148} = \frac{99}{\sqrt{148}}, and since gcd(99,148)=1,\gcd(99, 148) = 1, the answer is 99+148=247.99 + 148 = 247.

13.

Let AA be an acute angle such that tanA=2cosA.\tan A = 2 \cos A. Find the number of positive integers nn less than or equal to 10001000 such that secnA+tannA\sec^n A + \tan^n A is a positive integer whose units digit is 9.9.

Difficulty rating: 3060

Solution:

Let s=secAs = \sec A and t=tanA.t = \tan A. The hypothesis tanA=2cosA\tan A = 2\cos A says tanAsecA=2,\tan A \sec A = 2, i.e. st=2,st = 2, and always s2t2=1.s^2 - t^2 = 1. Then (s2+t2)2=(s2t2)2+4s2t2=17,(s^2 + t^2)^2 = (s^2 - t^2)^2 + 4s^2t^2 = 17, so u=s2u = s^2 and v=t2v = t^2 satisfy u+v=17,u + v = \sqrt{17}, uv=4.uv = 4. The sums wm=um+vmw_m = u^m + v^m obey wm+1=17wm4wm1w_{m+1} = \sqrt{17}\,w_m - 4w_{m-1} with w0=2,w_0 = 2, w1=17;w_1 = \sqrt{17}; by induction wmw_m is a positive integer for even mm and an integer times 17\sqrt{17} for odd m.m.

For even n=2m,n = 2m, sn+tn=wm,s^n + t^n = w_m, an integer exactly when mm is even, i.e. 4n.4 \mid n. For odd n,n, (sn+tn)2=wn+2(st)n=wn+2n+1(s^n + t^n)^2 = w_n + 2 (st)^n = w_n + 2^{n+1} is irrational, so sn+tns^n + t^n is not an integer. Thus write n=4jn = 4j and xj=w2j.x_j = w_{2j}. Since u2+v2=9u^2 + v^2 = 9 and u2v2=16,u^2 v^2 = 16, the integers xjx_j satisfy xj+1=9xj16xj1,x0=2,x1=9,x_{j+1} = 9x_j - 16x_{j-1}, \qquad x_0 = 2, \quad x_1 = 9, giving 9,49,297,1889,9, 49, 297, 1889, \ldots whose units digits repeat with period three: 9,9,7.9, 9, 7. The units digit is 77 when 3j3 \mid j and 99 otherwise.

The valid n1000n \le 1000 are n=4jn = 4j with 1j2501 \le j \le 250 and 3j:3 \nmid j: there are 25083=167250 - 83 = 167 of them.

14.

A cube-shaped container has vertices A,A, B,B, C,C, and D,D, where AB\overline{AB} and CD\overline{CD} are parallel edges of the cube, and AC\overline{AC} and BD\overline{BD} are diagonals of faces of the cube, as shown. Vertex AA of the cube is set on a horizontal plane P\mathcal{P} so that the plane of the rectangle ABDCABDC is perpendicular to P,\mathcal{P}, vertex BB is 22 meters above P,\mathcal{P}, vertex CC is 88 meters above P,\mathcal{P}, and vertex DD is 1010 meters above P.\mathcal{P}. The cube contains water whose surface is parallel to P\mathcal{P} at a height of 77 meters above P.\mathcal{P}. The volume of water is mn\frac{m}{n} cubic meters, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 3270

Solution:

Give the cube coordinates so that AA is the origin, the edges lie along the axes, and the edge length is s:s: then B=(s,0,0),B = (s, 0, 0), C=(0,s,s),C = (0, s, s), D=(s,s,s)D = (s, s, s) satisfy the description (ABCD\overline{AB} \parallel \overline{CD} are edges and AC,\overline{AC}, BD\overline{BD} are face diagonals). Height above P\mathcal{P} is a linear function h(x,y,z)=u1x+u2y+u3zh(x, y, z) = u_1 x + u_2 y + u_3 z for some unit vector u.u. The plane of rectangle ABDCABDC has normal direction (0,1,1),(0, 1, -1), and perpendicularity to P\mathcal{P} means the vertical direction uu lies in that plane, so u2=u3.u_2 = u_3. The heights of BB and CC give su1=2s u_1 = 2 and s(u2+u3)=8,s(u_2 + u_3) = 8, so su2=su3=4,su_2 = su_3 = 4, and u=1|u| = 1 forces s2=22+42+42=36.s^2 = 2^2 + 4^2 + 4^2 = 36. Thus s=6s = 6 and u=13(1,2,2)u = \frac{1}{3}(1, 2, 2) (and indeed h(D)=10h(D) = 10).

The water is the region of [0,6]3[0, 6]^3 where h7,h \le 7, i.e. x+2y+2z21.x + 2y + 2z \le 21. For fixed x=a,x = a, the slice is {(y,z)[0,6]2:y+z21a2},\{(y, z) \in [0,6]^2 : y + z \le \tfrac{21 - a}{2}\}, and since 21a2\frac{21 - a}{2} lies between 66 and 12,12, its area is 3612(1221a2)2=36(3+a)28.36 - \frac{1}{2}\left(12 - \frac{21 - a}{2}\right)^2 = 36 - \frac{(3 + a)^2}{8}.

Integrating, V=06(36(3+a)28)da=216933324=21670224=7474,V = \int_0^6 \left(36 - \frac{(3 + a)^2}{8}\right) da = 216 - \frac{9^3 - 3^3}{24} = 216 - \frac{702}{24} = \frac{747}{4}, so m+n=747+4=751.m + n = 747 + 4 = 751.

15.

For each positive integer nn let ana_n be the least positive integer multiple of 2323 such that an1(mod2n).a_n \equiv 1 \pmod{2^n}. Find the number of positive integers nn less than or equal to 10001000 that satisfy an=an+1.a_n = a_{n+1}.

Solution:

Write an=23bn,a_n = 23 b_n, where bnb_n is the unique integer in [1,2n][1, 2^n] with 23bn1(mod2n),23 b_n \equiv 1 \pmod{2^n}, i.e. the inverse of 2323 mod 2n.2^n. Reducing mod 2n2^n shows bn+1{bn, bn+2n},b_{n+1} \in \{b_n,\ b_n + 2^n\}, so an=an+1a_n = a_{n+1} exactly when bn+1=bn,b_{n+1} = b_n, which happens exactly when the binary digit of weight 2n2^n in bn+1b_{n+1} is 0.0.

Since 2389=2047=2111,23 \cdot 89 = 2047 = 2^{11} - 1, setting Tk=1+211+222++211(k1)T_k = 1 + 2^{11} + 2^{22} + \cdots + 2^{11(k-1)} gives 2389Tk=211k1,23 \cdot 89\,T_k = 2^{11k} - 1, so 23(211k89Tk)1(mod211k),23\left(2^{11k} - 89\,T_k\right) \equiv 1 \pmod{2^{11k}}, and every bnb_n with n11kn \le 11k is the reduction of 211k89Tk2^{11k} - 89\,T_k mod 2n.2^n. In binary, 89=1011001two89 = 1011001_{\text{two}} occupies positions 0,3,4,60, 3, 4, 6 of each 1111-bit block of 89Tk.89\,T_k. Since 89Tk89\,T_k is odd, 211k89Tk=(211k189Tk)+12^{11k} - 89\,T_k = \bigl(2^{11k} - 1 - 89\,T_k\bigr) + 1 keeps digit 00 equal to 11 and complements every digit in positions 11 through 11k1.11k - 1.

So for n1,n \ge 1, the digit of weight 2n2^n is 00 exactly when n0,3,4,6(mod11).n \equiv 0, 3, 4, 6 \pmod{11}. Among 1n1000=9011+10,1 \le n \le 1000 = 90 \cdot 11 + 10, the residue 00 occurs 9090 times and the residues 3,3, 4,4, 66 occur 9191 times each, for a total of 90+391=363.90 + 3 \cdot 91 = 363.