
证明:连接
EF∵FG⊥AC,
HE⊥AC,
∴∠FGC=∠HEC=90∘(垂直的定义)。
∴FG∥HE(同位角相等,两直线平行)。
∴∠3=∠4(两直线平行,内错角相等)。
又
∵∠1=∠2,
∴∠1+∠3=∠2+∠4.
即
∠DEF=∠EFC∴DE∥BC(内错角相等,两直线平行)。
故答案为:垂直的定义;
FG,
HE,同位角相等,两直线平行;
4,两直线平行,内错角相等;内错角相等,两直线平行.

证明:连接
EF∵FG⊥AC,
HE⊥AC,
∴∠FGC=∠HEC=90∘(垂直的定义)。
∴FG∥HE(同位角相等,两直线平行)。
∴∠3=∠4(两直线平行,内错角相等)。
又
∵∠1=∠2,
∴∠1+∠3=∠2+∠4.
即
∠DEF=∠EFC∴DE∥BC(内错角相等,两直线平行)。
故答案为:垂直的定义;
FG,
HE,同位角相等,两直线平行;
4,两直线平行,内错角相等;内错角相等,两直线平行.