Xét đường tròn (O) có
sđ\(\widehat{BCK}=\)sđ\(\widehat{BAK}\) (Góc nội tiếp đường tròn cùng chắn cung BK) (1)
Xét tứ giác BFEC có F; E cùng nhìn BC dưới 1 góc vuông => E; F cùng nằm trên đường tròn đường kính BC
=> sđ\(\widehat{BCF}=\)sđ\(\widehat{FEB}\) (Góc nội tiếp đường tròn cùng chắn cung BF) (2)
Xét tứ giác AFHE có E và F cùng nhìn AH dưới 1 góc vuông => E; F cùng nằm trên đường tròn đường kính AH
=> sđ\(\widehat{BAK}=\)sđ\(\widehat{FEB}\) (Góc nội tiếp đường tròn cùng chắn cung HF) (3)
Từ (1) (2) và (3) \(\Rightarrow\widehat{BCF}=\widehat{BCK}\) => BC là phân giác của \(\widehat{KCH}\)
Ta có \(BC\perp KH\)
=> \(\Delta KCH\) cân tại C (Tam giác có đường phân giác đồng thời là đường cao thì tg đó là tg cân)
\(\Rightarrow DH=DK\) (Trong tg cân đường cao đồng thời là đường trung tuyến)