Maths Olympiad Prep

Track / Stage 4 / 256 of 340 #996 of 2444

Problem 996

AMC 12 late, AIME early
Combinatorics Difficulty 4.9 Prove it All-Soviet-Union Mathematical Olympiad · Soviet Union

There are an odd number of soldiers on an exercise. The distance between every pair of soldiers is different. Each soldier watches his nearest neighbour. Prove that at least one soldier is not being watched.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Solution:

The key is to notice that no loops of size greater than two are possible. For suppose we have A1A_1, A2A_2, ..., AnA_n with AiA_i watching Ai+1A_{i + 1} for 0<i<n0 < i < n, and AnA_n watching A1A_1. Then the distance AiAiA_iA_i is greater than the distance AiAi+1A_iA_{i + 1} for 1<i<n1 < i < n, and the distance A1AnA_1A_n is less than the distance A1A2A_1A_2. Hence the distance A1AnA_1A_n is less than the distance An1AnA_{n - 1}A_n and so An1A_{n - 1} is closer to AnA_n than A1A_1. Contradiction.

Pick any soldier. Now pick the soldier he is watching, and so on. The total number of soldiers is finite so this process must terminate with some soldier watching his predecessor. If the process terminates after more than two soldiers have been picked, then the penultimate soldier is watched by more than one soldier. But in that case there must be another soldier who is unwatched, because the number of soldiers equals the number of soldiers watching.

If the process terminates after just two soldiers, then we have a pair of soldiers watching each other. Now repeat on the remaining soldiers. Either we find a soldier watched twice (in which case some other soldier must be unwatched) or all the soldiers pair off, except one, since the total number is odd. But that soldier must be unwatched.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.