This involves a slightly different version of Pascal's Identity but is still based on it.
Prove that $$ {a \choose k} + {a+1 \choose k} + \dots {a+n \choose k} = {a+n+1 \choose k+1} $$
I have tried to prove it using induction, but the algebra is quite cumbersome. Is there a more elegant solution?