Подсказка 1

У нас есть треугольник AIC и его описанная окружность. Может, мы знаем что-то хорошее про ее центр?

Подсказка 2

По лемме о трезубце, это середина дуги AC! Обозначим ее за O. Кроме того, он лежит на отрезке ED, т.к. это серединный перпендикуляр к AC. Как можно теперь связать точки E и D так, чтобы можно было что-то сделать с точкой F похожим образом?

Подсказка 3

Например, можно сказать, что E и D симметричны относительно прямой, перпендикулярной ED и проходящей через O) Давайте также отразим F относительно этой прямой, и получим точку F'. Что мы получили?

Подсказка 4

Мы получили, что есть DEFF' - вписанная равнобокая трапеция. Мы хотим доказать, что E, D, B, F на одной окружности, а уже есть DEFF'..Как можно переформулировать теперь задачу?

Подсказка 5

Можно теперь доказывать, что точки F', D, B и E лежат на одной окружности) Для этого попробуйте доказать, что O - центр окружности B₁FF'! Это можно сделать с помощью симметрии, чтобы доказать, что O лежит на B₁F') А дальше как действовать?

Подсказка 6

А дальше можно воспользоваться подобием треугольников OAB и OAB₁ и записать отношения сторон) После с помощью предыдущей подсказки можно по-другому выразить это равенство отношений, и получится требуемое условие для того, чтобы F', D, B и E лежали на одной окружности)