Dowody Tomisso: 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. Uzasadnij, że |EK| = |KF|

Andrzej: kąty oznaczone tymi samymi kolorami są równe (np. |<KFB|=|<FBD| bo to kąty naprzemianległe przy prostych równoległych) więc trójkąty EBK i BFK są równoramienne a stąd |EK| = |BK| = |KF|