辅助线思路正确过B作AD的平行线，交HE的延长线于P。连接DE并延长，交BP于Q。连接CQ。证明AGE与BPE全等，得再证ADE与BQE全等，得DE=QE。于是EF是DQC的中位线。得CQ//EF。而AD=QB=BC，因此所以命题成立
