Using Christian Krattenthaler's hyp.q tells you the following - the important information is at the end, and the result agrees with Johannes' comment.
In[1]:= <<hyp.m
Out[1]= ▒
In[10]:= S = SUM[1/(n+1/2)*(Gamma[n]^2/Gamma[n+1/2]^2),{n,1,Infinity}]
Infinity
----- 2
\ Gamma[n]
Out[10]= > ---------------------
/ 1 1 2
----- (- + n) Gamma[- + n]
n=1 2 2
In[19]:= SF = S/.SUMF
[ 1, 1, 1 ]
| | 2
2 F | 5 3 ; 1 | Ga(1)
3 2| -, - |
[ 2 2 ]
Out[19]= --------------------------
3 2
3 Ga(-)
2
In[21]:= SF/.SListe
Be sure to apply "FOrdne" before using the following information!
2
2 S3261 Ga(1)
Out[21]= {{--------------}}
3 2
3 Ga(-)
2
In[22]:= SF/.S3261
1 1 1 3 3 1 1 1 3
[ -(-), -(-), -(-), - ] [ 1 1 ] [ -, -(-), -(-), -(-), - ]
2 | 2 2 2 2 | | -(-), -(-) | | 2 2 2 2 2 |
2 Ga(1) (Ga| | - F | 2 2 ; 1 | Ga| |)
| 3 1 1 1 | 2 1| | | 3 |
[ -(-), -, -, - ] [ 0 ] [ -(-), 1, 1, 1, 0 ]
2 2 2 2 2
Out[22]= ----------------------------------------------------------------------------------------
3 2
3 Ga(-)
2
In[23]:= SF/.S3261/.SListe
Be sure to apply "FOrdne" before using the following information!
1 1 1 3 3 1 1 1 3
[ -(-), -(-), -(-), - ] [ -, -(-), -(-), -(-), - ]
2 | 2 2 2 2 | | 2 2 2 2 2 |
2 Ga(1) (Ga| | - S2103 Ga| |)
| 3 1 1 1 | | 3 |
[ -(-), -, -, - ] [ -(-), 1, 1, 1, 0 ]
2 2 2 2 2
Out[23]= {{-------------------------------------------------------------------------}}
3 2
3 Ga(-)
2
In[33]:= R = SF/.S3261/.S2103/.Gzerl
1 3 3 1 3 3 2
Ga(-(-)) Ga(-) Ga(-(-)) Ga(-)
2 2 2 2 2
2 Ga(1) (--------------- - ----------------------)
3 1 3 3 1 2 2
Ga(-(-)) Ga(-) Ga(-(-)) Ga(-) Ga(1)
2 2 2 2
Out[33]= ---------------------------------------------------
3 2
3 Ga(-)
2
In[42]:= Simplify[R]
1 3 2 1 3
2 Ga(-(-)) (Ga(1) - Ga(-) Ga(-))
2 2 2
Out[42]= ----------------------------------
3 1 3 3
3 Ga(-(-)) Ga(-) Ga(-)
2 2 2
In[52]:= ?S3261
Summation formula (Slater, Appendix (III.31)) in form of a rule.
In[53]:= ?S2103
Summation formula (Slater, Appendix (III.3)) in form of a rule.
