В треугольнике DEF из точки E проведен перпендикуляр к стороне DF, пересекающий ее в точке K. Доказать, что если DK=FK, то ED=EF​