2023 AIME I 考试题目

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

考试时间还剩下:

3:00:00

1.

Five men and nine women stand equally spaced around a circle in random order. The probability that every man stands diametrically opposite a woman is mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 191
Concepts:basic probabilitycombinationspairing and grouping

Difficulty rating: 2170

Solution:

The 1414 positions split into 77 diametrically opposite pairs. Only the set of positions occupied by the men matters, and all (145)=2002\binom{14}{5} = 2002 five-element sets are equally likely. Every man stands opposite a woman exactly when no pair contains two men, so choose which 55 of the 77 pairs contain a man ((75)=21\binom{7}{5} = 21 ways) and which position of each chosen pair the man occupies (25=322^5 = 32 ways), for 2132=67221 \cdot 32 = 672 favorable sets.

The probability is 6722002=48143,\frac{672}{2002} = \frac{48}{143}, so m+n=48+143=191.m + n = 48 + 143 = 191.

2.

Positive real numbers b1b \ne 1 and nn satisfy the equations logbn=logbnandblogbn=logb(bn).\sqrt{\log_b n} = \log_b \sqrt{n} \qquad \text{and} \qquad b \cdot \log_b n = \log_b (bn). The value of nn is jk,\frac{j}{k}, where jj and kk are relatively prime positive integers. Find j+k.j + k.

Answer: 881

Difficulty rating: 2100

Solution:

Let x=logbn.x = \log_b n. The first equation says x=logbn1/2=x2,\sqrt{x} = \log_b n^{1/2} = \frac{x}{2}, so x=x24,x = \frac{x^2}{4}, giving x=0x = 0 or x=4.x = 4. If x=0x = 0 then n=1,n = 1, and the second equation would read 0=logbb=1,0 = \log_b b = 1, impossible; so x=4.x = 4.

The second equation says bx=logbb+logbn=1+x,bx = \log_b b + \log_b n = 1 + x, so 4b=54b = 5 and b=54.b = \frac{5}{4}. Then n=b4=(54)4=625256,n = b^4 = \left(\frac{5}{4}\right)^4 = \frac{625}{256}, which is in lowest terms, so j+k=625+256=881.j + k = 625 + 256 = 881.

3.

A plane contains 4040 lines, no 22 of which are parallel. Suppose that there are 33 points where exactly 33 lines intersect, 44 points where exactly 44 lines intersect, 55 points where exactly 55 lines intersect, 66 points where exactly 66 lines intersect, and no points where more than 66 lines intersect. Find the number of points where exactly 22 lines intersect.

Answer: 607
Solution:

Since no two of the 4040 lines are parallel, every two lines cross, giving (402)=780\binom{40}{2} = 780 pairs of lines, and each pair meets at exactly one point. A point where exactly kk lines meet accounts for exactly (k2)\binom{k}{2} of these pairs.

The given points account for 3(32)+4(42)+5(52)+6(62)=9+24+50+90=1733\binom{3}{2} + 4\binom{4}{2} + 5\binom{5}{2} + 6\binom{6}{2} = 9 + 24 + 50 + 90 = 173 pairs of lines. Each remaining pair meets at a point where exactly 22 lines intersect, one point per pair, so there are 780173=607780 - 173 = 607 such points.

4.

The sum of all positive integers mm such that 13!m\frac{13!}{m} is a perfect square can be written as 2a3b5c7d11e13f,2^a 3^b 5^c 7^d 11^e 13^f, where a,a, b,b, c,c, d,d, e,e, and ff are positive integers. Find a+b+c+d+e+f.a + b + c + d + e + f.

Answer: 12

Difficulty rating: 2330

Solution:

Since 13!=210355271113,13! = 2^{10} \cdot 3^5 \cdot 5^2 \cdot 7 \cdot 11 \cdot 13, a valid m=2x3y5z7w11u13vm = 2^x 3^y 5^z 7^w 11^u 13^v must leave every exponent of 13!m\frac{13!}{m} even: x{0,2,4,6,8,10},x \in \{0, 2, 4, 6, 8, 10\}, y{1,3,5},y \in \{1, 3, 5\}, z{0,2},z \in \{0, 2\}, and w=u=v=1.w = u = v = 1.

The choices are independent, so the sum of all such mm factors as (1+4++1024)(3+27+243)(1+25)71113=1365273261001.(1 + 4 + \cdots + 1024)(3 + 27 + 243)(1 + 25) \cdot 7 \cdot 11 \cdot 13 = 1365 \cdot 273 \cdot 26 \cdot 1001. Since 1365=35713,1365 = 3 \cdot 5 \cdot 7 \cdot 13, 273=3713,273 = 3 \cdot 7 \cdot 13, 26=213,26 = 2 \cdot 13, and 1001=71113,1001 = 7 \cdot 11 \cdot 13, the sum equals 21325173111134,2^1 3^2 5^1 7^3 11^1 13^4, and a+b+c+d+e+f=1+2+1+3+1+4=12.a + b + c + d + e + f = 1 + 2 + 1 + 3 + 1 + 4 = 12.

5.

Let PP be a point on the circle circumscribing square ABCDABCD that satisfies PAPC=56PA \cdot PC = 56 and PBPD=90.PB \cdot PD = 90. Find the area of ABCD.ABCD.

Answer: 106

Difficulty rating: 2400

Solution:

Let the circle have center OO and radius R,R, with A=(R,0),A = (R, 0), B=(0,R),B = (0, R), C=(R,0),C = (-R, 0), D=(0,R),D = (0, -R), and P=(Rcosθ,Rsinθ).P = (R\cos\theta, R\sin\theta). Then PA2=2R2(1cosθ)PA^2 = 2R^2(1 - \cos\theta) and PC2=2R2(1+cosθ),PC^2 = 2R^2(1 + \cos\theta), so PAPC=2R2sinθ=56.PA \cdot PC = 2R^2|\sin\theta| = 56. In the same way PBPD=2R2cosθ=90.PB \cdot PD = 2R^2|\cos\theta| = 90.

Squaring and adding, 4R4=562+902=11236,4R^4 = 56^2 + 90^2 = 11236, so 2R2=11236=106.2R^2 = \sqrt{11236} = 106. The square has diagonal 2R,2R, hence area (2R)22=2R2=106.\frac{(2R)^2}{2} = 2R^2 = 106.

6.

Alice knows that 33 red cards and 33 black cards will be revealed to her one at a time in random order. Before each card is revealed, Alice must guess its color. If Alice plays optimally, the expected number of cards she will guess correctly is mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Answer: 51

Difficulty rating: 2600

Solution:

Whatever Alice guesses, the deck evolves the same way; only the immediate success probability depends on her guess, so it is optimal to guess a color with the most cards remaining. Let E(r,b)E(r, b) be the expected number of correct guesses from a state with rr red and bb black cards left. Then E(r,0)=r,E(r, 0) = r, E(0,b)=b,E(0, b) = b, and E(r,b)=max(r,b)r+b+rE(r1,b)+bE(r,b1)r+b.E(r, b) = \frac{\max(r, b)}{r + b} + \frac{r\,E(r-1, b) + b\,E(r, b-1)}{r + b}.

By symmetry E(r,b)=E(b,r).E(r, b) = E(b, r). Computing upward: E(1,1)=32,E(1,1) = \frac{3}{2}, E(2,1)=23+232+23=73,E(2,1) = \frac{2}{3} + \frac{2 \cdot \frac{3}{2} + 2}{3} = \frac{7}{3}, E(2,2)=12+73=176,E(2,2) = \frac{1}{2} + \frac{7}{3} = \frac{17}{6}, E(3,1)=34+373+34=134,E(3,1) = \frac{3}{4} + \frac{3 \cdot \frac{7}{3} + 3}{4} = \frac{13}{4}, E(3,2)=35+3176+21345=185,E(3,2) = \frac{3}{5} + \frac{3 \cdot \frac{17}{6} + 2 \cdot \frac{13}{4}}{5} = \frac{18}{5}, and finally E(3,3)=12+185=4110.E(3,3) = \frac{1}{2} + \frac{18}{5} = \frac{41}{10}.

So the expected number of correct guesses is 4110,\frac{41}{10}, and m+n=41+10=51.m + n = 41 + 10 = 51.

7.

Call a positive integer nn extra-distinct if the remainders when nn is divided by 2,2, 3,3, 4,4, 5,5, and 66 are distinct. Find the number of extra-distinct positive integers less than 1000.1000.

Answer: 49
Solution:

Write rkr_k for the remainder of nn modulo k,k, and note r2r4(mod2),r_2 \equiv r_4 \pmod 2, r2r6(mod2),r_2 \equiv r_6 \pmod 2, and r3r6(mod3).r_3 \equiv r_6 \pmod 3. If r2=0:r_2 = 0: then r4r_4 is even and different from r2,r_2, so r4=2;r_4 = 2; then r6r_6 is even and avoids {0,2},\{0, 2\}, so r6=4,r_6 = 4, which gives r3=1;r_3 = 1; finally r5r_5 avoids {0,1,2,4},\{0, 1, 2, 4\}, so r5=3.r_5 = 3. These say n2n \equiv -2 modulo each of 2,3,4,5,6,2, 3, 4, 5, 6, i.e. n58(mod60).n \equiv 58 \pmod{60}.

If r2=1:r_2 = 1: similarly r4=3,r_4 = 3, then r6=5,r_6 = 5, giving r3=2,r_3 = 2, and r5r_5 avoids {1,2,3,5},\{1, 2, 3, 5\}, so r5{0,4}.r_5 \in \{0, 4\}. The choice r5=4r_5 = 4 gives n1(mod60),n \equiv -1 \pmod{60}, i.e. n59;n \equiv 59; the choice r5=0r_5 = 0 gives n11(mod12)n \equiv 11 \pmod{12} with 5n,5 \mid n, i.e. n35(mod60).n \equiv 35 \pmod{60}.

Below 10001000 there are 1717 integers congruent to 35,35, 1616 congruent to 58,58, and 1616 congruent to 5959 modulo 60,60, for a total of 17+16+16=49.17 + 16 + 16 = 49.

8.

Rhombus ABCDABCD has BAD<90.\angle BAD \lt 90^\circ. There is a point PP on the incircle of the rhombus such that the distances from PP to the lines DA,DA, AB,AB, and BCBC are 9,9, 5,5, and 16,16, respectively. Find the perimeter of ABCD.ABCD.

Answer: 125
Solution:

The distances from an interior point to the parallel lines DADA and BCBC add up to the distance between them, the height of the rhombus. So the height is 9+16=25,9 + 16 = 25, and the incircle, tangent to both lines, has radius 252.\frac{25}{2}. Center the incircle at the origin with DA: y=252DA:\ y = \frac{25}{2} and BC: y=252.BC:\ y = -\frac{25}{2}. Then PP has yy-coordinate 2529=72,\frac{25}{2} - 9 = \frac{7}{2}, and x2+(72)2=(252)2x^2 + \left(\frac{7}{2}\right)^2 = \left(\frac{25}{2}\right)^2 gives x=±12.x = \pm 12.

Let α=BAD.\alpha = \angle BAD. Line ABAB is tangent to the incircle and makes angle α\alpha with the horizontal, so (orienting the figure suitably) it is xsinα+ycosα=252,x \sin\alpha + y \cos\alpha = -\frac{25}{2}, and interior points satisfy xsinα+ycosα+252>0.x\sin\alpha + y\cos\alpha + \frac{25}{2} \gt 0. The condition dist(P,AB)=5\operatorname{dist}(P, AB) = 5 reads xsinα+72cosα+252=5.x \sin\alpha + \frac{7}{2}\cos\alpha + \frac{25}{2} = 5. For x=12x = 12 the left side exceeds 252,\frac{25}{2}, so x=12,x = -12, and the equation becomes 24sinα7cosα=15.24\sin\alpha - 7\cos\alpha = 15.

Substituting 7cosα=24sinα157\cos\alpha = 24\sin\alpha - 15 into sin2α+cos2α=1\sin^2\alpha + \cos^2\alpha = 1 yields 625sin2α720sinα+176=0,625\sin^2\alpha - 720\sin\alpha + 176 = 0, so sinα=45\sin\alpha = \frac{4}{5} or 44125.\frac{44}{125}. The root 44125\frac{44}{125} makes cosα=24sinα157\cos\alpha = \frac{24\sin\alpha - 15}{7} negative, contradicting BAD<90.\angle BAD \lt 90^\circ. So sinα=45,\sin\alpha = \frac{4}{5}, the side length is 25sinα=1254,\frac{25}{\sin\alpha} = \frac{125}{4}, and the perimeter is 41254=125.4 \cdot \frac{125}{4} = 125.

9.

Find the number of cubic polynomials p(x)=x3+ax2+bx+c,p(x) = x^3 + ax^2 + bx + c, where a,a, b,b, and cc are integers in {20,19,18,,18,19,20},\{-20, -19, -18, \ldots, 18, 19, 20\}, such that there is a unique integer m2m \ne 2 with p(m)=p(2).p(m) = p(2).

Answer: 738

Difficulty rating: 2920

Solution:

Since p(m)p(2)p(m) - p(2) does not involve c,c, each valid pair (a,b)(a, b) contributes 4141 polynomials. Factoring, p(x)p(2)=(x2)(x2+(a+2)x+(2a+b+4)),p(x) - p(2) = (x - 2)\bigl(x^2 + (a+2)x + (2a + b + 4)\bigr), so we need the quadratic factor q(x)q(x) to have exactly one integer root different from 2.2. If qq has any integer root, its other root is also an integer (their sum (a+2)-(a+2) is an integer); if qq has no integer root, then no mm exists at all. So either qq has roots 22 and kk with k2,k \ne 2, or a double root k2.k \ne 2.

Roots 22 and k:k: Vieta's formulas give a=4ka = -4 - k and b=4k+4.b = 4k + 4. The constraint 20b20-20 \le b \le 20 forces 6k4-6 \le k \le 4 (and then aa is automatically in range), so excluding k=2k = 2 leaves 1010 pairs. Double root k:k: here a=2k2a = -2k - 2 and b=k2+4k,b = k^2 + 4k, and b20b \le 20 forces 6k2,-6 \le k \le 2, all valid for a,a, so excluding k=2k = 2 leaves 88 pairs.

That is 1818 pairs (a,b),(a, b), hence 1841=73818 \cdot 41 = 738 polynomials.

10.

There exists a unique positive integer aa for which the sum U=n=12023n2na5U = \sum_{n=1}^{2023} \left\lfloor \frac{n^2 - na}{5} \right\rfloor is an integer strictly between 1000-1000 and 1000.1000. For that unique a,a, find a+U.a + U.

(Note that x\lfloor x \rfloor denotes the greatest integer that is less than or equal to x.x.)

Answer: 944
Solution:

Ignoring the floors, n=12023n2na5=15(n2an)\sum_{n=1}^{2023} \frac{n^2 - na}{5} = \frac{1}{5}\left(\sum n^2 - a\sum n\right) vanishes exactly when a=n2n=22023+13=1349,a = \frac{\sum n^2}{\sum n} = \frac{2 \cdot 2023 + 1}{3} = 1349, an integer. For any other integer aa the raw sum has absolute value at least 15n=202310125409455,\frac{1}{5}\sum n = \frac{2023 \cdot 1012}{5} \approx 409455, while taking floors changes the total by less than 2023,2023, so only a=1349a = 1349 can put UU strictly between 1000-1000 and 1000.1000.

With a=1349,a = 1349, each term is n21349nrn5\frac{n^2 - 1349n - r_n}{5} with rn=(n21349n)mod5,r_n = (n^2 - 1349n) \bmod 5, so U=15rn.U = -\frac{1}{5}\sum r_n. Since 13494(mod5),1349 \equiv 4 \pmod 5, we have n21349nn(n+1)(mod5),n^2 - 1349n \equiv n(n+1) \pmod 5, whose residues for n0,1,2,3,4n \equiv 0, 1, 2, 3, 4 are 0,2,1,2,0,0, 2, 1, 2, 0, summing to 55 per block of five. With 2023=5404+3,2023 = 5 \cdot 404 + 3, the leftover terms n1,2,3n \equiv 1, 2, 3 contribute 2+1+2=5,2 + 1 + 2 = 5, so rn=4055=2025.\sum r_n = 405 \cdot 5 = 2025.

So U=20255=405,U = -\frac{2025}{5} = -405, which indeed lies strictly between 1000-1000 and 1000,1000, and a+U=1349405=944.a + U = 1349 - 405 = 944.

11.

Find the number of subsets of {1,2,3,,10}\{1, 2, 3, \ldots, 10\} that contain exactly one pair of consecutive integers. Examples of such subsets are {1,2,5}\{\mathbf{1}, \mathbf{2}, 5\} and {1,3,6,7,10}.\{1, 3, \mathbf{6}, \mathbf{7}, 10\}.

Answer: 235

Difficulty rating: 2650

Solution:

First, the number of subsets of a block of mm consecutive integers containing no two consecutive elements is the Fibonacci number Fm+2F_{m+2} (with F1=F2=1F_1 = F_2 = 1): conditioning on whether the last element is used gives the Fibonacci recursion, and the counts start 1,2,3,5,1, 2, 3, 5, \ldots

Suppose the unique consecutive pair is {k,k+1}\{k, k+1\} for some 1k9.1 \le k \le 9. The remaining elements must exclude k1k - 1 and k+2k + 2 (either would create a second consecutive pair) and must contain no consecutive pair within {1,,k2}\{1, \ldots, k-2\} or within {k+3,,10},\{k+3, \ldots, 10\}, blocks of sizes k2k - 2 and 8k.8 - k. So the count for this kk is FkF10k.F_k \cdot F_{10-k}.

Summing over k=1,,9:k = 1, \ldots, 9: k=19FkF10k=34+21+26+24+25+24+26+21+34=235.\sum_{k=1}^{9} F_k F_{10-k} = 34 + 21 + 26 + 24 + 25 + 24 + 26 + 21 + 34 = 235.

12.

Let ABC\triangle ABC be an equilateral triangle with side length 55.55. Points D,D, E,E, and FF lie on BC,\overline{BC}, CA,\overline{CA}, and AB,\overline{AB}, respectively, with BD=7,BD = 7, CE=30,CE = 30, and AF=40.AF = 40. Point PP inside ABC\triangle ABC has the property that AEP=BFP=CDP.\angle AEP = \angle BFP = \angle CDP. Find tan2(AEP).\tan^2(\angle AEP).

Answer: 75
Solution:

Place B=(0,0),B = (0, 0), C=(55,0),C = (55, 0), A=(552,5532),A = \left(\frac{55}{2}, \frac{55\sqrt{3}}{2}\right), so that D=(7,0),D = (7, 0), E=(40,153),E = (40, 15\sqrt{3}), and F=(152,1532).F = \left(\frac{15}{2}, \frac{15\sqrt{3}}{2}\right). Let θ\theta be the common angle and let u1,u2,u3\mathbf{u}_1, \mathbf{u}_2, \mathbf{u}_3 be the unit vectors in the directions CA,C \to A, AB,A \to B, BCB \to C — the directions from EE toward A,A, from FF toward B,B, and from DD toward C.C. Splitting PEP - E into its component along u1\mathbf{u}_1 and its component perpendicular to side CA,CA, whose length is the distance d1d_1 from PP to line CA,CA, the angle condition gives (PE)u1=d1cotθ;(P - E)\cdot\mathbf{u}_1 = d_1\cot\theta; similarly (PF)u2=d2cotθ(P - F)\cdot\mathbf{u}_2 = d_2\cot\theta and (PD)u3=d3cotθ.(P - D)\cdot\mathbf{u}_3 = d_3\cot\theta.

Now add all three relations. Since u1+u2+u3=0\mathbf{u}_1 + \mathbf{u}_2 + \mathbf{u}_3 = \mathbf{0} (the directed sides of a triangle close up), PP drops out, and by Viviani's theorem d1+d2+d3d_1 + d_2 + d_3 equals the height 5532.\frac{55\sqrt{3}}{2}. With u1=(12,32),\mathbf{u}_1 = \left(-\frac{1}{2}, \frac{\sqrt{3}}{2}\right), u2=(12,32),\mathbf{u}_2 = \left(-\frac{1}{2}, -\frac{\sqrt{3}}{2}\right), and u3=(1,0),\mathbf{u}_3 = (1, 0), we get Eu1=52,E \cdot \mathbf{u}_1 = \frac{5}{2}, Fu2=15,F \cdot \mathbf{u}_2 = -15, and Du3=7,D \cdot \mathbf{u}_3 = 7, so 5532cotθ=(5215+7)=112.\frac{55\sqrt{3}}{2}\,\cot\theta = -\left(\frac{5}{2} - 15 + 7\right) = \frac{11}{2}.

Hence cotθ=11553=153,\cot\theta = \frac{11}{55\sqrt{3}} = \frac{1}{5\sqrt{3}}, so tan2(AEP)=(53)2=75.\tan^2(\angle AEP) = \left(5\sqrt{3}\right)^2 = 75.

13.

Each face of two noncongruent parallelepipeds is a rhombus whose diagonals have lengths 21\sqrt{21} and 31.\sqrt{31}. The ratio of the volume of the larger of the two polyhedra to the volume of the smaller is mn,\frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n. A parallelepiped is a solid with six parallelogram faces such as the one shown below.

Answer: 125

Difficulty rating: 3160

Solution:

A rhombus with diagonals 21\sqrt{21} and 31\sqrt{31} has side 214+314=13,\sqrt{\frac{21}{4} + \frac{31}{4}} = \sqrt{13}, so the three edge vectors u,\mathbf{u}, v,\mathbf{v}, w\mathbf{w} all have squared length 13.13. In the face spanned by u\mathbf{u} and v\mathbf{v} the diagonals are u±v,\mathbf{u} \pm \mathbf{v}, with u±v2=26±2uv;|\mathbf{u} \pm \mathbf{v}|^2 = 26 \pm 2\,\mathbf{u}\cdot\mathbf{v}; matching {21,31}\{21, 31\} gives uv=±52,\mathbf{u}\cdot\mathbf{v} = \pm\frac{5}{2}, and likewise for the other two pairs.

The squared volume is the Gram determinant V2=det(13xyx13zyz13)=219713(x2+y2+z2)+2xyz=21979754+2xyzV^2 = \det\begin{pmatrix} 13 & x & y \\ x & 13 & z \\ y & z & 13 \end{pmatrix} = 2197 - 13(x^2 + y^2 + z^2) + 2xyz = 2197 - \frac{975}{4} + 2xyz with x,y,z{±52}.x, y, z \in \left\{\pm\frac{5}{2}\right\}. Negating an edge vector flips the signs of two of x,y,z,x, y, z, so only the sign of xyzxyz matters: 2xyz=±1254,2xyz = \pm\frac{125}{4}, giving V2=79384V^2 = \frac{7938}{4} or 76884.\frac{7688}{4}.

The ratio of the volumes is 79387688=39693844=6362,\sqrt{\frac{7938}{7688}} = \sqrt{\frac{3969}{3844}} = \frac{63}{62}, already in lowest terms, so m+n=63+62=125.m + n = 63 + 62 = 125.

14.

The following analog clock has two hands that can move independently of each other.

Initially, both hands point to the number 12.12. The clock performs a sequence of hand movements so that on each movement, one of the two hands moves clockwise to the next number on the clock face while the other hand does not move.

Let NN be the number of sequences of 144144 hand movements such that during the sequence, every possible positioning of the hands appears exactly once, and at the end of the 144144 movements, the hands have returned to their initial position. Find the remainder when NN is divided by 1000.1000.

Answer: 608

Difficulty rating: 3500

Solution:

Record the hands as an ordered pair (a,b)Z12×Z12;(a, b) \in \mathbb{Z}_{12} \times \mathbb{Z}_{12}; each movement replaces (a,b)(a, b) by (a+1,b)(a+1, b) or (a,b+1),(a, b+1), so a valid sequence is a closed tour through all 144144 positions — equivalently, a choice, at each position, of which hand moves next. Sort the positions into 1212 rows according to b,b, and let SbZ12S_b \subseteq \mathbb{Z}_{12} be the set of aa-values at which the tour leaves row bb (a bb-move). A bb-move from row b1b - 1 enters row bb at the same aa-value, and the tour then runs through consecutive aa-values until its next exit. For these runs to cover row bb exactly once they must partition Z12,\mathbb{Z}_{12}, which forces each entry point to sit one step past an exit: Sb1=Sb+1.S_{b-1} = S_b + 1. In particular every SbS_b has the same size c,c, and Sb=S0b.S_b = S_0 - b.

Leaving row bb at its ii-th exit (in cyclic order) leads to a run ending at the (i+1)(i+1)-st exit of row b+1:b + 1: each bb-move advances the row index by 11 modulo 1212 and the exit index by 11 modulo c.c. The tour therefore closes after lcm(12,c)\operatorname{lcm}(12, c) bb-moves, while a full tour must use all 12c12c exits, so the tour is a single cycle through all 144144 positions precisely when gcd(c,12)=1.\gcd(c, 12) = 1. Conversely, every choice of S0S_0 with gcd(S0,12)=1\gcd(|S_0|, 12) = 1 yields exactly one valid movement sequence from the starting position.

Hence N=(121)+(125)+(127)+(1211)=12+792+792+12=1608,N = \binom{12}{1} + \binom{12}{5} + \binom{12}{7} + \binom{12}{11} = 12 + 792 + 792 + 12 = 1608, and the remainder when NN is divided by 10001000 is 608.608.

15.

Find the largest prime number p<1000p \lt 1000 for which there exists a complex number zz satisfying

• the real and imaginary part of zz are both integers;

z=p,|z| = \sqrt{p}, and

• there exists a triangle whose three side lengths are p,p, the real part of z3,z^3, and the imaginary part of z3.z^3.

Answer: 349

Difficulty rating: 3370

Solution:

Write z=a+biz = a + bi with a2+b2=p,a^2 + b^2 = p, so p=2p = 2 or p1(mod4),p \equiv 1 \pmod 4, and the pair {a,b}\{|a|, |b|\} is then unique. Replacing zz by ±z,\pm z, ±zˉ,\pm\bar{z}, ±iz,\pm iz, ±izˉ\pm i\bar{z} only changes the real and imaginary parts of z3z^3 by signs and swaps, so we may take a>b>0,a \gt b \gt 0, and the two candidate side lengths are Rez3|\operatorname{Re} z^3| and Imz3.|\operatorname{Im} z^3|. Expanding z3=(a33ab2)+(3a2bb3)iz^3 = (a^3 - 3ab^2) + (3a^2b - b^3)i and factoring, Rez3+Imz3=(ab)(p+4ab),Rez3Imz3=(a+b)(p4ab).\operatorname{Re} z^3 + \operatorname{Im} z^3 = (a - b)(p + 4ab), \qquad \operatorname{Re} z^3 - \operatorname{Im} z^3 = (a + b)(p - 4ab). The triangle exists exactly when ReIm<p<Re+Im,\bigl||\operatorname{Re}| - |\operatorname{Im}|\bigr| \lt p \lt |\operatorname{Re}| + |\operatorname{Im}|, and those two quantities are, in some order, the absolute values above. Since a>ba \gt b forces (ab)(p+4ab)>p,(a - b)(p + 4ab) \gt p, the whole condition reduces to (a+b)p4ab<p.(a + b)\,|p - 4ab| \lt p.

Because a+b>a2+b2=p,a + b \gt \sqrt{a^2 + b^2} = \sqrt{p}, this requires p4ab<p<32:|p - 4ab| \lt \sqrt{p} \lt 32: the products 4ab4ab and a2+b2a^2 + b^2 must nearly coincide. Checking the primes p1(mod4)p \equiv 1 \pmod 4 below 10001000 from the top down, each with its unique representation (for instance 997=312+62997 = 31^2 + 6^2 gives (a+b)p4ab=37253,(a+b)|p - 4ab| = 37 \cdot 253, far too big), the condition fails for every prime greater than 349349 and holds for 349=182+52,349 = 18^2 + 5^2, where (a+b)p4ab=23349360=253<349.(a + b)\,|p - 4ab| = 23 \cdot |349 - 360| = 253 \lt 349.

Indeed for z=18+5iz = 18 + 5i we get z3=4482+4735i,z^3 = 4482 + 4735i, and the lengths 349,349, 4482,4482, 47354735 form a valid triangle. The answer is 349.349.