Ta có: BF là tia phân giác góc trong tại đỉnh B

      BE là tia phân giác góc ngoài tại đỉnh B

Suy ra: BF ⊥ BE (tính chất hai góc kề bù)

Vậy BF ⊥ ED.

Lại có: CD là đường phân giác góc ngoài tại C

      CE là đường phân giác góc trong tại C

Suy ra: CD ⊥ CE (tính chất hai góc kề bù)

Vậy CD ⊥ EF.

Vậy các đường thẳng EA; FB; DC là các đường cao trong tam giác DEF.