Binomial coefficient/Sum in Pascal triangle/Fact/Proof/Exercise

Show that the binomial coefficients satisfy the following recursive relation

${}{\binom {n+1}{k}}={\binom {n}{k}}+{\binom {n}{k-1}}\,.$

Create a solution