Ich tippe mal, dass das ein Beweis mit vollst. Induktion werden sollt.
Für n=0 gibt es nur ( n über 0 ) also ( 0 über 0 ) und
nach deiner Def. ist das 0! / ( 0! * 0!) = 1/1 = 1 also ∈ ℕ.
Angenommen es ist für n ∈ ℕ die Aussage gezeigt, dann
muss für n+1 gezeigt werden: alle ( n+1 über k ) mit k ∈ {0,...,n+1}
sind in ℕ.
Für (n+1 über 0 ) ist das klar wegen der Def.
(n+1 über 0 ) = (n+1)! / ( 0! * (n+1)! ) = (n+1)! / (n+1)! ) = 1 ∈ ℕ.
Für alle anderen verwende deine bewiesene Gleichung und die
Tatsache dass die Summe zweier nat. Zahlen wieder eine nat. Zahl ist.