Dowód
Krok 1. Wspólna wysokość trójkątów KNM i NLM. Trójkąty
KNM oraz
NLM mają wspólny wierzchołek
M, a ich podstawy
KN i
NL leżą na tej samej prostej (na boku
KL). Zatem mają
tę samą wysokość h opuszczoną z wierzchołka
M na prostą
KL.
Stąd:
PNLMPKNM=21⋅∣NL∣⋅h21⋅∣KN∣⋅h=∣NL∣∣KN∣ Krok 2. Twierdzenie o dwusiecznej kąta wewnętrznego.
Dwusieczna kąta
∠LMK wychodząca z wierzchołka
M dzieli przeciwległy bok
KL w stosunku boków przyległych:
∣NL∣∣KN∣=∣LM∣∣KM∣=ba Krok 3. Wniosek.
Łącząc oba kroki:
PNLMPKNM=∣NL∣∣KN∣=ba■