Ta có AA′⊥ AB′ vì chúng là hai tia phân giác của hai góc kề bù. Tương tự AA′⊥ AC′. Vì qua A chỉ có một đường vuông góc với AA' nên ba điểm B', A, C' thẳng hàng và AA′⊥ B′C′, hay A'A là một đường cao của tam giác A'B'C'. Hoàn toàn tương tự ta chứng minh được BB' và CC' là hai đường cao của tam giác A'B'C'.

Mặt khác theo cách chứng minh của bài 9.5 ta có AA', BB', CC' là ba tia phân giác của các góc A, B, C của tam giác ABC. Từ đó suy ra giao điểm của ba đường phân giác của tam giác ABC là trực tâm của tam giác A'B'C'.