Ta có {BH⊥ACDC⊥AC
⇒ BH // DC
Tương tự ta cũng có: CH // DB
⇒BHCD là hình bình hành.
Gọi I là trung điểm của BC
⇒OB+OC=2OI(1)
Ta lại có OI là đường trung bình của ΔADH
⇒OI=21AH(2)
Từ (1) và (2)
⇒OB+OC=AH
⇔OB+OC+ OA= OA+AH
⇔ OH+ HA+ OH+ HB+ OH+ HC= OH
⇔ HA+ HB+ HC=2 HO