Для начала, заметим, что AB//DE и AC//DF, так как треугольники ABC и DEF подобны.
По условию, BK : KC = EH : HF, а значит, BK/BK+KC = EH/EF.
Так как AB//DE, прямая BK делит сторону AC на отрезки AK и KC пропорционально отношению AE/EF, то есть, AK/AK+KC = AE/EF.
Заметим, что AK = BK, так как AK и BK – это отрезки, составляющие сторону AB, а соответствующие стороны подобных треугольников пропорциональны. Также EF = HC, поскольку HC и EF – это отрезки, составляющие сторону BC, а их пропорции удовлетворяют условию.
Тогда у нас такая же пропорция: AK/(AK+KC) = EH/EF. Заменив все значения, получим BK/BK+KC = EH/HC.
Из этого следует, что треугольники AKB и EDH подобны по теореме об однородных прямоугольниках.