∵角1等于角2(已知)
又∵对顶角相等)
∴∠1=∠3(等量代换)
∴BD平行于CE(同位角相等,两直线平行)
∴∠C=∠ABD(两直线平,同位角相等)
又∵∠C=∠D(已知)
∴∠ABD=∠D(等量代换)
∴DF平行于AC(内错角相等,两直线平行)
∴角A等于角F(两直线平,内错角相等)
∵角1等于角2(已知)
又∵对顶角相等)
∴∠1=∠3(等量代换)
∴BD平行于CE(同位角相等,两直线平行)
∴∠C=∠ABD(两直线平,同位角相等)
又∵∠C=∠D(已知)
∴∠ABD=∠D(等量代换)
∴DF平行于AC(内错角相等,两直线平行)
∴角A等于角F(两直线平,内错角相等)