A three-person review committee is to be chosen from eight volunteers, and the committee has no internal roles. Choosing A, then B, then C produces the same committee as choosing C, then A, then B, so the ordered count counts every committee several times. How many different committees are there, and if every committee is equally likely, what is the chance that a particular volunteer is on it? This lesson removes the overcount to obtain the binomial coefficient, explains its symmetry and Pascal’s identity, and shows why the same numbers are the coefficients in the expansion of .
Key terms
Combination
Definition A combination of objects from distinct objects is an unordered selection without replacement, that is, a subset with elements. Two combinations are the same exactly when they contain the same objects, in whatever order those objects were chosen. The number of such combinations is the binomial coefficient defined below.
In plain words A combination records who is in the group, not who was picked first. It is the right outcome to count when the selected objects play no roles that can be told apart.
Example A committee of three from eight volunteers is a combination, and there are committees. Suppose the selection makes all 56 committees equally likely, as happens when three names are drawn one at a time, each uniformly from the names not yet drawn. Volunteer A belongs to committees, since the other two members come from the remaining seven volunteers, so
The equal likelihood is an assumption about the mechanism. If the selection favored some volunteers, there would still be 56 committees, but the ratio of the two counts would no longer be guaranteed to equal the probability.
Overcounting
Definition A counting method overcounts when it counts some target outcomes more than once. If the method counts nothing but target outcomes and counts every target outcome exactly times, with the same for every outcome, then the number of target outcomes is the method’s count divided by . If the number of repetitions varies from outcome to outcome, a single division is no longer justified.
In plain words Count something easier, such as ordered lists, and then divide out the repetition, but only after checking that every outcome is repeated the same number of times.
Example The ordered count lists each committee once for each of its orders. The committee of A, B and C, for instance, appears as ABC, ACB, BAC, BCA, CAB and CBA. Every committee has exactly 6 orders, so there are committees. Compare a flawed count of the committees that contain A or B, which picks A or B in 2 ways and then any 2 of the other 7 volunteers in ways, for . The 30 committees with exactly one of A and B are counted once each, but the 6 committees with both are counted twice, so no single division repairs the count. The correct number is , which also equals .
Binomial coefficient
Definition For integers , the binomial coefficient, read ” choose ”, is
It counts the subsets with elements of a set with elements. The formula follows from overcounting, since the ordered selections of objects list each subset exactly times. In particular , because there is one empty subset and one subset containing everything. The coefficients are symmetric,
because pairing each subset with its complement, the objects left out, matches the subsets of size one to one with the subsets of size .
In plain words Divide the ordered count by the number of orders of each group. Choosing who is in and choosing who is left out are the same decision, so the two counts agree.
Example By symmetry , since every three-person committee from eight people leaves out a group of five. Likewise, choosing 9 objects from 11 means choosing the 2 that are left out, so
Pascal’s identity and Pascal’s triangle
Definition Pascal’s identity states that for integers and with ,
To see this, fix one of the objects. A subset of size either contains it, and then its other members come from the remaining objects, or leaves it out, and then all members come from the remaining objects. The two cases are disjoint and cover every subset, so the sum rule gives the identity. Pascal’s triangle arranges the coefficients in rows. Row lists , starting with row 0 at the top. Each row begins and ends with 1, and by Pascal’s identity every entry in between is the sum of the two entries just above it. Rows 0 to 5 are
In plain words Sort the groups by whether one particular member is in them. The triangle is a table of combination counts that can be built by additions alone.
Example For three-person committees from eight volunteers, splitting on whether volunteer A is included gives
which is . In the triangle above, each 10 in row 5 is the sum of the two entries above it in row 4.
Binomial theorem
Definition For real numbers and and every integer ,
where a power with exponent 0 is read as 1, even when its base is 0. The reason is a counting argument. Expanding the product of copies of means choosing or from each copy and adding all the resulting products. The product arises once for each way of choosing which of the copies supply , and there are such choices. No probability is involved in the identity.
In plain words The coefficients in the expansion of are the entries of row of Pascal’s triangle, because each coefficient counts the ways to pick which brackets supply .
Example In , a product with two factors and one factor comes from choosing which 2 of the 3 brackets supply , which can be done in ways. So
Setting in the theorem gives , the number of all subsets of a set with elements, since each element is either in a subset or not. For row 6 this reads .
Check yourself
- A club has 10 members. In how many ways can it choose a two-person team, and in how many ways can it choose a president and a vice president who are different people? Why do the answers differ by a factor of 2?
Show the answer
A team is unordered, so there are teams. The two offices are different roles, so there are ordered choices. Each team can fill the two offices in exactly ways, so the ordered count is twice the unordered count.
- A group has three experienced and four new volunteers. A committee of three is chosen so that all three-person subsets are equally likely. Find the probability that exactly two members are experienced and the probability that at least two are experienced.
Show the answer
There are committees. A committee with exactly two experienced members combines a choice of 2 of the 3 experienced volunteers with a choice of 1 of the 4 new ones, which gives committees, so
At least two means exactly two or exactly three. Only committee has three experienced members, and the two cases are disjoint, so the probability of at least two is . The answers differ by the all-experienced committee, which “exactly two” leaves out and “at least two” includes.
- Find the coefficient of in the expansion of .
Show the answer
Apply the binomial theorem with , and . The power requires , and that term is
The coefficient is . A common slip is to stop at and forget that the factor is also raised to the third power.