Дано: ab = cd, ao = od.

Так как ab = cd, то a и c - вершины этого отрезка, так же как b и d, и они совпадают.
Точка o является пересечением отрезков ab и cd, следовательно она является серединой отрезка ac и также серединой отрезка bd.
Следовательно, по свойствам серединного перпендикуляра, ac = bc.

Таким образом, мы доказали, что ac = bc.