Объясните измерения ширины озера

Треугольник BOC равен треугольнику DOE- по первому признаку.

ОС=ОD и OB =OE

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