U šiljastokutnom trokutu ABCABC u kojem je AB<AC|AB| < |AC|, točka DD leži na stranici BC\overline{BC}. Okomica iz točke BB na pravac ADAD siječe kružnicu opisanu trokutu ABDABD u točkama BB i EE. Ako su pravci DEDE i ACAC međusobno okomiti, dokaži da je ADAD simetrala kuta BAC\measuredangle BAC.