Weird Polynomial Relation

Algebra Level 3

Let P ( x ) P(x) a polynomial in x x with real coefficients such that for all real numbers x , y , z x, y, z satisfying x y + y z + z x = 1 , xy+yz+zx=1, P ( x ) + P ( y ) + P ( z ) = P ( x + y + z ) . P(x)+P(y)+P(z)=P(x+y+z). Furthermore, P ( 0 ) = 1 P(0)=1 and P ( 1 ) = 4. P(1)=4. What is the value of P ( 2017 ) ? \sqrt{P(2017)}?


The answer is 2018.

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.

1 solution

Sharky Kesa
Jul 29, 2017

I will try to post a general solution that doesn't require the specific values of P ( 0 ) P(0) and P ( 1 ) P(1) .

Assume P P is nonconstant (it can't be constant due to the differing values of P ( 0 ) P(0) and ( P ( 1 ) (P(1) .

Let P ( x ) = i = 0 n a i x i P(x)=\displaystyle \sum_{i=0}^n a_ix^i with n 0 n \geq 0 and a n 0 a_n \neq 0 .

Suppose n > 2 n>2 . Thus, if we apply the substitution ( x , 1 x , 0 ) \left ( x, \frac{1}{x}, 0 \right ) (noting that this satisfies x y + y z + z x = 1 xy+yz+zx=1 , we get

P ( x ) + P ( 1 x ) + P ( 0 ) = P ( x + 1 x ) P(x)+P \left ( \frac{1}{x} \right ) + P(0) = P \left (x+\frac{1}{x} \right )

Thus, a n ( x n + 1 x n ) = a n ( x + 1 x ) n a_n \left ( x^n+\frac{1}{x^n} \right ) = a_n \left (x+\frac{1}{x} \right )^n , which can only occur if a n = 0 a_n=0 for n > 2 n>2 . This is a contradiction. Thus, n 2 n \leq 2 .

Plugging in P ( x ) = a x 2 + b x + c P(x)=ax^2+bx+c in P ( x ) + P ( 1 x ) + P ( 0 ) = P ( x + 1 x ) P(x)+P \left ( \frac{1}{x} \right ) + P(0) = P \left (x+\frac{1}{x} \right ) gives a x 2 + b x + c + a x 2 + b x + c + c = a ( x + 1 x ) 2 + b ( x + 1 x ) + c = a x 2 + 2 a + a x 2 + b x + b x + c 2 c = 2 a a = c \begin{aligned} ax^2+bx+c + \frac{a}{x^2}+\frac{b}{x} + c + c &= a\left ( x+\frac{1}{x} \right )^2 + b \left (x+\frac{1}{x} \right ) + c\\ &= ax^2 + 2a + \frac{a}{x^2} + bx + \frac{b}{x} + c\\ 2c &= 2a\\ a&=c \end{aligned} Thus, we have P ( x ) = a x 2 + b x + a P(x)=ax^2+bx+a .

To check this works, we substitute back into the original expression to get a x 2 + b x + a + a y 2 + b y + a + a z 2 + b z + a = a ( x + y + z ) 2 + b ( x + y + z ) + a = a x 2 + a y 2 + a z 2 + 2 a x y + 2 a y z + 2 a z x + b x + b y + b z + a 2 a = 2 a ( x y + y z + z x ) x y + y z + z x = 1 \begin{aligned} ax^2+bx+a+ay^2+by+a+az^2+bz+a &= a(x+y+z)^2+b(x+y+z)+a\\ &= ax^2+ay^2+az^2+2axy+2ayz+2azx+bx+by+bz+a\\ 2a &= 2a(xy+yz+zx)\\ xy+yz+zx &=1 \end{aligned} Thus, we have verified, so this polynomial satisfies.


Now, since P ( 0 ) = 1 P(0)=1 , P P isn't constant. Thus, P ( x ) = a x 2 + b x + a P(x)=ax^2+bx+a , so a = 1 a=1 . P ( 1 ) = 4 P(1)=4 gives us 2 + b = 4 2+b=4 , so b = 2 b=2 . Thus, P ( x ) = x 2 + 2 x + 1 = ( x + 1 ) 2 P(x)=x^2+2x+1=(x+1)^2 . Thus, P ( 2017 ) = 2018 \sqrt{P(2017)} = 2018 .

You need a little more detail. With P ( x ) = a n x n + a n 1 x n 1 + . . . + a 1 x + a 0 P(x)=a_nx^n + a_{n-1}x^{n-1} + ... + a_1x+ a_0 , you are considering the identity P ( x ) + P ( x 1 ) + P ( 0 ) = P ( x + x 1 ) P(x)+P(x^{-1})+P(0)=P(x+x^{-1}) by looking at each monomial a m x m a_mx^m separately.

You can make this argument work, but it is a little more involved. If we consider P ( x + x 1 ) P ( x ) P ( x 1 ) P(x+x^{-1}) -P(x) -P(x^{-1}) then the highest index term is the term in x n 2 x^{n-2} , which is n a n x n 2 na_nx^{n-2} . Thus we can deduce that a n = 0 a_n=0 so long as n 3 n\ge3 , and then proceed by induction...

Mark Hennings - 3 years, 10 months ago

Log in to reply

I'm not sure if I'm understanding your argument there. When you consider the equality

P ( x + x 1 ) P ( x ) P ( x 1 ) = P ( 0 ) P(x + x^{-1}) - P(x) - P(x^{-1}) = P(0)

you say that the highest index term is n a n na_n of x n 2 x^{n-2} but shouldn't it be n a n a n 2 na_n - a_{n-2} where the a n 2 -a_{n-2} comes from P ( x ) P(x) ?

In that case we could only conclude that n a n = a n 2 na_n = a_{n-2} , for all n 3 n\ge3 .

Am I missing something ?

Thank you.

Tiago Guerreiro - 3 years, 10 months ago

Log in to reply

Note that P ( x + x 1 ) P ( x ) P ( x 1 ) = j = 0 n a j [ ( x + x 1 ) j x j x j ] P(x+x^{-1}) - P(x) - P(x^{-1}) \; = \; \sum_{j=0}^n a_j\big[(x+x^{-1})^j - x^j - x^{-j}\big] and the highest order term of ( x + x 1 ) j x j x j (x+x^{-1})^j - x^j - x^{-j} is j x j 2 jx^{j-2} for each j 3 j \ge 3 . Thus the highest order term of P ( x + x 1 ) P ( x ) P ( x 1 ) P(x+x^{-1}) - P(x) - P(x^{-1}) is n a n x n 2 na_n x^{n-2} , as I have said.

Mark Hennings - 3 years, 10 months ago

Log in to reply

@Mark Hennings Thanks!

It's clear now. :)

Tiago Guerreiro - 3 years, 10 months ago

Some feedback about your solution:

  1. Mark's comment about checking monomials
  2. Separating out the non-constant case doesn't seem too helpful / relevant to the rest of the solution. It's not clear to me why that is given such prominence.
  3. The explanation of "to check this works" could be improved. At the very least, explain why a linear combination of solutions is also a solution. This seems to be an assumption that you are thinking of, but did not state (esp why you only checked monomials). If so, note that there could be "basis solutions" which are not monomials, like x 2 + 1 x^2 + 1 .
  4. IMO it's best to just "Check that P ( x ) = a x 2 + b x + a P(x) = ax^2 + bx + a works by substituting directly.", because ultimately not much work is saved.

Calvin Lin Staff - 3 years, 10 months ago

@Sharky Kesa ,

hello , can you please suggest some books from where you do tough Calculus problems ,as you are level 5?

Priyanshu Mishra - 3 years, 10 months ago

Log in to reply

https://drive.google.com/open?id=0B_ZOpvhhpn4oVTdsbkJnaEY0NGM

Tanay Rathore - 3 years, 10 months ago

Log in to reply

Oh thanks a lot.

I exactly needed what you have given.

Priyanshu Mishra - 3 years, 10 months ago

@Tanay Rathore Ummm could you please check the link again......it does not work.........Or, @Priyanshu Mishra If you have it, please reply...........!!

Aaghaz Mahajan - 2 years, 5 months ago

Um, how do you get from P ( x ) + P ( 1 x ) + P ( 0 ) = P ( x + 1 x ) P(x)+P \left ( \frac{1}{x} \right ) + P(0) = P \left (x+\frac{1}{x} \right ) to a n ( x n + 1 x n ) = a n ( x + 1 x ) n a_n \left ( x^n+\frac{1}{x^n} \right ) = a_n \left (x+\frac{1}{x} \right )^n ? This "thus" doesn't look obvious at all.

Duke Garland - 3 years, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...