Seeing 2020

Algebra Level 4

Let f f be a polynomial function with integer coefficients such that f ( 2017 ) = 1. f(2017) = 1. Which of the following can equal f ( 2020 ) ? f(2020)?

2015 2016 2017 2018 At least two of these choices None of these choices

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

6 solutions

Steven Yuan
Jun 25, 2017

Since f f has integer coefficients, for any integers a , b , a, b, we must have a b f ( a ) f ( b ) . a - b|f(a) - f(b). To prove this, let f ( x ) = c n x n + c n 1 x n 1 + . . . + c 1 x + c 0 , f(x) = c_nx^n + c_{n - 1}x^{n - 1} + ... + c_1x + c_0, where all the c i c_i s are integers. We have

f ( a ) f ( b ) = ( c n a n + c n 1 a n 1 + . . . + c 1 a + c 0 ) ( c n b n + c n 1 b n 1 + . . . + c 1 b + c 0 ) = c n ( a n b n ) + c n 1 ( a n 1 b n 1 ) + . . . + c 1 ( a b ) = ( a b ) ( z ) , \begin{aligned} f(a) - f(b) &= (c_na^n + c_{n - 1}a^{n - 1} + ... + c_1a + c_0) - (c_nb^n + c_{n - 1}b^{n - 1} + ... + c_1b + c_0) \\ &= c_n(a^n - b^n) + c_{n - 1}(a^{n - 1} - b^{n - 1}) + ... + c_1(a - b) \\ &= (a - b)(z), \end{aligned}

where z z is some expression that evaluates to an integer. We used the fact that a b a k b k a - b|a^k - b^k for all positive integers k k to take out the factor of a b . a - b. Thus, we conclude that a b f ( a ) f ( b ) . a - b|f(a) - f(b).

Going back to the problem, we have

2020 2017 = 3 f ( 2020 ) f ( 2017 ) = f ( 2020 ) 1. 2020 - 2017 = 3|f(2020) - f(2017) = f(2020) - 1.

Among the answer choices given, only f ( 2020 ) = 2017 f(2020) = \boxed{2017} makes this statement true.

For completeness, we can find that f ( x ) = 672 ( x 2017 ) + 1 f(x) = 672(x - 2017) + 1 is a polynomial function with integer coefficients such that f ( 2017 ) = 1 f(2017) = 1 and f ( 2020 ) = 2017. f(2020) = 2017.

Inspired solution! I think there is correction on the second line of f (a)-f (b), c0 must be vanished

Alfa Claresta - 3 years, 11 months ago

Log in to reply

Thanks for spotting that! I edited the solution.

Steven Yuan - 3 years, 11 months ago

What if f(x) has real coefficients? Is this method can also be used too?

Christian Filemon - 3 years, 11 months ago

Log in to reply

Unfortunately no. If a 1 , a 2 , . . . , a n a_1, a_2 , ... , a_n and b 1 , b 2 , . . . , b n b_1 , b_2 , ... , b_n be 2 n 2n real numbers such that the a i a_i are pairwise distinct and such that f ( a i ) = b i f(a_i) = b_i for all i i , then I can always find a polynomial (in fact infinitely many polynomials) with real coefficients such that the above relation(s) hold true. See Lagrange Interpolation for such a construction.

Shourya Pandey - 3 years, 11 months ago

I don't know how I saw 2014 among options...End up by selecting at least two options..

Uros Stojkovic - 3 years, 11 months ago

Nice, tidy way of putting it all together. I'm just the tiniest bit unsettled by the bit after "Going back to the problem, we have" as you are saying that a number is the same as an assertion, but the meaning is clear enough. Is there a more elegant way to phrase that as tersely?

Bo Cephas - 3 years, 11 months ago
Michael Livshits
Jul 4, 2017

f(2020)-f(2017) must be divisible by 2020-2017=3. Since f(2017)=1, f(2020)-1 must be divisible by 3. That excludes all the answers except 2017.

2016=672*3

Michael Livshits - 3 years, 11 months ago

2017-1 is not divisible by 3

Luis Daselbe - 3 years, 11 months ago

Log in to reply

2017-1=2016, which is definitely divisible by 3.

Cody Griffin - 3 years, 11 months ago
Andre Bourque
Jul 4, 2017

F(x) = 1 + A(x)(x-2017) Where A(x) is also an integer polynomial. Thus f(2020) = 1 + A(2020)*3 Thus it is one more than a multiple of 3. The only option is 2017 = 1 + 3(672)

Simplest and cleanest solution! Thanks for sharing!

Pi Han Goh - 3 years, 11 months ago

I liked it the most

Prayas Rautray - 3 years, 11 months ago
Max Willich
Jun 27, 2017

First note that 2020 = 2017 + 3 2020 = 2017 + 3 . Since the polynomial has integer coefficients, f ( 2020 ) m o d 3 = f ( 2017 ) m o d 3 = 1 f(2020) mod 3 = f(2017) mod 3 = 1 . Only 1999 = 1 m o d 3 1999 = 1 mod 3 . Therefore the answer is 1999 1999

Nice solution. If only if it was right.

Joel Kang - 3 years, 11 months ago
Andrew Foust
Jul 8, 2017

Figured the simplest polynomial would be a linear one, so an increment of 3 must lead to "3 times some number + 1".

Therefore, if you divide the numbers by 3, you must get 1 as the remainder.

Only 2017 does that.

Robert DeLisle
Jul 6, 2017

f(2020) - 1 must be divisible by 3 therefore only 2017 = 3x672 + 1 can be a possible value among those listed as choices (2015,2016,2017,2018).

Proof:

If f(2017) = 1 then there is a polynomial g(x) such that f(x) = g(x) + 1 when g(x) still has integer coefficients.

g(x) has a root at 2017 and can be factored to (x-2017)h(x) for some polynomial h(x).

At x = 2020, x-2017 = 3. Therefore g(2020) is divisible by 3 and f(2020) has the form 3N + 1 for some integer N.

Since f(2020) must be in the form 3N + 1 only 2017 = 3 x 672 + 1 qualifies as a possible value of f(2020) among the choices given.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...