Окружность с центром О.
А, В - точки на окружности.
ОС ⊥ АВ.
С - середина отрезка АВ.
Рассмотрим треугольники ∆АОС и ∆ВОС.
По двум сторонам и углу между ними (по второму признаку равенства треугольников), треугольники ∆АОС и ∆ВОС равны.
Следовательно, АС = ВС.
Это значит, что точка С делит отрезок АВ на два равных отрезка, то есть является его серединой.
Что и требовалось доказать.