Counting · Definition
Binomial coefficient
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.
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
- Compute \(\dbinom{6}{2}\).
- How many 3-element subsets does \(\{1,2,3,4,5\}\) have?
- Compute \(\dbinom{9}{7}\).
- Compute \(\dbinom{10}{0}+\dbinom{10}{10}\).
- Compute \(\dbinom{7}{3}+\dbinom{7}{4}\).
- Compute \(\dbinom{20}{18}\).
- Which expression equals \(\dbinom{n}{k}\) for \(0\le k\le n\)?
- Compute \(\displaystyle\sum_{k=0}^{5}\dbinom{5}{k}\).
- A grid is traversed from the bottom-left corner to the top-right corner using 4 steps right and 3 steps up. How many different paths are there?
- How many subsets of \(\{1,2,\dots,8\}\) have an even number of elements (the empty set counts)?
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