How Many Even Coefficients?

Level pending

Let f ( x ) f(x) be a 2014 2014 degree polynomial whose coefficients are all even integers. Suppose f ( x ) f(x) can be written as f ( x ) = g ( x ) h ( x ) , f(x)= g(x) h(x), where g ( x ) g(x) and h ( x ) h(x) again are non-constant polynomials with integer coefficients, both having degree 2014 2 \dfrac{2014}{2} . Let N g N_g denote the number of even coefficients of g ( x ) , g(x), and let N h N_h denote the number of even coefficients of h ( x ) . h(x). As f ( x ) f(x) ranges over all such irreducible 2014 2014 degree polynomials in Z [ x ] , \mathbb{Z}[x], find the minimum possible value of N g + N h 1. N_g + N_h-1.

Details and assumptions

  • As an explicit example, the polynomial x 2 + 2 x + 1 x^2+2x+1 has 1 1 even coefficient (coefficient of x x ).

  • Note that in a polynomial with degree n , n, the coefficients of x k x^k for all k > n k>n are zero. These coefficients aren't counted in the count of even coefficients.


The answer is 1007.

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

Let g ( x ) = i = 0 2014 / 2 a i x i g(x) = \displaystyle \sum_{i=0}^{2014/2} a_i x_i and h ( x ) = i = 0 2014 / 2 b i x i . h(x) = \displaystyle \sum_{i=0}^{2014/2} b_i x^i. We claim that in order for f ( x ) f(x) to have all its coefficients even, either all coefficients of g ( x ) g(x) must be even or all coefficients of h ( x ) h(x) must be even. Assume the contrary. Let p p be the smallest index for which a p a_p is odd, and let q q be the smallest index for which b q b_q is odd. Note that the coefficient of x p + q x^{p+q} in f ( x ) f(x) is i = 0 p + q a i b p + q i . \displaystyle \sum_{i=0}^{p+q} a_i b_{p+q-i}. The only odd term in this summation is a p b q , a_p b_q, since a i a_i is even for all i < p i<p and b i b_i is even for all i < q . i<q. Thus, the coefficient of x p + q x^{p+q} in f ( x ) f(x) is odd, contradiction.

It follows that atleast one of N g N_g or N h N_h must be 2014 2 + 1 , \dfrac{2014}{2}+1, so N g + N h 1008. N_g+N_h \geq 1008. We can set all coefficients of g ( x ) g(x) even and all coefficients of h ( x ) h(x) odd. Note that this satisfies the problem condition, since if a i = 2 c i a_i = 2c_i for all i i for some c i N , c_i \in \mathbb{N}, f ( x ) = g ( x ) h ( x ) = 2 ( i = 0 2014 / 2 c i x i ) ( i = 0 2014 / 2 b i x i ) , f(x) = g(x) h(x) = 2 \left( \displaystyle \sum_{i=0}^{2014/2} c_i x^i \right) \left( \displaystyle \sum_{i=0}^{2014/2} b_i x_i\right), whose coefficients are clearly even. Thus, N g + N h = 1008 N_g+N_h= 1008 is attainable, and our answer is 1008 1 = 1007 . 1008-1= \boxed{1007}.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...