Maths Olympiad Prep

Library / HMMT February Guts Round /28 of 28

HMMT February Guts Round, 2024

Algebra Difficulty 6.2 National Olympiad Prove it United States

Problem:
For each prime pp, a polynomial P(x)P(x) with rational coefficients is called pp-good if and only if there exist three integers a,ba, b, and cc such that 0≤a<b<c<p30 \leq a < b < c < \frac{p}{3} and pp divides all the numerators of P(a)P(a), P(b)P(b), and P(c)P(c), when written in simplest form. Compute the number of ordered pairs (r,s)(r, s) of rational numbers such that the polynomial x3+10x2+rx+sx^{3} + 10 x^{2} + r x + s is pp-good for infinitely many primes pp.

Solution

Solution:
By Vieta, the sum of the roots is −10(modp)-10 \pmod{p}. However, since the three roots are less than p/3p / 3, it follows that the roots are (p−a′)/3\left(p - a'\right) / 3, (p−b′)/3\left(p - b'\right) / 3, and (p−c′)/3\left(p - c'\right) / 3, where there are finitely many choices a′<b′<c′a' < b' < c'. By pigeonhole, one choice, say (u,v,w)(u, v, w), must occur for infinitely many pp. We then get that the roots of PP are −u/3-u / 3, −v/3-v / 3, and −w/3-w / 3. Moreover, we must have that u,v,wu, v, w are all 1(mod3)1 \pmod{3} or all 2(mod3)2 \pmod{3}, and by Vieta, we have u+v+w=30u + v + w = 30.

The polynomial is then uniquely determined by u,v,wu, v, w. Thus, it suffices to count triples u<v<wu < v < w of positive integers such that u,v,wu, v, w are all 1(mod3)1 \pmod{3} or all 2(mod3)2 \pmod{3} and that u+v+w=30u + v + w = 30. It's not very hard to list them all now.

When u,v,w≡1(mod3)u, v, w \equiv 1 \pmod{3}, there are 7 triples: (1,4,25)(1, 4, 25), (1,7,22)(1, 7, 22), (1,10,19)(1, 10, 19), (1,13,16)(1, 13, 16), (4,7,19)(4, 7, 19), (4,10,16)(4, 10, 16), and (7,10,13)(7, 10, 13).

When u,v,w≡2(mod3)u, v, w \equiv 2 \pmod{3}, there are 5 triples: (2,5,23)(2, 5, 23), (2,8,20)(2, 8, 20), (2,11,17)(2, 11, 17), (5,8,17)(5, 8, 17), and (5,11,14)(5, 11, 14).

Hence, the answer is 7+5=127 + 5 = 12.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.