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.