Ta có: \(I = DE \cap AB\)
Mà \(DE \subset (DEF) \Rightarrow I \in (DEF)\)
và \(AB \subset (ABC) \Rightarrow I \in (ABC)\)
Suy ra \(I\in (DEF)\cap (ABC)\)
Ta có: \(J = EF \cap BC\)
Mà \(EF \subset (DEF) \Rightarrow J \in (DEF)\)
và \(BC \subset (ABC) \Rightarrow J \in (ABC)\)
Suy ra \(J\in (DEF)\cap (ABC)\)
Tương tự, \(K\in (DEF)\cap (ABC)\) nên \(I\), \(J\), \(K\) thuộc giao tuyến của \((ABC)\) và \((DEF)\) nên \(I\), \(J\), \(K\) thẳng hàng.
