INMO 2008 Problem 4
All the points with integer coordinates in the -plane are coloured using three colours, red, blue and green, each colour being used at least once. It is known that the point is coloured red and the point is coloured blue. Prove that there exist three points with integer coordinates of distinct colours which form the vertices of a right-angled triangle.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.