AB = AD по условию,
BC = DC по условию,
АС - общая сторона для треугольников АВС и ADC, значит
ΔАВС = ΔADC по трем сторонам.
Из равенства треугольников следует, что
∠ACB = ∠ACD,
BC = DC по условию,
ОС - общая сторона для треугольников ВСО и DCO, значит
ΔBCO = ΔDCO по двум сторонам и углу между ними.
Из равенства треугольников следует, что BO = DO.
