Giả sử đường thẳng AB // CD cắt đường thẳng EF tại E và F

Ta có: ∠BEF + ∠EFD = 180o (hai góc trong cùng phía)

+) Do EK là tia phân giác của góc ∠ BEF nên:

∠E1 = 1/2 .∠ (BEF) (1)

+) Do FK là tia phân giác của góc EFD nên :

∠F1 = 1/2 .∠EFD (2)

Từ (1) và (2) suy ra:

∠E1 +∠F1 =1/2 .(∠BEF + ∠EFD ) = 1/2 . 180º = 90º ( ∠BEF + ∠EFD = 180º hai góc trong cùng phía)

Trong ΔEKF,ta có:

∠EKF = 180o-(∠E1 + ∠F1) = 180o-90o=90o

Vậy EK ⊥FK