Maths WorkshopMaths problems with full solutions
Exercise 1603Combinatorics › Counting principlesOlympiadAdded 3 Nov 2026

Generating function for binomial coefficients

#generating function#binomial#formal power series

Statement

Compute ∑n≥0(nk)xn\sum_{n\ge0}\binom{n}{k}x^n for fixed kk.

Hint

(nk)\binom{n}{k} is zero for n<kn<k. The generating function is xk/(1−x)k+1x^k/(1-x)^{k+1}.

Show solutionHide solution

Solution

Known. ∑n≥0(nk)xn=xk(1−x)k+1\sum_{n\ge0}\binom{n}{k}x^n=\frac{x^k}{(1-x)^{k+1}}.

Derivation. Start from ∑m≥0xm=11−x\sum_{m\ge0}x^m=\frac{1}{1-x}, differentiate kk times and divide by k!k!: ∑m≥k(mk)xm−k=1(1−x)k+1\sum_{m\ge k}\binom{m}{k}x^{m-k}=\frac{1}{(1-x)^{k+1}}. Substitute m=nm=n, multiply by xkx^k.

Conclusion. ∑n(nk)xn=xk(1−x)k+1\sum_n\binom{n}{k}x^n=\frac{x^k}{(1-x)^{k+1}}.