Рассмотрим данную конфигурацию как ориентированный граф на 181 вершине (города): между любыми двумя городами существует ровно одна дуга, и для каждого города. // В этом графе вхождение и выход в каждом городе равны по 90.
Возьмём произвольные города N и K.
- Если существует дорога N → K, то путь из N в K имеет длину 1, что удовлетворяет условию.
- Пусть дороги N → K нет. Тогда K → N.
Определим множества:
- A = { города X ≠ N : N → X }, то есть из N уходят дороги в X. По условию |A| = 90.
- B = { города Y ≠ K : Y → K }, то есть в K входят дороги от Y. По условию |B| = 90.
Заметим, что A и B являются подмножествами V \ {N} и V \ {K} соответственно. Так как N ≠ K, получаем, что A ∩ B ⊆ V \ {N, K}, и поэтому |V \ {N, K}| = 181 − 2 = 179.
По принципу включения-исключения: |A ∩ B| = |A| + |B| − |A ∪ B| ≥ 90 + 90 − 179 = 1.
Следовательно, существует город S, который одновременно принадлежит A и B, то есть N → S и S → K. Это даёт путь N → S → K длиной 2.
Итак, для любых двух городов N и K существует маршрут из N в K длиной не более чем по трём канатным дорогам (на самом деле длина не более 2). Доказано.