AB este diametrul cercului cu centrul O și raza AO = r. Mediatoarea segmentului AO intersectează cercul în punctele C și D, iar mediatoarea segmentului BO intersectează cercul în punctele E și F.


Demonstrați că punctele C, D, E, F sunt vârfurile unui dreptunghi.