No sé cómo probar la identidad, utilizando el teorema del binomio y me proporcionan una prueba usando inducción (por lo tanto la prueba puede ser más largo).
Deje $S_r = \sum_{k=r}^{\infty}{k-1 \choose r-1}p^rq^{k-r}$. Sólo tenemos que demostrar $\forall r \geq 1, S_r = 1$ ya que por convención, el coeficiente binomial se define como 0 cuando el menor índice es negativo.
base: $S_1 = \sum_{k=1}^{\infty}{k-1 \choose 0}pq^{k-1} = p\sum_{k=0}^{\infty}q^k=p\cdot\frac{1}{1-q}=1$
inducción: Supongamos $S_r = 1, r \geq 1$.
$ \quad S_{i+1}\\
=\sum_{k=r+1}^{\infty}{k-1 \elegir r}p^{i+1}p^{k-r-1}\\
=\sum_{k=r+1}^{\infty}{k-2 \elegir r-1}p^{i+1}p^{k-r-1} + \sum_{k=r+1}^{\infty}{k-2 \elegir r}p^{i+1}p^{k-r-1}\\
=\sum_{k=r}^{\infty}{k-1 \elegir r-1}p^{i+1}p^{k-r} +
\sum_{k=r+1}^{\infty}{k-2 \elegir r}p^{i+1}p^{k-r-1}\\
=pS_r+
\sum_{k=r+1}^{\infty}{k-2 \elegir r}p^{i+1}p^{k-r-1}\\
=pS_r+\sum_{k=r}^{\infty}{k-1 \elegir r}p^{i+1}p^{k-r}\\
=pS_r+q(S_{i+1}+{r-1\elegir r}p^{i+1}p^{-1})\\
=pS_r+qS_{i+1}=p+qS_{i+1}$
por lo tanto $S_{r+1}=1$. QED.
La segunda igualdad proviene de la adición de la identidad de los coeficientes binomiales, dicen, ${r \choose k}={r-1 \choose k}+{r-1\choose k-1}$.