Maths Olympiad Prep

Library / HMMT February /1114 of 1302

HMMT February

Algebra Difficulty 5.8 AIME, harder Prove it United States

Problem:
The function f(x)f(x) is of the form ax2+bx+ca x^{2}+b x+c for some integers a,ba, b, and cc. Given that
{f(177883),f(348710),f(796921),f(858522)}={1324754875645,1782225466694,1984194627862,4388794883485} \begin{aligned} \{f(177883), f(348710), & f(796921), f(858522)\} \\ = & \{1324754875645,1782225466694,1984194627862,4388794883485\} \end{aligned}
compute aa.

Solution

Solution:
We first match the outputs to the inputs. To start, we observe that since a≥0a \geq 0 (since the answer to the problem is nonnegative), we must either have f(858522)≈4.39⋅1012f(858522) \approx 4.39 \cdot 10^{12} or f(177883)≈4.39⋅1012f(177883) \approx 4.39 \cdot 10^{12}. However, since 858522858522 is relatively close to 796921796921, the first case is unrealistic, meaning that the second case must be true.

Now, looking mod 22, we find that f(796921)≈1.32⋅1012f(796921) \approx 1.32 \cdot 10^{12}. Additionally, we find that mod 55, f(1)≡f(3)≡0(mod5)f(1) \equiv f(3) \equiv 0 \pmod{5}, so f(x)≡a(x−1)(x−3)(mod5)f(x) \equiv a(x-1)(x-3) \pmod{5}. Modulo 55, we now have {3a,4a}={f(0),f(2)}={2,4}\{3a, 4a\} = \{f(0), f(2)\} = \{2,4\}, so it follows that a≡3(mod5)a \equiv 3 \pmod{5}, f(349710)≈1.78⋅1012f(349710) \approx 1.78 \cdot 10^{12} and f(858522)≈1.98⋅1012f(858522) \approx 1.98 \cdot 10^{12}.

There are several ways to finish from here. One (somewhat tedious) method is to use mod 99, which tells us that f(7)=7f(7)=7, f(5)=8f(5)=8, f(3)=4f(3)=4, which tells you that a≡5(mod9)a \equiv 5 \pmod{9} (take a finite difference). This tells you that a≡23(mod45)a \equiv 23 \pmod{45}, and a≥68a \geq 68 can be ruled out for being too large.

Another method is to work with the numbers themselves. One way to do this is to note that for quadratic polynomials,
f′(x+y2)=f(y)−f(x)y−x f'\left(\frac{x+y}{2}\right) = \frac{f(y)-f(x)}{y-x}
Using this for {177883,348710}\{177883, 348710\} and {796921,858522}\{796921, 858522\}, we find that f′(260000)≈−1500000f'(260000) \approx -1500000 and f′(830000)≈1000000f'(830000) \approx 1000000. Thus f′f' (which we know must be linear with slope 2a2a) has slope just less than 5050.

Either way, we find that a=23a=23. The actual polynomial is 8529708870514−27370172x+23x28529708870514 - 27370172 x + 23 x^{2}.

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.