<s>[INST] Gosper's Identity $\sum_{k=0}^n{n+k\choose k}[x^{n+1}(1-x)^k+(1-x)^{n+1}x^k]=1 $ The page on Binomial Sums in Wolfram Mathworld http://mathworld.wolfram.com/BinomialSums.html (Equation 69) gives this neat-looking identity due to Gosper (1972):
$$\sum_{k=0}^n{n+k\choose k}[x^{n+1}(1-x)^k+(1-x)^{n+1}x^k]=1 $$
Would anyone know if there is a simple proof of this identity without using induction? 
 [/INST] Consider the expression
\begin{align}
\sum_{k=0}^n{n+k\choose k}[x^{n+1}(1-x)^k+(1-x)^{n+1}x^k]
\end{align}
in the following way. First consider the generating function of the series
\begin{align}
S_{n} = \sum_{k=0}^{n} \binom{k+n}{k} \, x^{k}
\end{align}
for which it is seen that
\begin{align}
\phi(x, t) &= \sum_{n=0}^{\infty} S_{n} \, t^{n} \\
&= \sum_{n=0}^{\infty} \sum_{k=0}^{n} \binom{n+k}{k} x^{k} t^{n} \\
&= \sum_{n,k=0}^{\infty} \binom{2k+n}{k} (xt)^{k} t^{n} \\
&= (1-4xt)^{-1/2} \sum_{n=0}^{\infty} \left( \frac{2t}{1+\sqrt{1-4xt}} \right)^{n} \\
&= \frac{1}{\sqrt{1-4xt}} \cdot \frac{1+\sqrt{1-4xt}}{1-2t + \sqrt{1-4xt}},
\end{align}
where the series 
\begin{align}
\sum_{k=0}^{\infty} \binom{2k+n}{k} x^{k} = \frac{2^{n}}{\sqrt{1-4x} \, (1+\sqrt{1-4x})^{n}}
\end{align}
was used. This is equation (66) of the site referenced in the proposed problem.
Now, for $A = 1-4x(1-x)t$,
\begin{align}
\theta(x,t) &= x \phi(1-x, xt) + (1-x) \phi(x, (1-x)t) \\
&= \frac{1+\sqrt{A}}{\sqrt{A}} \left[ \frac{x}{1-2xt+ \sqrt{A}} + \frac{1-x}{1-2(1-x)t + \sqrt{A}} \right].
\end{align}
Making use of the definition of $A$ then 
\begin{align}
1-2xt+\sqrt{A} = \frac{1+\sqrt{A}}{2(1-x)} \, (1-2x + \sqrt{A})
\end{align}
and leads to
\begin{align}
\theta(x,t) &= \frac{1+\sqrt{A}}{\sqrt{A}} \left[ \frac{2x(1-x)}{(1+\sqrt{A})(1-2x+\sqrt{A}) } + \frac{2x(1-x)}{(1+\sqrt{A})(1-2(1-x)+\sqrt{A})} \right] \\
&= \frac{2x(1-x)}{\sqrt{A}} \left[ \frac{1}{1-2x+\sqrt{A}} + \frac{1}{1-2(1-x)+\sqrt{A}} \right] \\
&= \frac{4x(1-x)}{-1+4x(1-x) + A} \\
&= \left(\frac{1-A}{t}\right) \, \frac{1}{\left(\frac{1-A}{t}\right) - (1-A)} \\
&= \frac{1}{1-t} = \sum_{n=0}^{\infty} t^{n}.  
\end{align}
Since
\begin{align}
\theta(x,t) &= x \phi(1-x, xt) + (1-x) \phi(x, (1-x)t) \\
&= \sum_{n=0}^{\infty} \left[ \sum_{k=0}^n{n+k\choose k}[x^{n+1}(1-x)^k+(1-x)^{n+1}x^k] \, \right] \, t^{n}\\
&= \sum_{n=0}^{\infty} t^{n}
\end{align}
then by comparison of the coefficients of $\theta(x,t)$ the result follows as
\begin{align}
\sum_{k=0}^n{n+k\choose k}[x^{n+1}(1-x)^k+(1-x)^{n+1}x^k] = 1.
\end{align}
</s>