Trójkąt jest ostrokątny oraz . Dwusieczna kąta przecina bok w punkcie . Punkt jest obrazem punktu w symetrii osiowej względem dwusiecznej kąta , punkt jest obrazem punktu w symetrii osiowej względem dwusiecznej kąta , a punkt jest obrazem punktu w symetrii osiowej względem dwusiecznej kąta (zobacz rysunek).

Udowodnij, że na czworokącie można opisać okrąg.