Miejscowości
są obsługiwane przez linie lotnicze
, przy czym dla każdych miejscowości
i
(
) istnieje taka linia, której samoloty latają bezpośrednio z
do
oraz bezpośrednio z
do
. Udowodnić, że któraś z tych linii może oferować podróż z nieparzystą liczbą lądowań rozpoczynającą i kończącą się w tej samej miejscowości.
Przypuśćmy, że żadna z linii
nie może oferować podróży z nieparzystą liczbą lądowań, która zaczynałaby i kończyła się w tej samej miejscowości. Wynika stąd, że jeśli z miejscowości
do miejscowości
istnieje połączenie samolotami pewnej linii, przy którym jest parzysta liczba lądowań, to przy każdym innym połączeniu z
do
samolotami tej samej linii również jest parzysta liczba lądowań.
Dla każdej linii
możemy zbiór miast podzielić w następujący sposób na dwa podzbiory
i
. Ustalamy dowolne miasto, np.
i zaliczamy je do podzbioru
. Następnie każde miasto, do którego można dolecieć z
samolotami linii
z parzystą liczbą lądowań zaliczamy do
, natomiast każde miasto, do którego można dolecieć z
samolotami linii
z nieparzystą liczbą lądowań zaliczamy do
. Jeśli po tym podziale pozostaną jeszcze pewne miasta, to dowolnie wybrane z nich, np.
zaliczamy do
wraz z tymi wszystkimi miastami, do których samoloty linii
docierają z
po parzystej liczbie lądowań. Te miasta, do których samoloty linii
lecą z
z nieparzystą liczbą lądowań zaliczamy do
. Postępowanie to kontynuujemy, aż do wyczerpania wszystkich miast. Jeden ze zbiorów
lub
ma nie mniej niż
elementów. Są to miasta nie mające między sobą bezpośrednich połączeń samolotami linii
(dwa miasta, między którymi istnieje połączenie samolotami linii
z nieparzystą liczbą lądowań, a więc w szczególności z jednym lądowaniem, należą do różnych zbiorów). Spośród tych
miast nie mniej niż
należy do jednego ze zbiorów
albo
. Żadne dwa spośród tych
miast nie mają bezpośredniego połączenia samolotami linii
oraz
. Nie mniej niż połowa spośród nich,tj.
miast należy do jednego ze zbiorów
albo
. Między żadnymi dwoma spośród tych
miast nie ma bezpośredniego połączenia samolotami linii
,
,
. Rozumując tak dalej stwierdzamy, że istnieje
miast, między którymi nie ma żadnego bezpośredniego połączenia samolotami linii
,
,
i
, dalej -
miasta bez bezpośredniego połączenia samolotami linii
, następnie
miast nie mających bezpośredniego połączenia samolotami linii
. 9 spośród tych miast nie ma bezpośredniego połączenia samolotami linii
,
z nich nie ma bezpośredniego połączenia samolotami
,
miasta nie mają żadnego bezpośredniego rejsu żadnym samolotem linii
, wreszcie dwa miasta nie mają żadnego połączenia bezpośredniego samolotem żadnej z rozważanych dziesięciu linii. Ostatnie zdanie pozostaje jednak w sprzeczności z założeniem. Do sprzeczności tej doprowadziło przypuszczenie, że żadna linia nie może oferować podróży z nieparzystą liczbą lądowań zaczynającej i kończącej się w tej samej miejscowości. Zatem pewna linia może oferować taką podróż.