1
$\begingroup$

When trying to prove a problem I find that I need the above formula to be true, but I have no idea how to prove it. I am trying to prove that a given probability mass function is equivalent to a hypergeometric distribution and this identity pops up.

$\endgroup$
1
  • 5
    $\begingroup$ Search for "Vandermonde convolution". Actually, now that I have written this comment, the appropriate links might pop up on the sidebar. $\endgroup$ Commented Oct 1, 2019 at 21:26

1 Answer 1

7
$\begingroup$

The combinatoric proof is that you have $a+b$ things and are counting the ways to choose $c$ of them. That is directly the interpretation of the right hand side. The left assumes you break the $a+b$ into a group of $a$ and a group of $b$, then choose $x$ of the $a$ and $c-x$ of the $b$. When you sum over $x$ from $0$ to $c$ you get all the possibilities.

$\endgroup$
1
  • $\begingroup$ This has been asked and answered before (with combinatorial and other proofs). $\endgroup$
    – Martin R
    Commented Oct 2, 2019 at 5:21

Not the answer you're looking for? Browse other questions tagged .