Сравним треугольники ADK и FEC:
угол ADK = углу CEF (по всловию)
угол DKA = EFC = 90 (т.к. DK и EF перпендикулярны AC)
DK = EF (по условию)
из всего этого следует, что треугольники ADK и FEC подобны.следовательно углы DAK и ECF равны, а это так же углы при основании в треугольнике ABC, что значит, что треугольник ABC - равнобедренный, следовательно АВ = ВС