Double Counting Proof of Combinatorial Equation: n,k $\in$ $\mathbb{N}$, n > k

  • Thread starter Thread starter tylerc1991
  • Start date Start date
  • Tags Tags
    Proof
tylerc1991
Messages
158
Reaction score
0

Homework Statement



For some [itex]n, k \in \mathbb{N}[/itex], where [itex]n > k[/itex], prove

[itex]\sum_{k = 1}^n k \cdot \binom{n}{k}^2 = n \cdot \binom{2n - 1}{n - 1}[/itex]

by using the double counting proof technique.

Homework Equations





The Attempt at a Solution



So we have to find a set of objects such that both the LHS and the RHS of the above equation count the number of objects in this set.

It looks like the RHS of the above equation is easier to work with, so we should find out what the RHS counts, then show that the LHS counts these same objects.

Suppose a committee consists of [itex]n[/itex] women and [itex]n - 1[/itex] men. Say we wish to construct a subcommittee of size [itex]n - 1[/itex] and choose one of the women to be the chief director of this subcommittee. We see that there are

[itex]\binom{n + n - 1}{n - 1} \cdot \binom{n}{1} = n \cdot \binom{2n - 1}{n - 1}[/itex]

ways of constructing such a committee and selecting a woman as the chief director. This gives us the RHS of the required equation, and this is where I get stuck. Ideas?

Thank you!
 
Physics news on Phys.org
tylerc1991 said:
So we have to find a set of objects such that both the LHS and the RHS of the above equation count the number of objects in this set.

It looks like the RHS of the above equation is easier to work with, so we should find out what the RHS counts, then show that the LHS counts these same objects.

Suppose a committee consists of [itex]n[/itex] women and [itex]n - 1[/itex] men. Say we wish to construct a subcommittee of size [itex]n - 1[/itex] and choose one of the women to be the chief director of this subcommittee. We see that there are

[itex]\binom{n + n - 1}{n - 1} \cdot \binom{n}{1} = n \cdot \binom{2n - 1}{n - 1}[/itex]

ways of constructing such a committee and selecting a woman as the chief director. This gives us the RHS of the required equation, and this is where I get stuck. Ideas?

Thank you!

Got it.

Instead of constructing a [itex]n - 1[/itex] size committee, construct a [itex]n[/itex] size committee and it is easy to see that the LHS equals the RHS.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
2K
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K