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|.