MathDB
Number of 1's in binary representation of n

Source:

November 14, 2011
calculusfunctionnumber theorycombinatorics

Problem Statement

Let nn be a positive integer and let αn\alpha_n be the number of 11's within binary representation of nn.
Show that for all positive integers rr, 22nαn110k=nn(2nn+k)k2r.2^{2n-\alpha_n}\phantom{-1} \bigg|^{\phantom{0}}_{\phantom{-1}} \sum_{k=-n}^{n} \binom{2n}{n+k} k^{2r}.