Док/во:

Рассмотрим треугольники ABO и OCD.

1) угол BAO=угол DCO (по условию)

2) AC=OC (по условию)

3) угол BOA=DOC (как вертикальные)

Значит треугольники ABO и OCD равны по стороне и двум прилежащии углам. Из равенсива треугольника следует равенство их соответственных элементов, значит, AB=CD