AI là đường cao, nên AI⊥BC, suy ra ∠AIC=90∘. I là giao điểm của đường cao AI với BC.
Hình thang vuông ABCD có:
Để hình thang vuông ABCD trở thành hình chữ nhật, ta cần chứng minh nó là hình thang có bốn góc vuông.
Tứ giác ABCD có bốn góc đều bằng 90∘ (∠A=∠B=∠C=∠D=90∘).
Vậy, tứ giác ABCD là hình chữ nhật.
Gọi I là trung điểm của AC (giả thiết).
Vì tứ giác AHCD có hai đường chéo AC và HD cắt nhau tại trung điểm I của mỗi đường, nên AHCD là hình bình hành.
AH là đường cao của tam giác ABC (giả thiết). Theo định nghĩa đường cao, AH vuông góc với BC tại H. Do đó, ∠AHC=90∘.
Hình bình hành AHCD có một góc (∠AHC) là 90∘ Vì tứ giác AHCD là hình bình hành (theo mục 1) và có một góc vuông (∠AHC=90∘) (theo mục 2), nên AHCD là hình chữ nhật (theo dấu hiệu nhận biết hình chữ nhật).