Da macht das zusätzliche k vielleicht Probleme.
Ausführlich muss das ja wohl heißen:
Für alle n∈ℕ und k∈ℕ mit k≤n gilt .....
Ich würde so beginnen.
Sei n=1 . Dann gibt es nur ein k∈ℕ mit k≤n
und es ist zu zeigen
\( \left(\begin{array}{c}1+1 \\ 1+1\end{array}\right)=\sum \limits_{m=1}^{1}\left(\begin{array}{c}m \\ k\end{array}\right) \).
Also letztlich nur
\( \left(\begin{array}{c}n+1 \\ k+1\end{array}\right)=\left(\begin{array}{c}1 \\ 1\end{array}\right)\)
und das stimmt.
Gelte nun die Aussage für ein , dann hat man als
Induktionsannahme
\( \left(\begin{array}{c}n+1 \\ k+1\end{array}\right)=\sum \limits_{m=k}^{n}\left(\begin{array}{c}m \\ k\end{array}\right) \).
Dann gilt aber
$$\sum \limits_{m=k}^{n+1}\left(\begin{array}{c}m \\ k\end{array}\right) $$
$$\sum \limits_{m=k}^{n}\left(\begin{array}{c}m \\ k\end{array}\right) + \left(\begin{array}{c}n+1 \\ k\end{array}\right)$$
mit der Ind.annahme also
$$= \left(\begin{array}{c}n+1 \\ k+1\end{array}\right)+ \left(\begin{array}{c}n+1 \\ k\end{array}\right)$$
und das ist ja nach einer der bekannten Formeln für die
Binomialkoeffizienten
$$= \left(\begin{array}{c}n+2 \\ k+1\end{array}\right)$$