2016 AIME II Exam Solutions

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.

Initially Alex, Betty, and Charlie had a total of 444444 peanuts. Charlie had the most peanuts, and Alex had the least. The three numbers of peanuts that each person had form a geometric progression. Alex eats 55 of his peanuts, Betty eats 99 of her peanuts, and Charlie eats 2525 of his peanuts. Now the three numbers of peanuts that each person has form an arithmetic progression. Find the number of peanuts Alex had initially.

Concepts:geometric sequencearithmetic sequencesystem of equations

Difficulty rating: 2050

Solution:

After the eating, 4445925=405444 - 5 - 9 - 25 = 405 peanuts remain, and the three amounts form an arithmetic progression, so the middle amount, Betty's, is 4053=135.\frac{405}{3} = 135. Hence Betty started with 135+9=144135 + 9 = 144 peanuts.

The starting amounts form a geometric progression, so they are 144r,\frac{144}{r}, 144,144, and 144r144r with r>1r \gt 1 (Charlie had the most and Alex the least). Then 144r+144+144r=444,\frac{144}{r} + 144 + 144r = 444, which simplifies to 12r225r+12=0,12r^2 - 25r + 12 = 0, with roots r=43r = \frac{4}{3} and r=34;r = \frac{3}{4}; since r>1,r \gt 1, we take r=43.r = \frac{4}{3}.

So Alex initially had 14434=108144 \cdot \frac{3}{4} = 108 peanuts. (Check: after eating, the amounts 103,103, 135,135, 167167 increase by 3232 each.)

2.

There is a 40%40\% chance of rain on Saturday and a 30%30\% chance of rain on Sunday. However, it is twice as likely to rain on Sunday if it rains on Saturday than if it does not rain on Saturday. The probability that it rains at least one day this weekend is ab,\frac{a}{b}, where aa and bb are relatively prime positive integers. Find a+b.a + b.

Difficulty rating: 2070

Solution:

Let pp be the probability that it rains on Sunday given a dry Saturday; given a rainy Saturday it is 2p.2p. The overall Sunday chance gives 0.4(2p)+0.6p=0.3,0.4(2p) + 0.6p = 0.3, so 1.4p=0.31.4p = 0.3 and p=314.p = \frac{3}{14}.

The weekend is completely dry exactly when Saturday is dry and then Sunday is dry: 35(1314)=351114=3370.\frac{3}{5}\left(1 - \frac{3}{14}\right) = \frac{3}{5} \cdot \frac{11}{14} = \frac{33}{70}. So the probability of rain on at least one day is 13370=3770,1 - \frac{33}{70} = \frac{37}{70}, which is in lowest terms, and a+b=37+70=107.a + b = 37 + 70 = 107.

3.

Let x,x, y,y, and zz be real numbers satisfying the system log2(xyz3+log5x)=5\log_2(xyz - 3 + \log_5 x) = 5 log3(xyz3+log5y)=4\log_3(xyz - 3 + \log_5 y) = 4 log4(xyz3+log5z)=4.\log_4(xyz - 3 + \log_5 z) = 4. Find the value of log5x+log5y+log5z.|\log_5 x| + |\log_5 y| + |\log_5 z|.

Difficulty rating: 2300

Solution:

Exponentiating each equation gives xyz3+log5x=25xyz - 3 + \log_5 x = 2^5 and similarly for the others, so xyz+log5x=35,xyz+log5y=84,xyz+log5z=259.xyz + \log_5 x = 35, \qquad xyz + \log_5 y = 84, \qquad xyz + \log_5 z = 259. Write x=5a,x = 5^a, y=5b,y = 5^b, z=5c,z = 5^c, so that xyz=5a+b+c.xyz = 5^{a+b+c}.

Adding the three equations gives 35s+s=378,3 \cdot 5^s + s = 378, where s=a+b+c.s = a + b + c. The left side is strictly increasing in s,s, and s=3s = 3 works since 375+3=378,375 + 3 = 378, so s=3s = 3 and 5s=125.5^s = 125.

Then a=35125=90,a = 35 - 125 = -90, b=84125=41,b = 84 - 125 = -41, and c=259125=134,c = 259 - 125 = 134, so a+b+c=90+41+134=265.|a| + |b| + |c| = 90 + 41 + 134 = 265.

4.

An a×b×ca \times b \times c rectangular box is built from abca \cdot b \cdot c unit cubes. Each unit cube is colored red, green, or yellow. Each of the aa layers of size 1×b×c1 \times b \times c parallel to the (b×c)(b \times c)-faces of the box contains exactly 99 red cubes, exactly 1212 green cubes, and some yellow cubes. Each of the bb layers of size a×1×ca \times 1 \times c parallel to the (a×c)(a \times c)-faces of the box contains exactly 2020 green cubes, exactly 2525 yellow cubes, and some red cubes. Find the smallest possible volume of the box.

Difficulty rating: 2450

Solution:

Each 1×b×c1 \times b \times c layer has exactly 99 red and 1212 green cubes, hence exactly bc21bc - 21 yellow; each a×1×ca \times 1 \times c layer has exactly 2020 green and 2525 yellow, hence exactly ac45ac - 45 red. Counting green cubes in the whole box both ways gives 12a=20b,12a = 20b, so 3a=5b.3a = 5b. Counting yellow both ways gives a(bc21)=25b=15a,a(bc - 21) = 25b = 15a, so bc=36.bc = 36. Counting red both ways gives b(ac45)=9a,b(ac - 45) = 9a, and 9ab=15,\frac{9a}{b} = 15, so ac=60.ac = 60.

Thus a=60ca = \frac{60}{c} and b=36cb = \frac{36}{c} are positive integers, so cc divides gcd(60,36)=12,\gcd(60, 36) = 12, and the volume is abc=6036c=2160c,abc = \frac{60 \cdot 36}{c} = \frac{2160}{c}, smallest when c=12:c = 12: volume 180180 with (a,b,c)=(5,3,12).(a, b, c) = (5, 3, 12).

This is achievable: color every 1×3×121 \times 3 \times 12 layer with three identical rows RRRGGGGYYYYY. Then each 1×3×121 \times 3 \times 12 layer has 99 red, 1212 green, and 1515 yellow cubes, and each 5×1×125 \times 1 \times 12 layer has 1515 red, 2020 green, and 2525 yellow cubes. So the smallest possible volume is 180.180.

5.

Triangle ABC0ABC_0 has a right angle at C0.C_0. Its side lengths are pairwise relatively prime positive integers, and its perimeter is p.p. Let C1C_1 be the foot of the altitude to AB,\overline{AB}, and for n2,n \ge 2, let CnC_n be the foot of the altitude to Cn2B\overline{C_{n-2}B} in Cn2Cn1B.\triangle C_{n-2}C_{n-1}B. The sum n=1Cn1Cn=6p.\sum_{n=1}^{\infty} C_{n-1}C_n = 6p. Find p.p.

Difficulty rating: 2560

Solution:

Let a=BC0,a = BC_0, b=AC0,b = AC_0, and c=AB.c = AB. The altitude gives C0C1=abc,C_0C_1 = \frac{ab}{c}, and C0C1BAC0B\triangle C_0C_1B \sim \triangle AC_0B with ratio ac.\frac{a}{c}. Each later altitude repeats this construction in a triangle scaled by ac,\frac{a}{c}, so the segments Cn1CnC_{n-1}C_n form a geometric series and n=1Cn1Cn=ab/c1a/c=abca=6p=6(a+b+c).\sum_{n=1}^{\infty} C_{n-1}C_n = \frac{ab/c}{1 - a/c} = \frac{ab}{c - a} = 6p = 6(a + b + c).

Since b2=c2a2=(ca)(c+a),b^2 = c^2 - a^2 = (c - a)(c + a), we get (ca)(a+b+c)=(ca)(c+a)+(ca)b=b(b+ca),(c - a)(a + b + c) = (c - a)(c + a) + (c - a)b = b(b + c - a), so ab=6b(b+ca),ab = 6b(b + c - a), that is 7a=6b+6c.7a = 6b + 6c. Squaring 6c=7a6b6c = 7a - 6b and using 36c2=36a2+36b236c^2 = 36a^2 + 36b^2 gives 36a2=49a284ab,36a^2 = 49a^2 - 84ab, hence 13a=84b.13a = 84b.

Because the side lengths are pairwise relatively prime, a=84a = 84 and b=13,b = 13, so c=7846136=85,c = \frac{7 \cdot 84 - 6 \cdot 13}{6} = 85, and indeed 132+842=852.13^2 + 84^2 = 85^2. Then p=84+13+85=182p = 84 + 13 + 85 = 182 (and abca=84131=1092=6p\frac{ab}{c - a} = \frac{84 \cdot 13}{1} = 1092 = 6p checks).

6.

For polynomial P(x)=113x+16x2,P(x) = 1 - \frac{1}{3}x + \frac{1}{6}x^2, define Q(x)=P(x)P(x3)P(x5)P(x7)P(x9)=i=050aixi.Q(x) = P(x)P(x^3)P(x^5)P(x^7)P(x^9) = \sum_{i=0}^{50} a_i x^i. Then i=050ai=mn,\sum_{i=0}^{50} |a_i| = \frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Difficulty rating: 2400

Solution:

Every substituted power x,x3,x5,x7,x9x, x^3, x^5, x^7, x^9 is odd, so Q(x)=P(x)P(x3)P(x5)P(x7)P(x9).Q(-x) = P(-x)P(-x^3)P(-x^5)P(-x^7)P(-x^9). Since P(x)=1+13x+16x2P(-x) = 1 + \frac{1}{3}x + \frac{1}{6}x^2 has only nonnegative coefficients, so does each factor P(xk),P(-x^k), and hence so does the product Q(x).Q(-x). The coefficient of xix^i in Q(x)Q(-x) is (1)iai,(-1)^i a_i, so ai=(1)iai.|a_i| = (-1)^i a_i.

Therefore i=050ai=Q(1)=P(1)5=(1+13+16)5=(32)5=24332,\sum_{i=0}^{50} |a_i| = Q(-1) = P(-1)^5 = \left(1 + \frac{1}{3} + \frac{1}{6}\right)^5 = \left(\frac{3}{2}\right)^5 = \frac{243}{32}, and m+n=243+32=275.m + n = 243 + 32 = 275.

7.

Squares ABCDABCD and EFGHEFGH have a common center and ABEF.\overline{AB} \parallel \overline{EF}. The area of ABCDABCD is 2016,2016, and the area of EFGHEFGH is a smaller positive integer. Square IJKLIJKL is constructed so that each of its vertices lies on a side of ABCDABCD and each vertex of EFGHEFGH lies on a side of IJKL.IJKL. Find the difference between the largest and smallest possible integer values for the area of IJKL.IJKL.

Solution:

If a square of side tt has its vertices on the sides of a concentric square of side ss and is tilted by angle θ,\theta, each side of the outer square is split into pieces tcosθt\cos\theta and tsinθ,t\sin\theta, so s=t(cosθ+sinθ).s = t(\cos\theta + \sin\theta). This applies to IJKLIJKL (side tt) in ABCDABCD (side ss) with some angle θ.\theta. Since EFAB,\overline{EF} \parallel \overline{AB}, square EFGHEFGH (side uu) makes the same angle θ\theta with IJKL,IJKL, so also t=u(cosθ+sinθ).t = u(\cos\theta + \sin\theta).

Hence st=tu,\frac{s}{t} = \frac{t}{u}, so the three areas form a geometric progression: the area of EFGHEFGH equals T22016,\frac{T^2}{2016}, where TT is the area of IJKL.IJKL. As θ\theta ranges over (0,90),\left(0^\circ, 90^\circ\right), the factor (cosθ+sinθ)2(\cos\theta + \sin\theta)^2 takes every value in (1,2],(1, 2], so T=2016(cosθ+sinθ)2T = \frac{2016}{(\cos\theta + \sin\theta)^2} takes every value in [1008,2016)[1008, 2016) (θ=0\theta = 0^\circ is excluded because EFGHEFGH is smaller than ABCDABCD). For T22016\frac{T^2}{2016} to be an integer, 2016=253272016 = 2^5 \cdot 3^2 \cdot 7 must divide T2,T^2, which forces 2337=1682^3 \cdot 3 \cdot 7 = 168 to divide T.T.

The multiples of 168168 in [1008,2016)[1008, 2016) run from 10081008 to 1848,1848, and each is attained by an appropriate θ,\theta, with the area of EFGHEFGH then a positive integer less than 2016.2016. The difference is 18481008=840.1848 - 1008 = 840.

8.

Find the number of sets {a,b,c}\{a, b, c\} of three distinct positive integers with the property that the product of a,a, b,b, and cc is equal to the product of 11,11, 21,21, 31,31, 41,41, 51,51, and 61.61.

Difficulty rating: 2710

Solution:

Count ordered triples (a,b,c)(a, b, c) with abc=112131415161=3271117314161=N.abc = 11 \cdot 21 \cdot 31 \cdot 41 \cdot 51 \cdot 61 = 3^2 \cdot 7 \cdot 11 \cdot 17 \cdot 31 \cdot 41 \cdot 61 = N. Each of the six primes 7,11,17,31,41,617, 11, 17, 31, 41, 61 appears once and can go to any of the three values: 363^6 ways. The two factors of 33 can be split among the three values in (42)=6\binom{4}{2} = 6 ways. That gives 636=43746 \cdot 3^6 = 4374 ordered triples.

If two of the three values were equal, their common value vv would satisfy v2N,v^2 \mid N, so v=1v = 1 or v=3.v = 3. This produces the triples with values {1,1,N}\{1, 1, N\} and {3,3,N9},\{3, 3, \frac{N}{9}\}, each in 33 orders, for 66 ordered triples in all (all three equal is impossible). The remaining 43746=43684374 - 6 = 4368 ordered triples have distinct entries, and each set {a,b,c}\{a, b, c\} is counted 3!=63! = 6 times.

So the number of sets is 43686=728.\frac{4368}{6} = 728.

9.

The sequences of positive integers 1,a2,a3,1, a_2, a_3, \ldots and 1,b2,b3,1, b_2, b_3, \ldots are an increasing arithmetic sequence and an increasing geometric sequence, respectively. Let cn=an+bn.c_n = a_n + b_n. There is an integer kk such that ck1=100c_{k-1} = 100 and ck+1=1000.c_{k+1} = 1000. Find ck.c_k.

Solution:

Write an=1+(n1)da_n = 1 + (n-1)d and bn=rn1b_n = r^{n-1} with integers d1d \ge 1 and r2.r \ge 2. Since c1=2<100,c_1 = 2 \lt 100, we have k3,k \ge 3, and the two conditions read (k2)d+rk2=99,kd+rk=999.(k-2)d + r^{k-2} = 99, \qquad kd + r^k = 999.

Subtracting, 2d+rk3(r1)r(r+1)=900.2d + r^{k-3}(r-1)r(r+1) = 900. The product of three consecutive integers is divisible by 3,3, so 32d,3 \mid 2d, hence 3d.3 \mid d. Then (k2)d+rk2=99(k-2)d + r^{k-2} = 99 forces 3rk2,3 \mid r^{k-2}, so 3r.3 \mid r. The bounds rk298r^{k-2} \le 98 and rk998r^k \le 998 leave only (r,k)=(3,3),(r, k) = (3, 3), (3,4),(3, 4), (3,5),(3, 5), (3,6),(3, 6), (6,3),(6, 3), (9,3).(9, 3).

Testing each against (k2)d=99rk2(k-2)d = 99 - r^{k-2} and kd=999rk,kd = 999 - r^k, only (r,k)=(9,3)(r, k) = (9, 3) gives a consistent value, d=90.d = 90. Then c3=1+290+92=262.c_3 = 1 + 2 \cdot 90 + 9^2 = 262.

10.

Triangle ABCABC is inscribed in circle ω.\omega. Points PP and QQ are on side AB\overline{AB} with AP<AQ.AP \lt AQ. Rays CPCP and CQCQ meet ω\omega again at SS and TT (other than CC), respectively. If AP=4,AP = 4, PQ=3,PQ = 3, QB=6,QB = 6, BT=5,BT = 5, and AS=7,AS = 7, then ST=mn,ST = \frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Solution:

By Power of a Point at QQ in ω,\omega, QCQT=QAQB=76=42.QC \cdot QT = QA \cdot QB = 7 \cdot 6 = 42. Extend AB\overline{AB} beyond BB to the point RR with BR=8,BR = 8, so that QR=QB+BR=14QR = QB + BR = 14 and QPQR=314=42=QCQT.QP \cdot QR = 3 \cdot 14 = 42 = QC \cdot QT. By the converse of Power of a Point, C,C, P,P, T,T, and RR are concyclic.

In circle CPTR,CPTR, BRT=PRT=PCT,\angle BRT = \angle PRT = \angle PCT, and in ω,\omega, PCT=SCT=SAT\angle PCT = \angle SCT = \angle SAT (both subtend arc STST). Also ASTBASTB is cyclic, so the exterior angle of the quadrilateral at BB equals the opposite interior angle: RBT=AST.\angle RBT = \angle AST. Hence ASTRBT.\triangle AST \sim \triangle RBT.

Therefore STBT=ASRB,\frac{ST}{BT} = \frac{AS}{RB}, so ST=578=358,ST = 5 \cdot \frac{7}{8} = \frac{35}{8}, and m+n=35+8=43.m + n = 35 + 8 = 43.

11.

For positive integers NN and k,k, define NN to be kk-nice if there exists a positive integer aa such that aka^k has exactly NN positive divisors. Find the number of positive integers less than 10001000 that are neither 77-nice nor 88-nice.

Solution:

If a=p1m1ptmt,a = p_1^{m_1} \cdots p_t^{m_t}, then aka^k has (km1+1)(km2+1)(kmt+1)(km_1 + 1)(km_2 + 1) \cdots (km_t + 1) positive divisors, and each factor is 1(modk),\equiv 1 \pmod{k}, so the product is too. Conversely, if N=km+1,N = km + 1, then a=pma = p^m gives ak=pkma^k = p^{km} with exactly NN divisors. So NN is kk-nice exactly when N1(modk).N \equiv 1 \pmod{k}.

Among 1,2,,9991, 2, \ldots, 999 there are 143143 integers 1(mod7)\equiv 1 \pmod{7} (namely 1,8,,9951, 8, \ldots, 995) and 125125 integers 1(mod8)\equiv 1 \pmod{8} (namely 1,9,,9931, 9, \ldots, 993). Since lcm(7,8)=56,\operatorname{lcm}(7, 8) = 56, there are 1818 integers 1(mod56)\equiv 1 \pmod{56} (namely 1,57,,9531, 57, \ldots, 953). By inclusion-exclusion, 143+12518=250143 + 125 - 18 = 250 of them are 77-nice or 88-nice.

Hence 999250=749999 - 250 = 749 positive integers less than 10001000 are neither.

12.

The figure below shows a ring made of six small sections which you are to paint on a wall. You have four paint colors available and will paint each of the six sections a solid color. Find the number of ways you can choose to paint the sections if no two adjacent sections can be painted with the same color.

Difficulty rating: 2400

Solution:

Let PnP_n be the number of valid paintings of a ring of nn sections. Cutting a ring open between two adjacent sections shows that ring paintings correspond exactly to rows of nn sections with adjacent colors different and the two end colors different. A row of nn sections with adjacent colors different can be painted in 43n14 \cdot 3^{n-1} ways, and the rows whose end colors match correspond, by merging the two end sections into one, to ring paintings of n1n - 1 sections. Hence Pn+Pn1=43n1.P_n + P_{n-1} = 4 \cdot 3^{n-1}.

Three mutually adjacent sections give P3=432=24,P_3 = 4 \cdot 3 \cdot 2 = 24, so P4=10824=84,P_4 = 108 - 24 = 84, then P5=32484=240,P_5 = 324 - 84 = 240, and finally P6=972240=732.P_6 = 972 - 240 = 732.

13.

Beatrix is going to place six rooks on a 6×66 \times 6 chessboard where both the rows and columns are labeled 11 to 6;6; the rooks are placed so that no two rooks are in the same row or the same column. The value of a square is the sum of its row number and column number. The score of an arrangement of rooks is the least value of any occupied square. The average score over all valid configurations is pq,\frac{p}{q}, where pp and qq are relatively prime positive integers. Find p+q.p + q.

Solution:

There are 6!=7206! = 720 arrangements, and every score lies between 22 and 7.7. Let bnb_n be the number of arrangements with score at least n.n. Since each score ss satisfies s=2+#{n3:sn},s = 2 + \#\{n \ge 3 : s \ge n\}, the total of all 720720 scores is 2720+b3+b4+b5+b6+b7.2 \cdot 720 + b_3 + b_4 + b_5 + b_6 + b_7.

Score n\ge n means no rook occupies a square with row + column <n.\lt n. Place the rooks row by row. For b3,b_3, only (1,1)(1,1) is banned: 55!=600.5 \cdot 5! = 600. For b4,b_4, row 11 has 44 allowed columns, then row 22 has 44 (column 11 and the used column are excluded): 444!=384.4 \cdot 4 \cdot 4! = 384. Similarly b5=3333!=162,b_5 = 3 \cdot 3 \cdot 3 \cdot 3! = 162, b6=22222!=32,b_6 = 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2! = 32, and b7=1b_7 = 1 (all rooks on the anti-diagonal).

The total is 1440+600+384+162+32+1=2619,1440 + 600 + 384 + 162 + 32 + 1 = 2619, so the average is 2619720=29180,\frac{2619}{720} = \frac{291}{80}, and p+q=291+80=371.p + q = 291 + 80 = 371.

14.

Equilateral ABC\triangle ABC has side length 600.600. Points PP and QQ lie outside the plane of ABC\triangle ABC and are on opposite sides of the plane. Furthermore, PA=PB=PC,PA = PB = PC, and QA=QB=QC,QA = QB = QC, and the planes of PAB\triangle PAB and QAB\triangle QAB form a 120120^\circ dihedral angle (the angle between the two planes). There is a point OO whose distance from each of A,A, B,B, C,C, P,P, and QQ is d.d. Find d.d.

Solution:

Since PA=PB=PCPA = PB = PC and QA=QB=QC,QA = QB = QC, both PP and QQ lie on the line through the center HH of ABC\triangle ABC perpendicular to its plane, on opposite sides. Any point equidistant from A,A, B,B, CC also lies on that line, so OO is on it, and OP=OQ=dOP = OQ = d makes OO the midpoint of PQ,\overline{PQ}, with PQ=2d.PQ = 2d. Let DD be the midpoint of AB\overline{AB} and a=600;a = 600; then DH=a36DH = \frac{a\sqrt{3}}{6} and CH=a33.CH = \frac{a\sqrt{3}}{3}. Since PDAB\overline{PD} \perp \overline{AB} and QDAB,\overline{QD} \perp \overline{AB}, the dihedral angle is PDQ=120;\angle PDQ = 120^\circ; write x=PDHx = \angle PDH and y=QDH,y = \angle QDH, so x+y=120.x + y = 120^\circ.

Right triangles PDHPDH and QDHQDH give PH=DHtanxPH = DH \tan x and QH=DHtany,QH = DH \tan y, so 2d=PQ=PH+QH=a36(tanx+tany).2d = PQ = PH + QH = \frac{a\sqrt{3}}{6}(\tan x + \tan y). Since OC=OP=OQ=d,OC = OP = OQ = d, point CC lies on the circle with diameter PQ,\overline{PQ}, so PCQ=90,\angle PCQ = 90^\circ, and HH is the foot of the altitude from CC to the hypotenuse PQ.\overline{PQ}. Thus CH2=PHQH,CH^2 = PH \cdot QH, which gives tanxtany=CH2DH2=4.\tan x \tan y = \frac{CH^2}{DH^2} = 4.

By the tangent addition formula, 3=tan120=tanx+tany1tanxtany=tanx+tany3,-\sqrt{3} = \tan 120^\circ = \frac{\tan x + \tan y}{1 - \tan x \tan y} = \frac{\tan x + \tan y}{-3}, so tanx+tany=33.\tan x + \tan y = 3\sqrt{3}. Then 2d=a3633=3a2,2d = \frac{a\sqrt{3}}{6} \cdot 3\sqrt{3} = \frac{3a}{2}, so d=3a4=450.d = \frac{3a}{4} = 450.

15.

For 1i2151 \le i \le 215 let ai=12ia_i = \frac{1}{2^i} and a216=12215.a_{216} = \frac{1}{2^{215}}. Let x1,x2,,x216x_1, x_2, \ldots, x_{216} be positive real numbers such that i=1216xi=1and1i<j216xixj=107215+i=1216aixi22(1ai).\sum_{i=1}^{216} x_i = 1 \quad \text{and} \quad \sum_{1 \le i \lt j \le 216} x_i x_j = \frac{107}{215} + \sum_{i=1}^{216} \frac{a_i x_i^2}{2(1 - a_i)}. The maximum possible value of x2=mn,x_2 = \frac{m}{n}, where mm and nn are relatively prime positive integers. Find m+n.m + n.

Solution:

Since xi=1,\sum x_i = 1, we have 2i<jxixj=1xi2.2\sum_{i \lt j} x_i x_j = 1 - \sum x_i^2. Doubling the given equation and rearranging, 1i=1216xi2=214215+i=1216aixi21ai,so1215=i=1216(1+ai1ai)xi2=i=1216xi21ai.1 - \sum_{i=1}^{216} x_i^2 = \frac{214}{215} + \sum_{i=1}^{216} \frac{a_i x_i^2}{1 - a_i}, \qquad \text{so} \qquad \frac{1}{215} = \sum_{i=1}^{216}\left(1 + \frac{a_i}{1 - a_i}\right)x_i^2 = \sum_{i=1}^{216} \frac{x_i^2}{1 - a_i}.

Now ai=(12++12215)+12215=1,\sum a_i = \left(\frac{1}{2} + \cdots + \frac{1}{2^{215}}\right) + \frac{1}{2^{215}} = 1, so (1ai)=2161=215.\sum (1 - a_i) = 216 - 1 = 215. By the Cauchy-Schwarz inequality, 1=(i=1216xi)2(i=1216xi21ai)(i=1216(1ai))=1215215=1.1 = \left(\sum_{i=1}^{216} x_i\right)^2 \le \left(\sum_{i=1}^{216} \frac{x_i^2}{1 - a_i}\right)\left(\sum_{i=1}^{216} (1 - a_i)\right) = \frac{1}{215} \cdot 215 = 1.

Equality holds, so xix_i is proportional to 1ai,1 - a_i, forcing xi=1ai215.x_i = \frac{1 - a_i}{215}. The only, hence maximum, possible value of x2x_2 is 114215=3860,\frac{1 - \frac{1}{4}}{215} = \frac{3}{860}, and m+n=3+860=863.m + n = 3 + 860 = 863.