根据三角形中位线定理,DF=1/2AC,DE=1/2AB,
在直角三角形AHC中,HE是斜边中线,HE=1/2AC,
同理,FH=1/2AB,
DF=HE,DE=FH,FE是公共边
三角形DEF全等于三角形HFE