证明:∵ ▲ ,
∴∠CDA=90°,∠DAB=90° ( ▲ ).
∴∠1+∠3=90°,∠2+∠4=90°.
又∵∠1=∠2,
∴ ▲ ( ▲ ),
∴DF∥AE ( ▲ ).
如图,点E在 上,点F在 上, , .求证:AB CD.
证明: (已知), ( ),
▲ (等量代换),
▲ 同位角相等,两直线平行 ,
C( ).
又 (已知),
( ),
( ).
如图,已知:CD平分∠ACB, 、 ,求证:EF平分∠DEB.
证明:∵CD平分∠ACB(已知),
∴∠DCA= ( ).
∵ (已知),
∴∠DCA= .
∴ (等量代换),
∵ ( )
∴ =∠CDE( ),
( ),
∴ = (等量代换).
∴EF平分∠DEB( )