Download Determine the number of odd binomial coefficients in the expansion

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Mathematical proof wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

History of trigonometry wikipedia , lookup

Addition wikipedia , lookup

List of important publications in mathematics wikipedia , lookup

List of prime numbers wikipedia , lookup

Location arithmetic wikipedia , lookup

Nyquist–Shannon sampling theorem wikipedia , lookup

System of polynomial equations wikipedia , lookup

Central limit theorem wikipedia , lookup

Brouwer fixed-point theorem wikipedia , lookup

Fermat's Last Theorem wikipedia , lookup

Four color theorem wikipedia , lookup

Fundamental theorem of calculus wikipedia , lookup

Vincent's theorem wikipedia , lookup

Karhunen–Loève theorem wikipedia , lookup

Factorization of polynomials over finite fields wikipedia , lookup

Pythagorean theorem wikipedia , lookup

Wiles's proof of Fermat's Last Theorem wikipedia , lookup

Theorem wikipedia , lookup

Collatz conjecture wikipedia , lookup

Quadratic reciprocity wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Transcript
Determine the number of odd binomial coefficients in the expansion of
(x + y)1000 .
Theorem 0.1. The number of odd entries in row n of Pascal’s Triangle
is 2 raised to the number of 1’s in the binary expansion of n.
Proof. The binomial theorem says that
n µ ¶
X
n n−k k
n
(a + b) =
a b .
k
k=0
So with a = 1 and b = x we have
n
(1 + x) =
n µ ¶
X
n
k
k=0
xk .
If we reduce the coefficients mod 2, then it’s easy to show by induction
on n that for n ≥ 0,
n
n
(1 + x)2 ≡ (1 + x2 )(mod 2).
Thus:
(1+x)10 = (1+x)8 (1+x)2 ≡ (1+x8 )(1+x2 )(mod 2) = (1+x2 +x8 +x10 )(mod 2).
Since the coefficients of these polynomials
are equal mod 2, using the
¡ n¢
binomial theorem we see that k is odd for k = 0, 2, 8, 10, and it is
even for all other k. Similarly, the product
(1 + x)11 ≡ (1 + x8 )(1 + x2 )(1 + x1 )(mod 2)
is a polynomial containing 8 = 23 terms, being the product of 3 factors
with 2 choices in each.
In general,
as the sum of p distinct powers of 2,
¡n¢ if n can be expressed
p
then k will be odd for 2 values of¡ k.
¢ But p is just the numberthof 1’s
n
in the binary expansion of n, and k are the numbers in the n row
of Pascal’s triangle.
¤
1