Объяснение:
1)Рассмотрим △АВС.
Так как углы при основании АС равны (∠А =∠С), то △АВС - равнобедренный.
В равнобедренном треугольнике боковые стороны равны.
АВ=ВС.
2) Рассмотрим △BDC и △FDE.
BD=DF, CD= ED, ∠EDF =∠CDB - как вертикальные.
Следовательно △BDC = △FDE по двум сторонам и углу между ними ( первый признак равенства треугольников).
Из равенства треугольников следует равенство сторон: BC = EF.
Значит АВ=ВС=EF.
3) Рассмотрим △EHF и △KHF.
EH = KH, ∠EHF =∠KHF, HF - общая.
△EHF = △KHF по двум сторонам и углу между ними ( первый признак равенства треугольников).
Из равенства треугольников следует равенство сторон: EF = FK.
Значит АВ=ВС=EF = FK
Таким образом мы доказали, что АВ = FK
Для доказательства равенства двух отрезков использовали следующие :
Рассматривали эти отрезки как стороны двух треугольников, и доказывали, что эти треугольники равны. Рассматривали эти отрезки как стороны одного треугольника, и доказывали, что этот треугольник равнобедренный.
CE = CB*cos(C); CD = CA*cos(C);
поэтому эти треугольники подобны, и AB = ED/cos(C);
Поскольку ∠HEC = ∠HDC = 90°; то окружность, построенная на CH, как на диаметре, пройдет через точки D и E.
Поэтому CH - диаметр окружности, описанной вокруг треугольника DEC, и по теореме синусов ED = CH*sin(C);
Отсюда sin(C) = 12/13; => cos(C) = 5/13;
AB = 60*13/5 = 156;
Можно получить такую "обратную теорему Пифагора"
(1/ED)^2 = (1/AB)^2 + (1/CH)^2; :)
это соотношение решает задачку в общем виде, если в условии не скрыта Пифагорова тройка (как тут - 5,12,13)