Skip to content

Mathematics · Ch 5 — Binomial Theorem, Sequences and Series

Binomial Coefficients

5.2.1

Binomial Coefficients

Pascal's triangle is a triangular arrangement of the numbers kCr^kC_r. Its (k+1)th(k+1)^{th} row consists of kC0,kC1,…,kCk^kC_0,{}^kC_1,\ldots,{}^kC_k:

0C01C01C12C02C12C23C03C13C23C3⋮⟺111121133114641⋮\begin{array}{c} {}^0C_0 \\ {}^1C_0\quad{}^1C_1 \\ {}^2C_0\quad{}^2C_1\quad{}^2C_2 \\ {}^3C_0\quad{}^3C_1\quad{}^3C_2\quad{}^3C_3 \\ \vdots \end{array} \quad\Longleftrightarrow\quad \begin{array}{c} 1 \\ 1\quad1 \\ 1\quad2\quad1 \\ 1\quad3\quad3\quad1 \\ 1\quad4\quad6\quad4\quad1 \\ \vdots\end{array}

Comparing this against the expansions (a+b)0=1(a+b)^0=1, (a+b)1=a+b(a+b)^1=a+b, (a+b)2=a2+2ab+b2(a+b)^2=a^2+2ab+b^2, (a+b)3=a3+3a2b+3ab2+b3(a+b)^3=a^3+3a^2b+3ab^2+b^3 shows the coefficients literally ARE the rows of the triangle.

The building rule. Each row starts and ends with 11, and every other entry is the sum of the two entries diagonally above it: e.g. 33 is 1+21+2, and 1010 is 4+64+6. So Pascal's triangle — and hence the full binomial expansion of (a+b)n(a+b)^n for any n∈Nn\in\mathbb N — can be built using addition alone, with no multiplication or division at all. Reading off the sixth row, 1,5,10,10,5,11,5,10,10,5,1, against the (unweighted) power-terms a5,a4b,a3b2,a2b3,ab4,b5a^5,a^4b,a^3b^2,a^2b^3,ab^4,b^5 instantly gives …