Угол В = 180° - угол А
В треугольнике АВF угол АВF равен 180°- угол А.
Угол ВАF равен угол А / 2 (по определению биссектрисы).
Тогда, поскольку сумма углов треугольника равна 180°,
то и угол AFB тоже равен угол А / 2.
Следовательно, треугольник АВF -равнобедренный.