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 AXAC=BYBC|AX| \cdot |AC| = |BY| \cdot |BC|. Dokaži da je trokut ABCABC pravokutan.