Чтобы доказать, что AB = EF, рассмотрим треугольники OAB и OEF.
- OC = OD (по условию)
- OB = OE (по условию)
- Угол BOC = углу DOE (как вертикальные углы)
Треугольники OAB и OEF равны по двум сторонам и углу между ними (первый признак равенства треугольников).
Из равенства треугольников следует, что AB = EF.
Способ измерения ширины озера, основанный на этой задаче:
- Выбираем точку O на берегу озера.
- Отмеряем на продолжении отрезка OA отрезок OD так, чтобы OD = OC.
- Аналогично, отмеряем на продолжении отрезка OB отрезок OE так, чтобы OE = OB.
- Измеряем расстояние между точками E и F.
- Расстояние EF будет равно ширине озера AB.
Ответ: AB = EF, способ измерения объяснен выше.