Деление отрезка пополам с помощью циркуля и линейки

Дано: отрезок АВ.

Построить точку О так, что АО = ОБ.

Построение (рис. 52).

Из точек В и А радиусом АВ проведем окружности и точки пересечения этих двух окружностей обозначим через С1 и С (постр. 2). Проведем прямую СХС и обозначим точку пересечения прямых CjC и п через О (постр. 3).

Докажем, что точка О является серединой отрезка АВ. Треугольники СхАС и СхВС равны по третьему признаку равенства треугольников. Поэтому AGO = BCO. Тогда треугольники AGO и ВСО равны по первому признаку равенства треугольников. Отсюда следует, что стороны АО и ВО равны. Следовательно, точка О является серединой отрезка АВ.