Adamm:
ze zbioru
{1, 2, ..., n+1} wybieramy podzbiory k+1 elementowe
z innej strony możemy to robić tak
wybieramy podzbiory zawierające n+1, czyli tak jakbyśmy
| | |
wybierali ze zbioru {1, ..., n} podzbiory k elementowe, dlatego jest ich | |
| |
teraz resztę podzbiorów, czyli podzbiory zbioru {1, ..., n} k+1 elementowe
postępujemy tak dalej
zatem mamy równość
| | | | |
a to to samo co mieliśmy udowodnić bo | = | =1 |
| | |
Adamm: tak dalej to znaczy
w następnym kroku byłoby tak
podzbiory zbioru {1, ..., n} wybieramy albo z n albo bez n
| | | | |
czyli tych z n jest | , a tych bez n jest | |
| | |