Так как угол А равен углу С, то треугольники АВО и СDO схожи по двум углам при вершине – это значит, что угол BAO и угол DOC также равны между собой.

Также у нас есть, что AO = OC, так как О является точкой пересечения отрезков AC и BD.

Следовательно, треугольники АОВ и СОD подобны по стороне и двум углам при вершине. Следовательно, у них соответствующие стороны пропорциональны, то есть треугольники равны.