证明：如图，∵AB⊥BC于B，EF⊥AC于G，
∴∠B=∠CGE=90°，
∴∠A=∠1（同角的余角相等）．
又∵DF⊥BC于D，
∴∠B=∠EDF=90°，
∴在△ABC与△EDF中，

∠A＝∠1 ∠B＝∠EDF BC＝DF

，
∴△ABC≌△EDF（AAS），
∴AC=EF．