Dan je raznostraničan trokut ABCABC. Neka je PP polovište dužine AB‾\overline{AB}. Okomica na pravac CPCP u točki PP siječe pravce ACAC i BCBC redom u točkama XX i YY, pri čemu je AA između XX i CC te YY između BB i CC. Pretpostavimo da vrijedi ∣AX∣⋅∣AC∣=∣BY∣⋅∣BC∣|AX| \cdot |AC| = |BY| \cdot |BC|. Dokaži da je trokut ABCABC pravokutan.