Counting · Definition

Binomial coefficient

discrete mathematicscounting

Before you start you need to know

It is the number that appears when choosing groups and, as will be seen, also when expanding powers of a binomial.

Definition

The binomial coefficient \(\binom{n}{k}\), for integers \(0\le k\le n\), is the number of \(k\)-element subsets of a set with \(n\) elements.

\[\binom{n}{k}=\frac{n!}{k!\,(n-k)!}\]

The binomial coefficient is the same number \(C(n,k)\) from combinations with a different notation, read «\(n\) choose \(k\)», which stresses that it is a number in its own right. For example, \(\dbinom{6}{2}=\dfrac{6!}{2!\,4!}=15\): there are 15 possible pairs in a group of 6 people. In practice it is computed by cancelling factors, \(\dbinom{n}{k}=\dfrac{n(n-1)\cdots(n-k+1)}{k!}\), without evaluating full factorials.

It satisfies the symmetry \(\dbinom{n}{k}=\dbinom{n}{n-k}\), the extreme values \(\dbinom{n}{0}=\dbinom{n}{n}=1\) and Pascal's rule \(\dbinom{n}{k}+\dbinom{n}{k+1}=\dbinom{n+1}{k+1}\). The latter is explained by counting: the subsets of \(k+1\) elements of a set of \(n+1\) either avoid a fixed element or contain it. It builds Pascal's triangle, where each number is the sum of the two above it.

Adding up a whole row counts all subsets of an \(n\)-element set, so \(\sum_{k=0}^{n}\dbinom{n}{k}=2^n\). The coefficients also count grid paths: going from one corner to the opposite one with \(a\) steps right and \(b\) steps up gives \(\dbinom{a+b}{a}\) paths, since it is enough to decide which of the \(a+b\) steps go right.

Typical mistake: confusing \(\dbinom{n}{k}\) with a fraction or with \(n^k\); it is an integer that grows quickly toward the middle of the row and is symmetric. These same numbers are the coefficients in the binomial theorem.

Think about it

Why is \(\dbinom{n}{1}=n\)?

Because there is one one-element subset for each of the \(n\) elements; with the formula, \(\dfrac{n!}{1!\,(n-1)!}=n\).

How many subsets does a 6-element set have, not counting the empty one?

\(2^6-1=63\): add all the \(\dbinom{6}{k}\) and remove the empty subset \(\dbinom{6}{0}=1\).

Exercises 10

References

  • Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th edition, McGraw-Hill, 2019. §6.4
  • Susanna S. Epp, Discrete Mathematics with Applications, 5th edition, Cengage, 2019. §9.7
  • Ralph P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, 5th edition, Pearson, 2003. §1.3