Gọi D là trđ HC
Xét ∆HCE có
S là trđ HE , D là trđ HC
=> DS là đường tb ∆HCE
=> DS // CE
Hay DS // BC (E thuộc AB)
Mà BC ⊥ AE
=> DS ⊥ AE
Xét ∆AED có
CH ⊥ AC (D thuộc AC)
DS ⊥ AE (cmt)
CH cắt DS tại S
=> S là trực tâm ∆AED
=> AS ⊥ DE (1)
Xét ∆ABC cân tại A có đường cao AE
=> AE đồng thời là đường trung tuyến (t/c)
=> E là trđ BC
Xét ∆HBC có
E là trđ BC
D là trđ HC
=> DE là đường tb ∆HBC
=> DE // HB (2) (đ/l)
Từ (1);(2)
=> AS ⊥ BH