How to explain that n choose k is equal to n choose (n-k)?

  • Thread starter Thread starter Eclair_de_XII
  • Start date Start date
  • Tags Tags
    Explain
Click For Summary
SUMMARY

The discussion centers on the combinatorial proof that the binomial coefficient satisfies the identity \(\binom{n}{k} = \binom{n}{n-k}\). Participants explain this by considering a set of \(n\) elements, partitioned into two subsets: one with \(k\) elements and the other with \(n-k\) elements. The reasoning is that selecting \(k\) elements for one subset inherently determines the \(n-k\) elements for the other subset, establishing that the number of ways to choose \(k\) elements is equal to the number of ways to choose \(n-k\) elements.

PREREQUISITES
  • Understanding of binomial coefficients and their notation, specifically \(\binom{n}{k}\).
  • Familiarity with factorial notation and its application in combinatorics.
  • Basic knowledge of set theory, particularly the concepts of subsets and complements.
  • Combinatorial reasoning skills to interpret selections and partitions of sets.
NEXT STEPS
  • Study the properties of binomial coefficients, including Pascal's Triangle.
  • Explore combinatorial proofs for other identities involving binomial coefficients.
  • Learn about the applications of binomial coefficients in probability and statistics.
  • Investigate the concept of combinatorial complements and their significance in set theory.
USEFUL FOR

Students of combinatorics, educators teaching binomial coefficients, and anyone interested in understanding combinatorial proofs and their applications in mathematics.

Eclair_de_XII
Messages
1,082
Reaction score
91

Homework Statement


"Explain combinatorially (not algebraically) why ##\binom n k=\binom n {n-k}##. In other words, explain why this is true using words, and not algebraic manipulations."

Homework Equations


##\binom n k = \frac{n!}{k!(n-k)!}##

The Attempt at a Solution


"Suppose you have a set of ##n## elements ##S_n##. Partition this set into two disjoint subsets of ##k## elements ##S_k## and ##n-k## elements ##S_{n-k}##. There are ##\frac{n!}{(n-k)!}## total ways to create ##S_k##, and of those total ways, a given set of ##k## elements will have ##k!## permutations. So there are ##\binom n k = \frac{n!}{k!(n-k)!}## unduplicated sets of ##k## elements."

I'm having trouble seeing as how this is the same as creating all possible ##S_{n-k}##.
 
Physics news on Phys.org
How many elements were not chosen when you picked out ##k## elements from ##n## elements?
 
Also, it is clearly a mathematical fact, since
$$
{n \choose n-k} = \frac{n!}{(n-k)!(n-(n-k))!} = \frac{n!}{(n-k)!k!} = {n \choose k}.
$$
 
Eclair_de_XII said:

Homework Statement


"Explain combinatorially (not algebraically) why ##\binom n k=\binom n {n-k}##. In other words, explain why this is true using words, and not algebraic manipulations."

Homework Equations


##\binom n k = \frac{n!}{k!(n-k)!}##

The Attempt at a Solution


"Suppose you have a set of ##n## elements ##S_n##. Partition this set into two disjoint subsets of ##k## elements ##S_k## and ##n-k## elements ##S_{n-k}##. There are ##\frac{n!}{(n-k)!}## total ways to create ##S_k##, and of those total ways, a given set of ##k## elements will have ##k!## permutations. So there are ##\binom n k = \frac{n!}{k!(n-k)!}## unduplicated sets of ##k## elements."

I'm having trouble seeing as how this is the same as creating all possible ##S_{n-k}##.

Think concretely. You have a group of ##n## people and you have two tables, one with ##k## seats and one with ##n-k## seats. There are two different ways to think about assigning people to tables: (1) You can pick ##k## people for the first table. There are ##\left( \begin{array} \\ n \\ k \end{array} \right)## ways to do this. Anyone who isn't assigned to the first table is automatically assigned to the second table. (2) You can pick ##n-k## people to assign to the second table. There are ##\left( \begin{array} \\ n \\ n-k \end{array} \right)## ways to do this. Anyone not assigned to the second table is assigned to the first table.

Obviously, these are equivalent, so the number of ways should be the same.
 
Eclair_de_XII said:

Homework Statement


"Explain combinatorially (not algebraically) why ##\binom n k=\binom n {n-k}##. In other words, explain why this is true using words, and not algebraic manipulations."

Homework Equations


##\binom n k = \frac{n!}{k!(n-k)!}##

The Attempt at a Solution


"Suppose you have a set of ##n## elements ##S_n##. Partition this set into two disjoint subsets of ##k## elements ##S_k## and ##n-k## elements ##S_{n-k}##. There are ##\frac{n!}{(n-k)!}## total ways to create ##S_k##, and of those total ways, a given set of ##k## elements will have ##k!## permutations. So there are ##\binom n k = \frac{n!}{k!(n-k)!}## unduplicated sets of ##k## elements."

I'm having trouble seeing as how this is the same as creating all possible ##S_{n-k}##.

Every subset has a complement (which is another subset). The number of subsets equals the number of complements.
 
  • Like
Likes   Reactions: Eclair_de_XII

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
17
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
2K
  • · Replies 29 ·
Replies
29
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 20 ·
Replies
20
Views
2K
Replies
4
Views
3K