» Gallery » Logical puzzles  000000100000111111 

Součet po sobě jdoucích čísel je dán následujícím vztahem:
p + (p+1) + ... + q = (p+q)*(q-p+1)/2
Po vyzkoušení několika prvních čísel, zjistíme, že 1, 2, 4, 8 a 16 nejdou napsat jako součet alespoň dvou po sobě jdoucích čísel. Ověříme, že ani ostatní mocniny dvojky nejdou podobně vyjářit.
Vezměme libovolné číslo x a vyjádřeme ho jako součet po sobě jdoucíh čísel:
x = p + (p+1) + ... + q = (p+q)*(q-p+1)/2, potom
2*x = (p+q)*(q-p+1) = A*B pro A = (p+q) a B = (q-p+1)
A + B = 2*q - 1, a proto právě jedno z čísel A nebo B je liché. Takže 2*x musí být vyjádřitelné jako součin lichého a sudého čísla, což pro mocniny dvojky určitě nejde.
Zbývá dokázat, že pro všechna ostatní čísla to jde. Číslo x si rozložíme na prvočísla, vybereme libovolné z nich (kromě dvojky) a označíme ho p.
x = (x/p - (p-1)/2) + ... + (x/p) + ... + (x/p + (p-1)/2)
Využíváme toho, že p dělí x a p je liché (není to dvojka).