Gọi M là trung điểm của BC, dễ dàng chứng minh được △MDE cân ở đỉnh M (MI là trung trực)
Gọi I là trung điểm của DE thì MI ⊥ DE
=>MI // BH //CE
MI là đường trung bình của hình thang BHKC, ta có IH = IK.
=> HI - IE = IK - ID
=> IE = ID
=> HE = DK