Perfect Square In Polynomial Form

Find the sum of all integral x x for which x 4 + x 3 + x 2 + x + 1 x^{4} + x^{3} + x^{2} + x + 1 is a perfect square.


Try more here


The answer is 2.

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

Patrick Corn
Jan 23, 2016

First note that x = 0 x = 0 is a solution. Now let's assume x 0 x \ne 0 . We have ( x 2 + 1 2 x + 1 ) 2 = x 4 + x 3 + 9 4 x 2 + x + 1 > x 4 + x 3 + x 2 + x + 1 ( x 2 + 1 2 x ) 2 = x 4 + x 3 + 1 4 x 2 < x 4 + x 3 + x 2 + x + 1 \begin{aligned} (x^2+\frac12 x + 1)^2 &= x^4 + x^3 + \frac94 x^2 + x + 1 > x^4+x^3+x^2+x+1 \\ (x^2+\frac12 x)^2 &= x^4+x^3+\frac14 x^2 < x^4+x^3+x^2+x+1 \\ \end{aligned} where the latter is true because 3 4 x 2 + x + 1 \frac34 x^2+x+1 has its minimum at x = 2 / 3 , y = 2 / 3 x = -2/3, y = 2/3 , so it's always positive.

So the square root of x 4 + x 3 + x 2 + x + 1 x^4+x^3+x^2+x+1 is in the length-1 interval ( x 2 + 1 2 x , x 2 + 1 2 x + 1 ) (x^2+\frac12x,x^2+\frac12x+1) . The endpoints of the interval are either integers or halves of odd integers. The only way there can be an integer in this interval is if it is the latter, and the integer is the midpoint x 2 + 1 2 x + 1 2 x^2+\frac12x+\frac12 .

Now we solve ( x 2 + 1 2 x + 1 2 ) 2 = x 4 + x 3 + x 2 + x + 1 x 4 + x 3 + 5 4 x 2 + 1 2 x + 1 4 = x 4 + x 3 + x 2 + x + 1 1 4 x 2 1 2 x 3 4 = 0 1 4 ( x 3 ) ( x + 1 ) = 0 \begin{aligned} (x^2+\frac12x+\frac12)^2 &= x^4+x^3+x^2+x+1\\ x^4+x^3+\frac54x^2+\frac12x+\frac14 &= x^4+x^3+x^2+x+1\\ \frac14x^2-\frac12x-\frac34 &=0\\ \frac14(x-3)(x+1)=0 \end{aligned} so the solutions are x = 0 x = 0 (from above), x = 3 x = 3 , x = 1 x = -1 . The sum is 2 \fbox{2} .

How did u come to the conclusion that the latter part must be an integer

Akarsh Kumar Srit - 5 years, 4 months ago

Log in to reply

I meant that of the two possibilities, (1) that the end points of the interval were consecutive integers and (2) that they were halves of odd integers, the only way for the interval to contain an integer is if (2) is true and the integer it contains is the midpoint.

Patrick Corn - 5 years, 4 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...