Wykażemy, że trójkąty ADE i BDF są przystające:

Kąty przy wierzchołku D w trójkątach ADE i BDF mają takie same miary, gdyż są to kąty wierzchołkowe. Skoro oba trójkąty są prostokątne i jeden z kątów ostrych jest równy to znaczy, że kąt w trójkącie ADE przy wierzchołku A oraz kąt w trójkącie BDF przy wierzchołku B mają takie same miary. Środkowa CD dzieli bok AB na połowy. 

Trójkąty ADE i BDF są przystające na podstawie cechy KBK.

$\left|AD\right|=\left|BD\right|$