Ta có: ˆACE=90°ACE^=90° nên AC ⊥ EC
Mà BH ⊥ EC
⇒ BH // AC (1)
Ta lại có:ˆABE=90°ABE^=90° và AB ⊥ BE
Mà CH ⊥ AB
⇒ BE // CH (2)
Từ (1) và (2) suy ra BHEC là hình bình hành
Xét tứ giác AHDE, có:
O là trung điểm của HD (gt)
O là trung điểm của AE
Do đó AHDE là hình bình hành
Khi đó, ta có:
