Theme
Counting the same thing twice — page 3
One collection, counted by two different methods, and an identity that falls out because both answers have to agree. The proof is the pair of counts.
Three in a row on the number line
Colour the numbers one to eight in two colours and it can be arranged that no three equally spaced numbers agree. Add the ninth and it cannot. The structure being forced is arithmetic rather than graphical, and the proof is a different proof.
The sequence that cannot avoid a staircase
Any ten numbers in a row contain four that climb or four that fall. The proof gives every term a pair of counters, notices that no two terms can share a pair, and is finished — with a bound that is exactly right.