∵∠3=∠C
∴DG∥BC(同位角相等,两直线平行)
∴∠1=∠CBD(两直线平行,内错角相等)
∵∠1=∠2
∴∠2=∠CBD
∴BD∥EF
∵BD⊥AC即∠BDA=90°
∴∠EFA=∠BDA=90°(两直线平行,同位角相等)
∴EF⊥AC