Advanced Search

Question: How to prove the identity binomial(2*n, n)/2=binomial(2*n-1, n-1)?

Question:How to prove the identity binomial(2*n, n)/2=binomial(2*n-1, n-1)?

Kitonum 20726 Maple 2018
December 12 2022
2

Can Maple prove this simple identity  binomial(2*n, n)/2 = binomial(2*n-1, n-1) ,where n is integer and positive. Doing it manually is very easy. My attempt was unsuccessful:

is(binomial(2*n, n)/2=binomial(2*n-1, n-1)) assuming n::posint;

                                                       FAIL
Please Wait...