Na płaszczyźnie dane są dwa zbiory rozłączne
i
, z których każdy składa się z
punktów, przy czym żadne trzy punkty zbioru
nie leżą na jednej prostej. Udowodnić, że istnieje zbiór
rozłącznych odcinków domkniętych, z których każdy ma jeden koniec w zbiorze
, drugi zaś w zbiorze
.
Dla każdego różnowartościowego przyporządkowania punktów
zbioru
punktom
zbioru
możemy obliczyć sumę odległości wyznaczonych przez to przyporządkowanie par punktów
. Przypuśćmy, że przyporządkowując punktowi
punkt
dla
otrzymujemy minimalną wartość tej sumy. Wówczas odcinki
nie mają punktów wspólnych (rys. 12), bo gdyby
był punktem wspólnym odcinków
i
dla
, to wobec różnowartościowości przyporządkowania
nie jest końcem żadnego z tych odcinków i w trójkątach
oraz
byłoby
oraz
, więc
, a zatem
, co jest sprzeczne z założeniem o minimalnej sumie odległości.
