Wiemy, że symetralne przecinają się w punkcie odległym od wierzchołka kąta prostego o :

Przeciwprostokątna trójkąta ro średnica okręgu: 

Korzystamy z twierdzenia