l ⊥ d tại J, và M, J ∈ l ⇒ MJ ⟘ IK ⇒ MJ là đường cao của ΔMKI.
N nằm trên đường thẳng qua I và vuông góc với MK ⇒ IN ⟘ MK ⇒ IN là đường cao của ΔMKI.
IN và MJ cắt nhau tại N .
Theo tính chất ba đường cao của ta giác ⇒ N là trực tâm của ΔMKI.
⇒ KN cũng là đường cao của ΔMKI ⇒ KN ⟘ MI.
Vậy KN ⏊ IM