Я прошу модератора удалить это решение :) Однако с точки зрения математики вообще это правильное решение. Я хочу привести его в качестве курьеза.
Авс=аfc( опираются на одну дугу) = 80(дано)
Отрезок, параллельный стороне треугольника, отсекает от него треугольник, подобный данному:
ΔAFE подобен ΔАВС, отсюда
AF : AB = AE : AC = EF : BC.
Ответ: 2) EF : BC = AE : AC