На рисунке 95 OC=OD, ОВ=ОЕ. Докажите, что АВ = EF. Объясните измерения ширины озера (отрезка АВ на рисунке 95), основанный на этой задаче

Решение. АВОС = ADOE по двум сторонам и углу между ними, поэтому ZD = ZC и ВС = = DE.
ААОС = AFOD по стороне и двум прилежащим к ней углам (ОС = OD по условию; ZC = = ZD; ZAOC = ZFOD, так как эти углы — вертикальные). Отсюда следует, что АС = DF, а так как ВС = DE, то АВ = EF, что требовалось доказать