Niech
będą długościami boków dowolnego czworokąta. Dowieść, że istnieje trapez, którego boki mają długości
.
Bez zmniejszenia ogólności możemy przyjąć, że
. Wtedy
![]() |
Z równości
wynika, że
i stąd
, a z równości
, że
i stąd
i
. Jeżeli więc w co najmniej jednej z nierówności (1) zachodzi równość, to
i
. Wobec tego czworokąt o kolejnych bokach długości
,
,
,
jest równoległobokiem, a więc tym bardziej - trapezem.
Załóżmy z kolei, że
oraz
, czyli
![]() |
Ponieważ
, więc wynika stąd, że
. Ponadto mamy
, czyli
![]() |
ponieważ w czworokącie długość każdego boku jest mniejsza od sumy długości boków pozostałych.
Udowodniliśmy więc ((2) i (3)), że każda z liczb dodatnich
,
,
jest mniejsza od sumy liczb pozostałych. Istnieje więc trójkąt o bokach długości
,
,
. Umieszczając przy nim równoległobok o bokach długości
i
(rys. 5) otrzymamy szukany trapez.
