| (2a+n−1)*n | 2an+(n−1)n | (n−1)n | ||||
Rozważmy teraz ich sumę: S= | = | =an+ | , widzimy, że an | |||
| 2 | 2 | 2 |
| (n−1)n | ||
jest podzielne przez n, pozostaje więc udowodnić nam, że n dzieli | i że | |
| 2 |
| (n−1)n | n−1 | |||
: n jest liczbą całkowitą, czyli | ∊ℂ co jest nieprawdą w przypadku | |||
| 2 | 2 |
| n−1 | ||
parzystych n. Dla n nieparzystych | jest całkowite i teza zachodzi ![]() | |
| 2 |