The Functional Equation that Trolled the NIMO Participants

Algebra Level 5

Let f f be a non-constant polynomial such that f ( x 1 ) + f ( x ) + f ( x + 1 ) = f ( x ) 2 2013 x f(x-1) + f(x) + f(x+1) = \frac {f(x)^2}{2013x} for all nonzero real numbers x x . Let N N the sum of all possible values of f ( 1 ) f(1) . Find the remainder when N N is divided by 1000 1000 .


The answer is 39.

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.

8 solutions

Ben Frankel
Dec 16, 2013

First of all, the degree of the LHS is clearly the same as deg ( f ( x ) ) \deg(f(x)) , which I will call d d . The degree of the RHS is 2 d 1 2d - 1 , so d = 2 d 1 d = 1 d = 2d - 1 \implies d = 1 . Now that we know that f ( x ) f(x) is linear, we can replace f ( x ) f(x) with a x + b ax + b :

( a ( x 1 ) + b ) + ( a x + b ) + ( a ( x + 1 ) + b ) = 3 ( a x + b ) = ( a x + b ) 2 2013 x (a(x - 1) + b) + (ax + b) + (a(x + 1) + b) = 3(ax + b) = \frac{(ax + b)^2}{2013x}

Now we have to evaluate a x + b ax + b at x = 1 x = 1 :

3 ( a + b ) = ( a + b ) 2 2013 3 = a + b 2013 a + b = f ( 1 ) = 6039 3(a + b) = \frac{(a + b)^2}{2013} \implies 3 = \frac{a + b}{2013} \implies a + b = f(1) = 6039

(Note I divided by ( a + b ) (a + b) , so a + b = 0 a + b = 0 must be taken into account. If this is the case however, it does not affect the sum of all possible values of f ( 1 ) f(1) .

So the remainder of 6039 when divided by 1000 is simply the final 3 digits, 39 \fbox{39} .

Let n = d e g [ f ( x ) ] n =deg[f(x)] , d e g [ f ( x ) 2 x ] 2 n 1 deg[\frac {f(x)^2}{x}] \neq 2n -1 right? Say f ( x ) = a n x n + a n 1 x n 1 + . . . + a 1 f(x) = a_nx^n + a_{n-1}x^{n-1} + ... + a_1 f ( x ) x = a n x n 1 + a n 1 x n 2 + . . . + a 1 x \frac {f(x)}{x} = a_n x^{n-1} + a_{n-1} x^{n-2} + ... + \frac {a_1}{x} where the degree of the polynomial wouldn't be n 1 n - 1 since we have a a 1 x \frac {a_1}{x} , same for f ( x ) 2 x \frac{f(x)^2}{x} .

I think multiplying x x to LHS before computing the degree would be a more proper approach. Where we get n + 1 = 2 n n+1=2n n = 1 n=1 Just a thought from me, please correct me if I'm wrong.

Edmund Heng - 7 years, 5 months ago

Log in to reply

Yes, I agree. If there is a a 1 x \frac{a_1}{x} it is no longer a polynomial, and so it doesn't have a "degree". It would be more proper to multiply by x x first, though the result is the same.

Ben Frankel - 7 years, 5 months ago

Log in to reply

Yes, usually the word "degree" is reserved for the polynomials. However, one can define the degree of a rational function as the difference of the degrees of the numerator and the denominator. This number, that can be negative, is also known as "the order of the pole at infinity". Note that if the function is zero, this is -\infty ; for any non-zero constant function it is zero.

Alexander Borisov - 7 years, 5 months ago

True story..

Edward Chen - 7 years, 5 months ago

Let the degree of f ( x ) f(x) be a a . Then a = a 2 1 a=\frac{a^{2}}{1} implies that a a is 1 1 , i.e., let f ( x ) = m x + b f(x)=mx+b for some m m and b b . Then, the left-hand side of the equation becomes m ( x 1 ) + b + m x + b + m ( x + 1 ) + b = 3 ( m x + b ) = 3 f ( x ) m(x-1)+b+mx+b+m(x+1)+b=3(mx+b)=3f(x) . Now we substitute 1 1 : 3 f ( 1 ) = f ( 1 ) 2 2013 3f(1)=\frac{{f(1)}^{2}}{2013} , which one can simplify and factor into f ( 1 ) ( f ( 1 ) 6039 ) = 0 f(1)(f(1)-6039)=0 , so f ( 1 ) = 0 f(1)=0 or 6039 6039 . Therefore N = 0 + 6039 = 6039 N=0+6039=6039 , and the remainder when N N is divided by 1000 1000 is 039 \boxed{039} .

Can you explain your thinking step by step? How did you arrive at a = a 2 1 a = \frac{a^2} { 1} ?

Best of Algebra Staff - 7 years, 5 months ago

Log in to reply

Yeah. note that it is meant to be a = 2 a 1 a=2a-1 which has a solution of a = 1 a=1 The rest of your solution is fine but you might want to refine how you crafted the degree part of it.

Alexander Sludds - 7 years, 5 months ago

Wow! Best of Algebra can make comments? WOAH!!!!!!!!

Finn Hulse - 7 years, 2 months ago
Ahaan Rungta
Dec 24, 2013

Let d = deg ( f ) d = \text {deg} (f) . Then, the degree of the LHS is d d and the degree of the RHS is 2 d 1 2d - 1 , so d = 1 d = 1 . Thus, f ( x ) = m x + b f(x) = mx + b for some m , b m, b . In fact, note that b = 0 b = 0 , so f ( x ) = m x 3 m x = m 2 x 2 2013 x m = 6039 , f(x) = mx \implies 3mx = \dfrac {m^2x^2}{2013x} \implies m = 6039, so the answer is 39 \boxed {39} .

m = 0 m = 0 is thrown out because f f is non-constant.

Sotiri Komissopoulos - 7 years, 5 months ago

Log in to reply

Thanks for pointing that out!

Ahaan Rungta - 7 years, 5 months ago
Deepak Kamlesh
Dec 20, 2013

We have for x != 0 (! stands for not)

2013 x (f(x-1) + f(x) + f(x+1)) = f(x)^2 .............. (i)

Let d be the degree of f(x).

Using (i) we note that

1 + d = 2 d which implies that d = 1

Let f(x) = a x + b. Then, using (i) we have that

(ax + b)^2 = 2013 x (a(x-1) + b + ax + b + a(x+1) + b) = 6039 x (ax + b) ............(ii)

Since f is a non constant polynomial, ax + b is not identically equal to 0.

So, we can cancel it from (ii) , thus getting us

ax + b = 6039x i.e. a = 6039 and b = 0.

Now, a = 6039 leaves a remainder of 39 when divided by 1000.

Hence, 39 is the required answer.

Lemma Theorem
Dec 16, 2013

To find the degree of this function, we multiply both sides by 2013 x 2013x , giving 2013 x ( f ( x 1 ) + f ( x ) + f ( x + 1 ) ) = f ( x ) 2 2013x(f(x-1)+f(x)+f(x+1))=f(x)^2 . Assuming that the degree of f ( x ) f(x) is n n , the degree of the RHS is 2 n 2n and the LHS is n + 1 n+1 . Setting these to be equal, we get n = 1 n=1 , and so f ( x ) f(x) is linear and in the form of m x + b mx+b . Plugging this into our original equation, we get (after some simplifying) 3mx+3b=\frac{f(x)^2}{2013x}, and since we know \(f(x)=mx+b , we have 3 f ( x ) = f ( x ) 2 2013 x 3f(x)=\frac{f(x)^2}{2013x} . Dividing by f ( x ) f(x) and multiplying by 2013 x 2013x gives f ( x ) = 6039 x f(x)=6039x , f ( 1 ) = 6039 f(1)=6039 and so our answer is 39 39 .

function square when divided by x gives same degree => no constant term & 1st degree => f(x) = kx

Cody Johnson
Dec 24, 2013

Indeed, this did troll me. "polynomials" not "functions," thanks a lot, WOOT

hello, This is not a solution. Sonnsoft

Ahaan Rungta - 7 years, 5 months ago

You could have added this as a comment. :facepalm:

Sreejato Bhattacharya - 7 years, 5 months ago
Daniel Liu
Dec 24, 2013

Note that for all f ( x ) f(x) such that deg ( f ( x ) ) 2 \text{deg }(f(x))\ge 2 , deg ( L H S ) < deg ( R H S ) \text{deg }(LHS)<\text{deg }(RHS) .

Therefore either deg ( f ( x ) ) = 0 , 1 \text{deg }(f(x))=0,1 . Since we know that f ( x ) f(x) is not constant, deg ( f ( x ) ) = 1 \text{deg }(f(x))=1 .

We let f ( x ) = a x + b f(x)=ax+b . Plugging in to the equation, we see that 3 a x + 3 b = a 2 x 2 + 2 a b x + b 2 2013 x 3ax+3b=\dfrac{a^2x^2+2abx+b^2}{2013x} , or 6039 a x + 6039 b = a 2 x 2 + 2 a b x + b 2 6039ax+6039b=a^2x^2+2abx+b^2 .

Setting coefficients equal, we get that 6039 a = a 2 6039a=a^2 or a = 6039 a=6039 . Also, b 2 = 0 b^2=0 so b = 0 b=0 . Therefore our only polynomial that works is f ( x ) = 6039 x f(x)=6039x .

Plugging in x = 1 x=1 and taking m o d 1000 \mod{1000} , we get the answer of 39 \boxed{39} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...