Для доказательства равенства отрезков AB и CD воспользуемся тем, что углы, опирающиеся на одной и той же хорде, равны.
Поскольку точки A, B, C, D лежат на окружности с центром O, то угол AOB равен углу COD (они опираются на одну и ту же дугу).
Таким образом, у нас имеются два треугольника: треугольник AOB и треугольник COD, в которых соответственно углы AOB и COD равны друг другу.
Так как углы при основании равны, то и стороны, противолежащие данным углам, также равны. Следовательно, AB=CD.
Таким образом, если угол АОВ равен углу COD, то отрезки AB и CD равны.