* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Determine the number of odd binomial coefficients in the expansion
Mathematical proof wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
History of trigonometry 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
Collatz conjecture wikipedia , lookup
Quadratic reciprocity wikipedia , lookup
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