Problem

Source: RMO 2023/6

Tags: Combo, combinatorics, RMO 2023



Consider a set of $16$ points arranged in $4 \times 4$ square grid formation. Prove that if any $7$ of these points are coloured blue, then there exists an isosceles right-angled triangle whose vertices are all blue.