Only Even

Algebra Level 5

If the expression ( x 2 + 2 x 1 ) 8 (x^2 + 2x -1)^{8} is completely expanded, what is the sum of the coefficients of the terms with even powers of x x ?

Details and assumptions

0 is an even number.


The answer is 256.

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.

9 solutions

Jared Low
May 20, 2014

Let f ( x ) = ( x 2 + 2 x 1 ) 8 = a 16 x 16 + a 15 x 15 + . . . + a 2 x 2 + a 1 x + a 0 f(x) = ( x^2 + 2x-1)^8 = a_{16}x^{16} + a_{15}x^{15} + ... + a_2x^2 + a_1x + a_0

We wish to find a 16 + . . . + a 2 + a 0 a_{16} + ... + a_2 + a_0 .

Note that f ( 1 ) = a 16 a 15 + . . . + a 2 a 1 + a 0 f(-1) = a_{16} - a_{15} + ... + a_2 - a_1 + a_0 and that f ( 1 ) = a 16 + a 15 + . . . + a 2 + a 1 + a 0 f(1) = a_{16} + a_{15} + ... + a_2 + a_1 + a_0

Consequently, f ( 1 ) + f ( 1 ) = 2 ( a 16 + . . . + a 2 + a 0 ) = 2 8 + ( 2 ) 8 = 2 256 f(-1) + f(1) = 2 (a_{16} + ... + a_2 + a_0) = 2^8 + (-2)^8 = 2*256

We then have: a 16 + . . . + a 2 + a 0 = 256 a_{16} + ... + a_2 + a_0 = 256

All submitted correct solutions used the same idea.

Calvin Lin Staff - 7 years ago
Nicholas Ma
May 20, 2014

Suppose that f ( x ) = ( x 2 + 2 x 1 ) 8 = i = 0 16 a n x n . f(x)=(x^2+2x-1)^8 = \sum_{i=0}^{16} a_n x^n.

Now note that

f ( 1 ) = 2 8 = i = 0 16 a n f(1)=2^8 = \sum_{i=0}^{16} a_n

and

f ( 1 ) = 2 8 = i = 0 16 a n ( 1 ) n . f(-1)=2^8 = \sum_{i=0}^{16} a_n (-1)^n.

Thus, because the odd coefficients cancel out,

1 2 ( f ( 1 ) + f ( 1 ) ) = i = 0 8 a 2 n \frac 12 (f(1)+f(-1)) = \sum_{i=0}^8 a_{2n}

and the desird answer is 1 2 ( 2 8 + 2 8 ) = 256 \frac 12 (2^8+2^8)=256

would have featured, but the sigma notation may be not palatable to less experienced users

Calvin Lin Staff - 7 years ago
Tyler Russell
May 20, 2014

We first note that for a given polynomial, f ( x ) = a m x m + a m 1 x m 1 + . . . + a 0 f(x) = a_m x^m +a_{m-1}x^{m-1}+...+a_0 , we have the following;

  • f ( 1 ) = a m + a m 1 + . . . + a 0 f(1) = a_m + a_{m-1} + ... + a_0
  • f ( 1 ) = a m ( 1 ) m + a m 1 ( 1 ) m 1 + . . . + a 0 f(-1) = a_m(-1)^m + a_{m-1}(-1)^{m-1} + ... + a_0 .

Thus, combining these two properties, we see that f ( 1 ) + f ( 1 ) 2 \frac{f(1)+f(-1)}{2} gives exactly the sum of the coefficients of the even powers of x x (as the even power terms will double up while the odd power terms will cancel due to the powers of 1 -1 ).

Hence, noting that g ( x ) = ( x 2 + 2 x 1 ) 8 g(x) = (x^2 +2x - 1)^8 is a polynomial, we have that the sum of the coefficients of the even powers of x x is g ( 1 ) + g ( 1 ) 2 = 2 8 + ( 2 ) 8 2 = 2 8 = 256 \frac{g(1)+g(-1)}{2} = \frac{2^8 + (-2)^8}{2} = 2^8 = 256

possibly feature

Calvin Lin Staff - 7 years ago
Zubin Arya
May 20, 2014

since odd polynomials change there sign on reversing the value of the variable hence even ones preserve their signs to calculate the sum of coefficients of even ones we just need to add the values of polynomial at unity and negative unity and average it out which gives (256+256)/2=256

David Christopher
May 20, 2014

We'll expand the binomial and we'll get:

(x^2+2x-1)^8 = a0 + a1 x + a2 x^2 + ... + a16*x^16

a0,a1,a2,...,a16 are the coefficients of polynomial.

The sum of even coefficients is:

a0 + a2 + ... + a14 + a16

if we want to determine the summof all coefficients of a polynomial, we'll have to make the variable x = 1 and x=-1

We'll put x = 1 and we'll calculate:

(1+2-1)^8 = a0 + a1 + a2 + ... + a16

a0 + a1 + ... + a16 = 2^8 (1)

Now, we'll put x = -1

(1-2-1)^8 = a0 - a1 + ... - a15 + a16

a0 - a1 + ... - a15 + a16 = 2^8 (2)

We'll add (1) + (2):

(a0 +a1 + ... + a16) + (a0 -a1 + ... - a15 + a16) = 2^9 (the odd coefficients will be eliminated)

We'll eliminate and combine like terms:

2(a0 + a2 + ... + a14 + a16) = 2^9

a0 + a2 + ... + a14 + a16 = 2^9/2

a0 + a2 + ... + a14 + a16 = 2^8

The sum of even coefficientas of the given polynomial is: a0 + a2 + ... + a14 + a16 = 2^8

Fengyu Seah
May 20, 2014

First split the expression x 2 + 2 x 1 x^2 + 2x - 1 into x 2 1 x^2 - 1 and 2 x 2x . Then use binomial expansion to expand the expression, to get ( 8 0 ) ( x 2 1 ) 8 + ( 8 1 ) ( x 2 1 ) 7 ( 2 x ) 1 + ( 8 2 ) ( x 2 1 ) 6 ( 2 x ) 2 + ( 8 3 ) ( x 2 1 ) 5 ( 2 x ) 3 + ( 8 4 ) ( x 2 1 ) 4 ( 2 x ) 4 + ( 8 5 ) ( x 2 1 ) 3 ( 2 x ) 5 + ( 8 6 ) ( x 2 1 ) 2 ( 2 x ) 6 + ( 8 7 ) ( x 2 1 ) 1 ( 2 x ) 7 + ( 8 8 ) ( 2 x ) 8 {8 \choose 0}(x^2 - 1)^8 + {8 \choose 1}(x^2 - 1)^7 (2x)^1 + {8 \choose 2}(x^2 - 1)^6 (2x)^2 + {8 \choose 3}(x^2 - 1)^5 (2x)^3 + {8 \choose 4}(x^2 - 1)^4 (2x)^4 + {8 \choose 5}(x^2 - 1)^3 (2x)^5 + {8 \choose 6}(x^2 - 1)^2 (2x)^6 + {8 \choose 7}(x^2 - 1)^1 (2x)^7 + {8 \choose 8}(2x)^8 . Since the question asks for the coefficients of the terms with even powers of x x , the terms with only odd powers of x x need not be considered. It can be seen that any power of x 2 1 x^2 - 1 will only have even powers of x x . Thus, we only need to look at the power of 2 x 2x . From this, we only need to consider the terms of the expansion which have an even power of 2 x 2x . However, the coefficients of the terms of the expansion of x 2 1 x^2 - 1 will add up to zero. For example, ( x 2 1 ) 2 (x^2 - 1)^2 is equals to x 4 2 x 2 + 1 x^4 - 2x^2 + 1 , and 1 2 + 1 1 - 2 + 1 is equals to zero. Therefore, the only term to consider is the last term, which is ( 8 8 ) ( 2 x ) 8 {8 \choose 8}(2x)^8 , as the power of x 2 1 x^2 - 1 in this case will be zero. Working out the expression gives 256 x 8 256x^8 , so the sum of the coefficients of the even powers of x x is 256 256 .

[Revised text. This is now correct]

Calvin Lin Staff - 7 years ago

I see some similarity with how I did it, but I think you made it needlessly hard on yourself. For any polynomial that is a multiple of x 2 1 x^2-1 (does not need to be a power), the coefficients of terms with even powers of x x will add up to 0.

( x 2 + 2 x 1 ) 8 ( 2 x ) 8 (x^2+2x-1)^8-(2x)^8 is a multiple of x 2 1 x^2-1 , and ( 2 x ) 8 = 256 x 8 (2x)^8=256x^8 , so it follows that the answer to the original question is 256 256 .

Peter Byers - 5 years, 6 months ago
黎 李
May 20, 2014

=256

Enough said

Calvin Lin Staff - 7 years ago

Log in to reply

Sir, I don't know why it has got 10 upvotes

Mehul Chaturvedi - 6 years, 5 months ago
Alexander Katz
May 20, 2014

We show a more general result. For a polynomial P ( x ) P(x) , the sum of the coefficients of the terms with even powers is 1 2 ( P ( 1 ) + P ( 1 ) ) \frac{1}{2}(P(1)+P(-1)) . We prove this as follows:

Let P ( x ) = a n x n + a n 1 x n 1 + + a 0 P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0 . Note that x 2 b = 1 x^{2b}=1 for x = 1 , 1 x=1, -1 , and x 2 b 1 = ( x ) 2 b 1 x^{2b-1}=-(-x)^{2b-1} . In particular, this means that

P ( 1 ) + P ( 1 ) = 2 ( a 0 + a 2 + a 4 + ) P(1)+P(-1)=2(a_0+a_2+a_4+\cdots) , and so the sum of the coefficients of the terms with even powers of x is 1 2 ( P ( 1 ) + P ( 1 ) ) \frac{1}{2}(P(1)+P(-1)) , as desired.

We can extend this concept to the roots of unity filter . Let 1 , ω , ω 2 , ω 3 , , ω k 1 1, \omega, \omega^2, \omega^3, \cdots, \omega^{k-1} be the k k th roots of unity. Let P ( x ) = a n x n + a n 1 x n 1 + + a 0 P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0 . Note for any term with an index divisible by k k will have x k x^k evaluate to 1 for each of the roots of unity. For an index not divisible by k k , say i i , the term evaluates to

a i ( ω i + ω 2 i + + ω i ( n 1 ) ) = a i ( ω i n 1 ω i 1 ) a_i(\omega^i+\omega^{2i}+\cdots+\omega^{i(n-1)})=a_i(\frac{\omega^{in}-1}{\omega^i-1}) . Recall that i i is not divisible by k k , thus this evaluates to 0.

Therefore, the sum of the coefficients in a polynomial P ( x ) P(x) whose indices are divisible by k is

1 k ( P ( 1 ) + P ( ω ) + P ( ω 2 ) + + P ( ω k 1 ) ) \frac{1}{k}(P(1)+P(\omega)+P(\omega^2)+\cdots+P(\omega^{k-1})) .

Note that this agrees with our above answer. The 2nd roots of unity are 1 , 1 1, -1 , so we seek 1 2 ( P ( 1 ) + P ( 1 ) ) \frac{1}{2}(P(1)+P(-1)) as above.

This is a powerful technique with several non-obvious applications. For example, the problem

"Compute ( 2013 0 ) + ( 2013 3 ) + + ( 2013 2013 ) \binom{2013}{0}+\binom{2013}{3}+\cdots+\binom{2013}{2013} "

has a nice solution using the roots of unity filter. We leave this as an exercise for the reader to practice their skills, and suggest as a hint to replace 2013 with the more general 3 n 3n .

Calvin Lin Staff
May 13, 2014

Let E E be the sum of the even coefficients of the polynomial. Let D D be the sum of the odd coefficients of the polynomial. Setting x = 1 x = 1 gives the sum of all the coefficients. So D + E = ( 1 + 2 1 ) 8 = 2 8 D + E = (1 + 2 - 1)^{8} = 2^{8} . Setting x = 1 x = -1 will give the sum of all the even coefficients minus the sum of all the odd coefficients. So E D = ( 1 2 1 ) 8 = ( 2 ) 8 = 2 8 E - D = (1 - 2 - 1)^{8} = (-2)^{8} = 2^{8} . Solving these two equations gives E = 2 8 , D = 0 E = 2^{8}, D= 0 . Thus, the sum of the even coefficients is 2 8 = 256 2^8 = 256 .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...