That's just Gauss' hypergeometric series...
This thread has started as "Prove some identities", and has become "Use this transcendental function's properties as proven in Whittaker and Watson". There's nothing wrong with it, but it'd be fun to go back to some relatively simple stuff.
Here's an easy problem I made up : show that, for any positive integer , we have