Example 1. Find all pairs of positive integers x and y that satisfy 5x − 7y = 1 and (x/y) > √2.
Example 2. Suppose that every point in the plane is coloured either red or blue. Prove that there exists an isosceles right triangle all of whose vertices have the same colour.

Solution 1. Note that (x, y) = (3, 2) is an obvious solution to 5x − 7y = 1. Thus, for any integer solution (x, y) to this equation, we have 5x − 7y = 1 = 5 × 3 – 7 × 2, and therefore 5(x − 3) = 7(y − 2).
Since 5 and 7 are distinct primes, the latter relation implies that x − 3 = 7t and y − 2 = 5t for some integer t. This mean that x = 7t + 3 and y = 5t + 2.
In addition, we are given that (x/y) > √2. Squaring both sides, we get x2 > 2y2 and hence (7t + 3)2 > 2(5t + 2)2. This simplifies to
0 > 2(5t + 2)2 − (7t + 3)2
or, 0 > 50t2 + 40t + 8 − 49t2 − 42t – 9
or, 0 > t2 − 2t – 1
or, 0 > (t − 1)2 − 2,
or, 2 > (t − 1)2
Only possibilities are t = 0, 1 or 2.
Therefore we have only three possible pairs, namely:
(x, y) = (3, 2), (10, 7) and (17, 12).
Solution 2. Let A and B be two points of the same colour, say red.
Draw the square ABCD as indicated and let O be its centre (the meeting point of the diagonals).

If point C is red, then ∆ABC is an isosceles right-angled triangle with all vertices red, and we are done.
We can thus assume that C is coloured blue, and similarly, we can assume that D is blue (if D is coloured red, then ∆ABD is an isosceles right-angled triangle with all vertices red).
Finally, if O is red, then ∆AOB is an isosceles right-angled triangle with all vertices red, and if O is blue, then ∆COD is an isosceles right triangle with all vertices blue.
Hence the proof.