Proof of Equations using Combinatorics

  • Thread starter Thread starter Dragonfall
  • Start date Start date
  • Tags Tags
    Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 3K views
Dragonfall
Messages
1,023
Reaction score
5
I have a bunch of equations that I must prove 'using combinatorics', which means double counting or some sort of bijective mapping. I haven't done this before, and I'd like to know, as an example, how the following can be proved 'combinatorially':

[tex]\left(\begin{array}{cc}{n+1}\\{m+1}\end{array}\right)=\sum_{i=0}^{n-m}\left(\begin{array}{cc}{m+i}\\m\end{array}\right)[/tex]
 
Physics news on Phys.org
Notice the left hand side counts the number of bitstrings of length n + 1 containing m + 1 ones.
 
look at ways of choosing m+1 elements from n+1 objects.

the series tells you that you sum up the ways of choosing m objects from m+i objects. but you want to choose m+1 objects; so what happens to the m+1th element?

hint1: read the sum backward
[tex]\sum_{i=n-m}^{0}\binom{m+i}{m}[/tex]
(i keeps decreasing, not increasing)
hint2: choose 1 element first, then choose the other m elements.

if that isn't enough,
hint3: look at the position of the first element when choosing...
 
Last edited:
Shouldn't it be multiplied instead of summed?