证明:连接EF
∵FG⊥AC,HE⊥AC,
∴∠FGC=∠HEC=90°( ▲ ).
∴ ▲ ∥ ▲ ( ▲ ).
∴∠3=∠ ▲ ( ▲ ).
又∵∠1=∠2,
∴∠1+∠3=∠2+∠4.
即∠DEF=∠EFC
∴DE∥BC( ▲ ).