Расстоянием от точки Ф до прямой ДЕ будет являться перпендикуляр, опущенный из точки Ф к прямой ДЕ. Пусть это будет ФМ. Тогда треугольник ФCЕ=ФМЕ (если гипотенуза и острый угол одного прямоугольного треугольника соответственно равны гипотенузе и острому углу другого прямоугольного треугольника, то такие треугольники равны). ФЕ-общая сторона и гипотенуза. Угол МЕФ=углу ФЕС (ЕФ-биссектриса). Следовательно ФС=ФМ=13
