EB=EF, значит треугольник EBF - равнобедренный.
и угол EBF равен углу EFB.
Углы ВАС и ВСА равны, т.к. треугольник АВС равнобедренный, значит можно записать, что угол АСВ равен (180°-∠АВС) / 2
Угол CFE и EFB смежные, и в сумме 180°
Значит ∠EFC = 180°-∠EFВ = 180°-∠EBF = 180°-∠АВС
Биссектриса делит угол EFC пополам, значит
∠KFC = 1/2 EFC = (180°-∠АВС) / 2 = ∠АСВ
Поскольку ∠АСВ=∠KCF=∠KFC, то треугольник СKF имеет равные углы при основании CF следовательно он равнобедренный.
А в равнобедренном треугольнике СКF KC=KF, что и требовалось доказать.
Построение сводится к проведению перпендикуляра из точки к прямой.
Из вершины А, как из центра, раствором циркуля, равным АС, делаем насечку на стороне ВС. Обозначим эту точку К.
∆ КАС- равнобедренный с равными сторонами АК=АС.
Разделив КС пополам, получим точку М, в которой медиана ∆ КАС пересекается с основанием КС. Т.к. в равнобедренном треугольнике медиана=биссектриса=высота, отрезок АМ будет искомой высотой.
Для этого из точек К и С, как из центра, одним и тем же раствором циркуля ( больше половины КС) проведем две полуокружности. Соединим точки их пересечения с А.
Отрезок АМ разделил КС пополам и является искомой высотой ∆ АВС из вершины угла А.