Треугольники АВС и BAD равны, при этом точки С и D лежат

Т.к. ААВС = AABD, то АС = BD, СВ = AD, ZCAO = ZOBD.
1) В ACBD и ADAC: CD общая
АС = DB, AD = СВ (из условия).
Таким образом, ACBD = ADAC по 3-му признаку равенства треугольников, таким образом, ZCDB = ZDCA.
2) В ААОС и ADOB:
АС = BD, ZCAO = ZOBD, ZCDB = ZDCA. Таким образом, ААОС = ADOB по 2-му признаку, откуда АО = ОВ. Следовательно, отрезок BD делит отрезок АВ пополам, что и требовалось обосновать.