Dwusieczna dzieli kąt na dwa o takiej samej mierze, więc:
Oznacza to, że trójkąty ABD i CBD są przystające z cechy KBK
.
Skoro powyższe trójkąty są przystające, to odpowiadające sobie boki mają takie same długości, więc:
Czyli trójkąt ABC, którego wysokość zawiera się w dwusiecznej kąta jest równoramienny.
To kończy dowód.
