Maths Olympiad Prep

Library / /1187 of 1394

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 a0a \geq 0 (since the answer to the problem is nonnegative), we must either have f(858522)4.391012f(858522) \approx 4.39 \cdot 10^{12} or f(177883)4.391012f(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.321012f(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(x1)(x3)(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 a3(mod5)a \equiv 3 \pmod{5}, f(349710)1.781012f(349710) \approx 1.78 \cdot 10^{12} and f(858522)1.981012f(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 a5(mod9)a \equiv 5 \pmod{9} (take a finite difference). This tells you that a23(mod45)a \equiv 23 \pmod{45}, and a68a \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)yx 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 ff' (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 852970887051427370172x+23x28529708870514 - 27370172 x + 23 x^{2}.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.