Problem

Source: RMO 2023/6

Tags: Combo, combinatorics, RMO 2023



Consider a set of 16 points arranged in 4×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.