Neka je ABCABC raznostraničan šiljastokutan trokut. Točka NN je polovište duljeg luka BC^\widehat{BC} kružnice opisane trokutu ABCABC. Neka je kk kružnica promjera BC‾\overline{BC}.

Simetrala kuta ∡BAC\measuredangle BAC siječe kružnicu kk u točkama DD i EE, a D1D_1 i E1E_1 su točke takve da su DD1‾\overline{DD_1} i EE1‾\overline{EE_1} promjeri kružnice kk.

Dokaži da polovište dužine BC‾\overline{BC} pripada kružnici opisanoj trokutu NE1D1NE_1D_1.