Углы OAC и OBD — это смежные углы к равным углам, поэтому они тоже равны: ∠OAC=∠OBD. Углы COA и DOB равны как вертикальные. В треугольниках ACO и OBD два угла равны, значит, равны и третьи углы (ведь сумма углов в обоих треугольниках равна 180°), что и требовалось доказать.