Ta có thể chứng minh tam giác HAC đồng dạng với tam giác ABC bằng cách sử dụng định lí điểm cao. Định lí này nói rằng trong một tam giác vuông, đường cao chia tam giác thành hai tam giác nhỏ hơn đồng dạng với tam giác ban đầu.

Áp dụng định lí này vào tam giác ABC, ta có:

• Tam giác AHC là tam giác nhỏ hơn đồng dạng với tam giác ABC
• TH ⊥ AC và AH là đường cao của tam giác ABC
• Vậy tam giác HAC cũng đồng dạng với tam giác ABC

Do đó, ta đã chứng minh được rằng tam giác HAC đồng dạng với tam giác ABC.