Advanced Search

Question: How to prove the combinatorial identity with Maple?

Question:How to prove the combinatorial identity with Maple?

Markiyan Hirnyk 7759 Maple
combinatorics
August 07 2013
0

How to prove that 

sum(binomial(n, r)*binomial(k+r, n), r = 0 .. n) = sum(binomial(n, r)*binomial(k, r)*2^r, r = 0 .. n)?

Maple calculates the LHS and RHS, but I cannot compare these with Maple for each n::posint and each k::posint s. t. k>= n. The question was asked in Mathematics SE. I don't understand whether it is answered there.
Please Wait...