Problem

Source: 2022 Austrian Federal Competition For Advanced Students, Part 2 p6

Tags: combinatorics, tiles, Tiling



(a) Prove that a square with sides $1000$ divided into $31$ squares tiles, at least one of which has a side length less than $1$. (b) Show that a corresponding decomposition into $30$ squares is also possible. (Walther Janous)