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 n, k \in \mathbb{N}, where n > k, prove

\sum_{k = 1}^n k \cdot \binom{n}{k}^2 = n \cdot \binom{2n - 1}{n - 1}

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 n women and n - 1 men. Say we wish to construct a subcommittee of size n - 1 and choose one of the women to be the chief director of this subcommittee. We see that there are

\binom{n + n - 1}{n - 1} \cdot \binom{n}{1} = n \cdot \binom{2n - 1}{n - 1}

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 n women and n - 1 men. Say we wish to construct a subcommittee of size n - 1 and choose one of the women to be the chief director of this subcommittee. We see that there are

\binom{n + n - 1}{n - 1} \cdot \binom{n}{1} = n \cdot \binom{2n - 1}{n - 1}

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 n - 1 size committee, construct a n size committee and it is easy to see that the LHS equals the RHS.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top