Maths Olympiad Prep

Library / /853 of 860

Algebra Difficulty 6.0 AIME, harder Find the answer

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 0a<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}+10x^{2}+rx+s is pp-good for infinitely many primes pp.

A number or a short expression. Spacing and $ signs are ignored.

Solution

By Vieta, the sum of the roots is 10(modp)-10(\bmod p). However, since the three roots are less than p/3p/3, it follows that the roots are (pa)/3,(pb)/3,(pc)/3\left(p-a^{\prime}\right)/3,\left(p-b^{\prime}\right)/3,\left(p-c^{\prime}\right)/3, where there are finitely many choices a<b<ca^{\prime}<b^{\prime}<c^{\prime}. 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,v/3-u/3,-v/3, and w/3-w/3. Moreover, we must have that u,v,wu, v, w are all 1(mod3)1(\bmod 3) or all 2(mod3)2(\bmod 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(\bmod 3) or all 2(mod3)2(\bmod 3) and that u+v+w=30u+v+w=30. It's not very hard to list them all now. When u,v,w1(mod3)u, v, w \equiv 1(\bmod 3), there are 7 triples: (1,4,25),(1,7,22),(1,10,19),(1,13,16),(4,7,19)(1,4,25),(1,7,22),(1,10,19),(1,13,16),(4,7,19), (4,10,16)(4,10,16), and (7,10,13)(7,10,13). When u,v,w2(mod3)u, v, w \equiv 2(\bmod 3), there are 5 triples: (2,5,23),(2,8,20),(2,11,17),(5,8,17)(2,5,23),(2,8,20),(2,11,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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.