# Ask for references or proofs of two explicit formulas for special Gauss hypergeometric functions

Can one supply related references or detailed proofs of the following two explicit formulas? $${}_2F_1\biggl(2\alpha+1,2;\alpha+3;\frac{1}{2}\biggr) =2\frac{\alpha B(1/2,\alpha)-1-\alpha}{(1-\alpha) \alpha B(2,\alpha +1)}$$ and $${}_2F_1(2\alpha+1,\alpha+1;\alpha+3;-1) =\frac{1}{2^{2\alpha}}\frac{\alpha B(1/2,\alpha)-1-\alpha}{(1-\alpha)\alpha B(2,\alpha+1)},$$ where the Beta function is denoted and defined by $$B(z,w)=\int_0^1t^{z-1}(1-t)^{w-1}\textrm{d}t =\int_0^\infty\frac{t^{z-1}}{(1+t)^{z+w}}\textrm{d}t$$ for $$\Re(z),\Re(w)>0$$ and the Gauss hypergeometric function $${}_2F_1$$ is defined by $${}_pF_q(\alpha_1,\dotsc,\alpha_p;\beta_1,\dotsc,\beta_q;z) =\sum_{n=0}^\infty\frac{(\alpha_1)_n\cdots(\alpha_p)_n} {(\beta_1)_n\cdots(\beta_q)_n}\frac{z^n}{n!}$$ for $$\alpha_i\in\mathbb{C}$$, $$\beta_i\in\mathbb{C}\setminus\{0,-1,-2,\dotsc\}$$, $$p,q\in\mathbb{N}$$, and $$z\in\mathbb{C}$$, in terms of the rising factorial $$(z)_n=\prod_{\ell=0}^{n-1}(z+\ell) = \begin{cases} z(z+1)\dotsm(z+n-1), & n\in\mathbb{N};\\ 1, & n=0. \end{cases}$$

These formulas are special cases of what I like to call extendable evaluations: set for simplicity $$F={}_2F_1$$. If one has an explicit formula for $$F(a,b;c;z)$$ and (for example) also for $$F(a+1,b;c;z)$$, then using the contiguity relations, it is immediate to find explicit formulas for $$F(a+k,b+l;c+m;z)$$ for any $$(k,l,m)\in {\mathbb Z}^3$$. For $$z=-1$$ there is the classical Kummer evaluation $$F(a,b;a-b+1;-1)=\dfrac{2^{-a}\Gamma(1/2)\Gamma(a-b+1)}{\Gamma(a/2+1/2)\Gamma\ (a/2-b+1)}\;,$$ and the less classical (sorry I do not remember a good reference) \begin{align*}&F(a+1,b;a-b+1;-1)=2^{-a-1}\Gamma(1/2)\Gamma(a-b+1)\ \cdot\\ &\phantom{=}\cdot\left(\dfrac{1}{\Gamma(a/2+1/2)\Gamma(a/2-b+1)}+\dfrac{1}{\Gamma(a/2+1)\Gamma(a/2-b+1/2)}\right)\;,\end{align*} so this is extendable and in particular immediately gives your formula for $$z=-1$$. Similarly, there are two extendable two-parameter families for $$z=1/2$$ and two for $$z=2$$.