Треугольник BOC равен треугольнику DOE- по первому признаку.
ОС=ОD и OB =OE
Угол ВОС равен углу ЕОF так как они вертикальные. Из этого всего следует, что УголС равен улгу D. А ВС=ED , AC= DF так как треугольник АОС =треугольнику FOD по второму признаку и (OC=OD, угол С равен углу D , угол АОС = углу DOF)следует, что АВ=AC-BC=DF-DE = EF следовательно, АВ= EF