Так как треугольник AOD равнобедренный, углы OAD и ODA равны. Углы BAD и CDA также равны, отсюда следует равенство углов BAD-OAD=BAO и CDA-ODA=CDO. Углы AOB и COD равны как вертикальные. Кроме того, AO=OD. Значит, треугольники ABO и CDO равны по стороне и двум прилежащим к ней углам (AO=OD, AOB=COD, BAO=CDO). Из равенства треугольников следует, что AB=CD, так как эти стороны лежат против равных углов, что и требовалось доказать.