W kątach przyległych ABC, DBC poprowadzono dwusieczne i prostą, równoległą do AD, która
przecina te dwusieczne odpowiednio w punktach E i F, zaś ramię BC przecina w punkcie K. Wykaż,
że EK=KF
2α+2β=180o ⇒ α+β= 90o
zatem trójkąt EFB jest prostokątny
Okrąg opisany na tym trójkącie , to okrąg o środku K i średnicy |EF|=2R
wniosek: |EK|=|KF|= R