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 layovers. Prove that now one can fly from any airport to any other with no more than layovers (when counting layovers, the landing at the destination is also taken into account).
Problem 1147
Official solution
86.42. Suppose that the airline is closed, and assume that the shortest route from city to city now has a length of stops. Let's number the cities in this flight from to . Previously, there was the shortest flight from to , requiring no more than stops, and a flight from to , also requiring no more than stops. Clearly, both flights passed through the line , and we can assume that the flight along it was in the direction from to . Let the number of stops in the flight from to be , and from to be ; in the flight from to be , and from to be .
Then, by the condition, . Adding these inequalities, we get , and therefore one of the terms on the left side does not exceed . But this means that there is a flight from to or from to of length less than and not including the line - a contradiction.