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