∵角1等于角2(已知)
又∵垂直角相等)
∴∠1 =∠3(相当于替换)
∴BD平行CE(对应角相等,两直线平行)
∴∠C =∠ABD(两条直线和水平,对应角相等)
∵∠C =∠D(已知)
∴∠ABD =∠e (相当于替代)
∴DF平行于AC(备用内角相等,两直线平行)
∴角A等于角F(两条直线和水平,内角相等)
∵角1等于角2(已知)
又∵垂直角相等)
∴∠1 =∠3(相当于替换)
∴BD平行CE(对应角相等,两直线平行)
∴∠C =∠ABD(两条直线和水平,对应角相等)
∵∠C =∠D(已知)
∴∠ABD =∠e (相当于替代)
∴DF平行于AC(备用内角相等,两直线平行)
∴角A等于角F(两条直线和水平,内角相等)