Dana je polukružnica nad promjerom AB\overline{AB} i na njoj točke CC i DD tako da vrijedi:

a) točka CC pripada luku AD^\widehat{AD};

b) CSD\measuredangle CSD je pravi, pri čemu je SS središte dužine AB\overline{AB}.

Neka je EE sjecište pravaca ACAC i BDBD, a FF sjecište ADAD i BCBC. Dokažite da je EF=AB|EF| = |AB|.