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.
Problem 1544
Official solution
Solution:
Consider the lattice points (points with integer coordinates) on the lines and , other than and . If one of them, say , is coloured green, then we have a right-angled triangle with , and as vertices, all having different colours. (See Figures 1 and 2.)

If not, the lattice points on and are all red or blue. We consider three different cases.
Case 1. Suppose a point is blue. Consider a green point in the plane. Suppose . If its projection on the -axis is red, then , and are the vertices of a required type of right-angled triangle. If is blue, then we can consider the triangle whose vertices are , and . If , then the points , and will work. (Figure 3.)
Case 2. A point , on the line , is red. A similar argument works in this case.

Fig-4
Case 3. Suppose all the lattice points on the line are red and all on the line are blue points. Consider a green point , where and . (See Figure 4.) Consider an isosceles right-angled triangle with such that the hypotenuse is a part of the -axis. Let intersect in . Then is a red point and is a blue point. Hence is a desired triangle.