1) р-м треугольник AOF:
AO=OF(т.к. угол оаf= углу оfa=>треугольник оаf рб=> ао=оf)
2) углы BOA и DOF вертикальные=> BOA = DOF(св.верт.углов)
3) р-м треугольники ABO и FDO:
AO=OF(п.1); BOA=DOF(п.2); BAO=DFO(по условию)=> ABO = FDO(по первому признаку рав. треугольников)=>OB=OD(соотв. равн. элементы)
4) AD=AO+OD
BF=BO+OF
AO=BO; OD=OF=> AD=BF
ЧТО И ТРЕБОВАЛОСЬ ДОКАЗАТЬ