Деление отрезка пополам

Пусть АВ данный отрезок, точка О-его середина, прамая а — серединный перпендикуляр к отрезку АВ. Выберем произвольную точку С на прамой а, отличную от точки О. В треугольнике АВС, СО середина медианы и высота. Следовательно, треугольник АВС равнобедренный, АС=ВС