Explicație pas cu pas:
notăm cu 2x măsura unghiului exterior al vârfului A
AF este bisectoarea exterioară unghiului A
=> ∢CAF = x
și ∢BAE = x (opus la vârf)
BF ⊥ CA => ∢AFB = 90° - x
∢EFH este identic cu ∢AFB
=> ∢EFH = 90° - x (1)
CE ⊥ AB => ∢AEC = 90° - x
∢FEH este identic cu ∢AEC
=> ∢FEH = 90° - x (2)
din relațiile (1) și (2)
în ΔHEF avem ∢EFH ≡ ∢FEH
=> ΔHEF este isoscel
