Ahh... Grids!
Source: RMO 2023/6
October 29, 2023
CombocombinatoricsRMO 2023
Problem Statement
Consider a set of points arranged in square grid formation. Prove that if any of these points are coloured blue, then there exists an isosceles right-angled triangle whose vertices are all blue.