Expand It Out?

If you fully expand ( x + 1 ) 1000 , (x+1)^{1000}, how many of the coefficients will be even?


The answer is 937.

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.

2 solutions

Mark Hennings
Jun 4, 2018

By Kummer's Theorem , the Binomial coefficient ( m + n m ) \binom{m+n}{m} is odd precisely when there are no "carries" when m m and n n are added in base 2 2 . Since the binary expansion of 1000 1000 is 111110100 0 2 1111101000_2 , the only way that ( 1000 m ) \binom{1000}{m} can be odd is if the binary expansion of m m is of the form a 1 a 2 a 3 a 4 a 5 0 a 6 00 0 2 a 1 , a 2 , a 3 , a 4 , a 5 , a 6 { 0 , 1 } a_1a_2a_3a_4a_50a_6000_2 \hspace{2cm} a_1,a_2,a_3,a_4,a_5,a_6 \in \{0,1\} so that the binary expansion of 1000 m 1000-m is b 1 b 2 b 3 b 4 b 5 0 b 6 00 0 2 b j = 1 a j ( 1 j 6 ) b_1b_2b_3b_4b_50b_6000_2 \hspace{2cm} b_j = 1-a_j \; (1 \le j \le 6) Thus there are 2 6 = 64 2^6 = 64 numbers m m between 0 0 and 1000 1000 for which ( 1000 m ) \binom{1000}{m} is odd, and hence 937 \boxed{937} even Binomial coefficients.

Andre Bourque
Jun 18, 2018

The coefficients are the 1001 numbers ( 1000 k ) \binom{1000}{k} with k = 0, 1, ... , 1000. By Lucas's theorem , the coefficient is odd if no binary digit of k is greater than the corresponding digit of 1000. We have 1000 = 1111101000 in binary. This means that k takes the form xxxxx0x000 in binary, where each x is a binary digit, either 1 or 0, but not all of them are the same. This is easily computed as 2 6 = 64 2^6 = 64 odd coefficients, so there are 937 even ones.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...