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