Blee:
1)
zacząć należy od wykazania, że:
| | |
wykorzystamy do tego wzór (a+b)n = ∑0n | akbn−k |
| |
gdy podstawimy a = b = 1 to otrzymamy powyższą równość
2)
| | | | | | | n | | | | | |
więc k* | + (n−k)* | = n* | = |
| ( | + | ) |
| | | | 2 | | | |
i zachodzi to dla dowolnego k ≤ n
3)
więc ... jeżeli mamy n = 2j+1 (liczba nieparzysta)
| | | n | | | n | |
to ∑0n k | = ∑ |
| = |
| *2n = n2n−1 |
| | 2 | | 2 | |
4)
jeżeli natomiast n = 2j (liczba parzysta)
to występuje wyraz 'środkowy'
| n | |
innymi słowy, dla k ≠ |
| mamy to samo co powyżej |
| 2 | |
| n | | n | | | |
natomiast dla k = |
| mamy po prostu |
| * | co także nam się pięknie składa 'do |
| 2 | | 2 | | |
kupy'
dodajesz odpowiednią opisówkę i gotowe
Tak −−− to jest ZARYS dowodu. Musisz jeszcze go 'dopieścić'.