<BOA=<DOC (як вертикальні кути)

<BAO=<DCO

AO=OC

Отже:

∆ABO=∆DOB(за другою ознакою рівності трикутників - за двома кутами і стороною між ними)