Maths WorkshopMaths problems with full solutions
Exercise 412Combinatorics › Binomial coefficientsHigh schoolAdded 3 Nov 2026

Sum over odd and even sizes

#sum parity#binomial#subsets

Statement

Show that ∑k oddk(nk)=n⋅2n−2\sum_{k\text{ odd}}k\binom{n}{k}=n\cdot 2^{n-2} for n≥2n\ge2.

Hint

Use symmetric sums or generating functions.

Show solutionHide solution

Solution

Approach. Total ∑kk(nk)=n⋅2n−1\sum_k k\binom{n}{k}=n\cdot 2^{n-1}. Even and odd differ by ∑k(−1)kk(nk)\sum_k(-1)^kk\binom{n}{k}.

Alternating sum. ∑k(−1)kk(nk)=0\sum_k(-1)^kk\binom{n}{k}=0 for n≥2n\ge2 (derivative argument).

Compute. Even sum = odd sum = n⋅2n−12=n⋅2n−2\frac{n\cdot2^{n-1}}{2}=n\cdot2^{n-2}.

Conclusion. ∑k oddk(nk)=n⋅2n−2\sum_{k\text{ odd}}k\binom{n}{k}=n\cdot2^{n-2}.