Olympiad Maths Prep

Track / Stage 6 / 147 of 400 #1147 of 2000

Problem 1147

National olympiad, first round
Combinatorics Difficulty 6.2 Prove it

42*. In Shvambania, one non-stop air route has been closed. It is known that after this, from any Shvambanian airport to any other one can fly, perhaps with layovers. Before the route was closed, this could be done with no more than nn layovers. Prove that now one can fly from any airport to any other with no more than 2n2 n layovers (when counting layovers, the landing at the destination is also taken into account).

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

86.42. Suppose that the airline ABA B is closed, and assume that the shortest route from city XX to city YY now has a length of 2n+12 n+1 stops. Let's number the cities in this flight from X0=XX_{0}=X to X2n+1=YX_{2 n+1}=Y. Previously, there was the shortest flight from XX to Xi+1X_{i+1}, requiring no more than nn stops, and a flight from XnX_{n} to YY, also requiring no more than nn stops. Clearly, both flights passed through the line ABA B, and we can assume that the flight along it was in the direction from AA to BB. Let the number of stops in the flight XXn+1X-X_{n+1} from XX to AA be s1s_{1}, and from BB to Xn+1X_{n+1} be t1t_{1}; in the flight XnX2n+1X_{n}-X_{2 n+1} from BB to X2n+1X_{2 n+1} be s2s_{2}, and from XnX_{n} to AA be t2t_{2}.

Then, by the condition, s1+1+t1n,s2+1+t2ns_{1}+1+t_{1} \leqslant n, s_{2}+1+t_{2} \leqslant n. Adding these inequalities, we get (s1+t2)+(s2+t1)2n2\left(s_{1}+t_{2}\right)+\left(s_{2}+t_{1}\right) \leqslant 2 n-2, and therefore one of the terms on the left side does not exceed n1n-1. But this means that there is a flight from XX to XnX_{n} or from Xn+1X_{n+1} to X2n+1X_{2 n+1} of length less than nn and not including the line ABA B - a contradiction.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.