Решение 1: Из условия задачи следует, что прямоугольные треугольники ABC и AED равны, то есть треугольник ACD – равнобедренный (см. рис.).
Тогда ∠
BCD= ∠
BCA+ ∠
ACD= ∠
EDA+ ∠
ADC= ∠
CDE. Следовательно, равнобедренные треугольники
BCDи
CDEравны. Таким образом,
∠
CBD= ∠
CDB= ∠
ECD= ∠
DEC.
Из того, что треугольник
CFD– равнобедренный, и из равенства отрезков
BDи
CEследует, что
BF = FE. Следовательно, треугольники
ABFи
AEFравны. Тогда ∠
ABF= ½ ∠
BFE= ½ (180° – 2∠
FCD) = 90° – ∠
ECD= 90° – ∠
DBC= ∠
ABF, откуда
AB = AF.
Решение 2: Пусть BC пересекает DE в точке P (см. рис.).
Треугольник
ABE– равнобедренный, следовательно, ∠
ABE= ∠
AEB. Тогда в четырёхугольнике
BCDEравны стороны
BCи
DEи углы
CBEи
DBE, поэтому этот четырёхугольник – равнобокая трапеция. Следовательно, ∠
CBD= ∠
CDB= ∠
DBE, то есть
BD– биссектриса угла
CBE. Значит,
F– центр вписанной окружности треугольника
PBE. Из симметрии и вписанности четырёхугольника
PBAEследует, что точка
A– середина дуги
BEописанной окружности треугольника
PBE, а, значит, по
лемме о трезубце(см. задачу
153119)
AF = AB.