Дано: AK - биссектриса ∠A, ∠AFK = ∠AHK = 90°.
Доказательство:
Следовательно, Δ AFK = Δ AHK по второму признаку равенства прямоугольных треугольников (по гипотенузе и острому углу).