**Krok \(1\).** W zadaniu jest prosta równoległa do podstaw trapezu, a równoległość natychmiast daje trójkąty podobne (kąty odpowiadające). Plan: wyrazić \(|MP|\) i \(|PN|\) przez ten sam odcinek \(|AB|\) i pokazać, że oba stosunki są równe. Trzeci potrzebny składnik to twierdzenie Talesa dla ramion trapezu.
**Krok \(2\).** Przyjmijmy oznaczenia: \(AB\) i \(CD\) to podstawy, \(P\) to punkt przecięcia przekątnych, \(M\) leży na ramieniu \(AD\), \(N\) na ramieniu \(BC\), a prosta \(MN\) jest równoległa do podstaw i przechodzi przez \(P\).
**Krok \(3\).** Rozpatrujemy trójkąt \(ABD\). Punkt \(M\) leży na boku \(DA\), punkt \(P\) leży na boku \(DB\) (bo \(P\) jest na przekątnej \(BD\)), a odcinek \(MP\) jest równoległy do \(AB\). Trójkąty \(DMP\) i \(DAB\) mają wspólny kąt przy wierzchołku \(D\) i równe kąty odpowiadające, więc są podobne. Stąd
\[\frac{|MP|}{|AB|}=\frac{|DM|}{|DA|}.\]
**Krok \(4\).** Analogicznie w trójkącie \(ABC\): punkt \(N\) leży na boku \(CB\), punkt \(P\) na boku \(CA\), a \(PN\) jest równoległe do \(AB\). Trójkąty \(CPN\) i \(CAB\) są podobne, więc
\[\frac{|PN|}{|AB|}=\frac{|CN|}{|CB|}.\]
**Krok \(5\).** Teraz twierdzenie Talesa. Proste \(AD\) i \(BC\) przecinamy trzema prostymi równoległymi: \(DC\), \(MN\) i \(AB\). Odcinki wyznaczone na jednym ramieniu są proporcjonalne do odcinków wyznaczonych na drugim:
\[\frac{|DM|}{|DA|}=\frac{|CN|}{|CB|}.\]
**Krok \(6\).** Łączymy trzy powyższe równości:
\[\frac{|MP|}{|AB|}=\frac{|DM|}{|DA|}=\frac{|CN|}{|CB|}=\frac{|PN|}{|AB|}.\]
**Krok \(7\).** Mnożymy skrajne wyrażenia przez \(|AB|\gt0\) i otrzymujemy \(|MP|=|PN|\), co należało wykazać.
**Uwaga.** Sedno dowodu leży w tym, że punkt \(P\) należy jednocześnie do obu przekątnych — dzięki temu ten sam punkt pojawia się w obu podobieństwach i oba stosunki dają się porównać. Bez tego założenia teza jest fałszywa: dowolna prosta równoległa do podstaw nie jest dzielona przez ramiona na równe części.
**Odpowiedź.** Z podobieństw \(DMP\sim DAB\) i \(CPN\sim CAB\) oraz z twierdzenia Talesa wynika \(\dfrac{|MP|}{|AB|}=\dfrac{|PN|}{|AB|}\), czyli \(|MP|=|NP|\).