More fun in 2016, Part 3

Algebra Level 5

Let f ( x ) = x 2016 ± x 2015 ± ± x ± 1 f(x)=x^{2016}\pm x^{2015}\pm \ldots \pm x \pm 1 be a monic polynomial whose non-leading coefficients are either 1 or 1 -1 . If f ( x ) f(x) has no real roots, what is the maximal number of coefficients 1 -1 the polynomial f ( x ) f(x) can have?


The answer is 1008.

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

Xuming Liang
Oct 12, 2015

We claim that the answer is 1008 \boxed {1008} , in which a satisfying example is having negative coefficients on the odd exponents, e.g. x 2016 x 2015 + x 2014 x 2013 + . . . + 1 x^{2016}-x^{2015}+x^{2014}-x^{2013}+...+1 . This polynomial has no real roots because it can also be written as x 2017 + 1 x + 1 \frac {x^{2017}+1}{x+1} , whose roots we know are complex.

If f ( x ) f(x) has more than 1008 1008 negative one coefficients, then more than half of the coefficients are negative. This means f ( 1 ) = f(1)= # of positive coefficients-# of negative coefficients < 0 <0 . Since f ( x ) f(x) has a positive leading coefficient, it is intuitive to assume that there exists a > 1 a>1 such that f ( a ) > 0 f(a)>0 . Since f ( 1 ) < 0 < f ( a ) f(1)<0<f(a) , there must be a c ( 1 , a ) c\in (1,a) satisfying f ( c ) = 0 f(c)=0 by the intermediate value theorem, meaning f ( x ) f(x) must have a real root, a contradication.

Yes, exactly, that's what I had in mind. Thank you (upvote)!

When using the intermediate value theorem in the second paragraph, you could point out that f ( 2 ) > 0 f(2)>0 for any polynomial of this form.

Otto Bretscher - 5 years, 8 months ago

WOAH! Great question and great answer! Thanks guys! =D

Pi Han Goh - 5 years, 8 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...