Для доказательства равенства отрезков BO и OD рассмотрим треугольники ABO и CDO.
AB = CD (по условию).
∠ABO = ∠CDO как накрест лежащие углы при параллельных прямых AB и CD и секущей BD.
Поскольку AB || CD, углы, образованные секущей BD с этими прямыми, равны.
∠BAO = ∠DCO как накрест лежащие углы при параллельных прямых AB и CD и секущей AC.
Поскольку AB || CD, углы, образованные секущей AC с этими прямыми, равны.
Таким образом, треугольники ABO и CDO равны по второму признаку равенства треугольников (по стороне и двум прилежащим к ней углам).
Из равенства треугольников следует равенство соответствующих сторон, то есть BO = OD.
Что и требовалось доказать.