Dana je kružnica promjera AB‾\overline{AB}. Na toj kružnici, s različitih strana pravca ABAB, nalaze se točke CC i DD takve da vrijedi ∣AC∣<∣BC∣|AC| < |BC| i ∣AC∣<∣AD∣|AC| < |AD|. Točka PP pripada dužini BC‾\overline{BC} te vrijedi ∡CAP=∡ABC\measuredangle CAP = \measuredangle ABC. Okomica iz točke CC na pravac ABAB siječe pravac BDBD u točki QQ. Pravci PQPQ i ADAD sijeku se u točki RR, a pravci PQPQ i CDCD u točki TT.

Ako je ∣AR∣=∣RQ∣|AR| = |RQ|, dokaži da su pravci ATAT i PQPQ međusobno okomiti.