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.