如图,已知EF⊥AC于F,DB⊥AC于M,∠1=∠2,∠3=∠C.
求证:ABMN;
证明:∵ EF⊥AC,DB⊥AC,
( )
(同位角相等,两直线平行)
(已知)
(等量代换)
∴MNCD( )
▲ (两直线平行,同位角相等)
▲ (等量代换)
∴ABMN(内错角相等,两直线平行)