Trên đường thẳng a lấy ba điểm phân biệt I, J, K (J ở giữa I và K). Kẻ đường thẳng b vuông góc với a tại J, trên b lấy điểm M khác điểm J. Đường
Giải thích
Xét tam giác MIK có MJ ⊥ IK, IN ⊥ MK.
Mà MJ cắt IN tại N nên N là trực tâm của tam giác MIK.
Do đó NK vuông góc với MI.