In terms of hypergeometric series, the sum is $_3F_2(-n, 1+n, 1/2;1,3/2;1)$ and the identity is a special case of Saalschütz's theorem (also called the Pfaff-Saalschüte theorem), one of the standard hypergeometric series identities.
Ira Gessel
- 17k
- 1
- 58
- 80