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