USA TST 2014 #4

by Wolstenholme, Oct 15, 2014, 8:59 PM

Let $n$ be a positive even integer, and let $c_1, c_2, \dots, c_{n-1}$ be real numbers satisfying \[ \sum_{i=1}^{n-1} \left\lvert c_i-1 \right\rvert < 1. \] Prove that \[
	2x^n - c_{n-1}x^{n-1} + c_{n-2}x^{n-2} - \dots - c_1x^1 + 2. 
\] has no real roots.

Proof:

Let $ a_i = (-1)^i(1 - c_i) $ for all integers $ 1 \le i \le n - 1 $. Thus the condition becomes $ \sum_{i = 1}^{n - 1}|a_i| < 1 $ and our polynomial can be written as $ P(x) = x^n + 1 + \frac{x^{n + 1} + 1}{x + 1} - \sum_{i = 1}^{n - 1}a_ix^i $ (when $ x \ne -1 $). Now we proceed with some casework:

Case 1: $ -1 < x \le 1 $

Here we have $ \sum_{i = 1}^{n - 1}a_ix^i \le \sum_{i = 1}^{n - 1}|a_i| < 1 < x^n + 1 + \frac{x^{n + 1} + 1}{x + 1} $ as desired.

Case 2: $ x > 1 $ or $ x < -1 $

Here we have $ \sum_{i = 1}^{n - 1}a_ix^i < |x|^{n - 1}\sum_{i = 1}^{n - 1}|a_i| < |x|^{n - 1} < 1 + x^n + \frac{x^{n + 1} + 1}{x + 1} $ as desired.

Case 3: $ x = -1 $

Here we have that $ P(-1) = n + 3 - \sum_{i = 1}^{n - 1}a_i(-1)^i > n + 3 - \sum_{i = 1}^{n - 1}|a_i| > n + 2 > 0 $ as desired.

Therefore $ P(x) > 0 $ for all $ x \in \mathbb{R} $ which implies the desired result.

Comment

0 Comments

Archives
+ June 2016
+ April 2016
+ March 2016
+ July 2015
+ February 2015
+ June 2014
Shouts
Submit
  • glad to have found a fellow chipotle lover <3

    by nukelauncher, Aug 13, 2020, 6:40 AM

  • the random chinese tst problem is the only thing I read, but I'll assume your blog is nice and give you a shout even though you probably never use aops anymoer

    by fukano_2, Jun 14, 2020, 6:24 AM

  • wolstenholme - op

    by AopsUser101, Jan 29, 2020, 8:27 PM

  • this blog is so hot

    by mathleticguyyy, Jun 5, 2019, 8:26 PM

  • Hi. Nice Blog!

    by User360702, Jan 10, 2019, 6:03 PM

  • helloooooo

    by songssari, Jun 12, 2016, 8:21 AM

  • shouts make blogs happier

    by briantix, Mar 18, 2016, 9:57 PM

  • You were just featured on AoPS's facebook page.

    by mishka1980, Sep 12, 2015, 10:33 PM

  • This is late, but where is the ARML results post?

    by donot, Aug 31, 2015, 11:07 PM

  • "I am Sam"
    "Sam I am"

    by mathwizard888, Aug 12, 2015, 9:13 PM

  • HW$\textcolor{white}{}$

    by Eugenis, Apr 20, 2015, 10:10 PM

  • Uh-oh ARML practice is Thursday... I should start the homework. :P

    by nosaj, Apr 20, 2015, 12:34 AM

  • Yes I am Sam, and Chebyshev polynomials aren't trivial, although they do make some problems trivial :P

    by Wolstenholme, Apr 15, 2015, 10:00 PM

  • How are Chebyshev Polynomials trivial? :P

    by nosaj, Apr 13, 2015, 4:10 AM

  • Are you Sam?

    by Eugenis, Apr 4, 2015, 2:05 AM

  • @Brian: yes, yes I did #whoneedsalgskillz?

    @gauss1181; hey!

    by Wolstenholme, Mar 1, 2015, 11:25 PM

  • hello!!! :D

    by gauss1181, Nov 27, 2014, 12:19 AM

  • Hi Wolstenholme did you actually use calc on that tstst problem :o

    by briantix, Aug 2, 2014, 12:25 AM

18 shouts
Contributors
Tags
About Owner
  • Posts: 543
  • Joined: Mar 3, 2013
Blog Stats
  • Blog created: Apr 3, 2013
  • Total entries: 112
  • Total visits: 34997
  • Total comments: 167
Search Blog
a