2
$\begingroup$

I am trying to prove this equation directly, but so far without success (unless $B=1$).

$\sum_{k=0}^{A} C_{A+B}^{B+k}C_{B+k-1}^{k}(-1)^{k}=1$

I found it can be transformed into beta function, as

$\int_0^1x^{B-1}(1-x)^{A}dx=\frac{A!(B-1)!}{(A+B-1)!}$

but is there any other more straight forward way to prove it?

  • 0
    @did I am able to prove it that way, but I am trying to find another method.2012-12-30

1 Answers 1

3

Rewriting ${A+B\choose B+k}$ as ${A+B\choose A-k}$ and ${B+k-1\choose k}(-1)^k$ as ${-B\choose k}$, the sum on the LHS becomes $ \sum_{k\geqslant0}{A+B\choose A-k}{-B\choose k}, $ which is the $x^A$ term in the expansion of the product $ (1+x)^{A+B}\cdot(1+x)^{-B}. $ Since this product is also $(1+x)^A$, the $x^A$ term in its expansion is ${A\choose A}=1$.