W trójkącie prostokątnym ACD punkt E jest środkiem przeciwprostokątnej AC, więc
Zatem trójkąt ADE jest równoramienny i
oznaczmy tę miarę przez alfa, wtedy
Ponieważ
trójkąt DBE jest równoramienny. Kąt
więc kąty przy podstawie BE mają po
stąd
i
ODP: Teza prawdziwa
Środek przeciwprostokątnej w trójkącie prostokątnym jest równo odległy od trzech wierzchołków.