证明：∵E，F分别为AC，AB的中点，
∴EF∥BC，
根据平行线定理，∠HFE=∠FHB，∠DEF=∠CDE；
同理可证∠CDE=∠B，
∴∠DEF=∠B．
又∵AH⊥BC，且F为AB的中点，
∴HF=BF，
∴∠B=∠BHF，
∴∠HFE=∠B=∠DEF．
即∠HFE=∠DEF．