Рассмотрим треугольники \( \triangle ABF \) и \( \triangle ADF \).
По условию задачи:
По первому признаку равенства треугольников (по двум сторонам и углу между ними), \( \triangle ABF = \triangle ADF \).
Доказано.