Рассмотрим треугольники ABO и DCO. У них:
Следовательно, треугольники ABO и DCO равны по второму признаку равенства треугольников (по стороне и двум прилежащим к ней углам). Из равенства треугольников следует, что AB = CD.
Что и требовалось доказать.