在矩形ABCD中,AE平分∠DAB交DC于点E,连接BE,过E作EF⊥BE交AD于F

1：∠DEF＝180-∠FEB-∠CEB=（90-∠CEB）
∠CBE=90-∠CEB
2：CB=DE（角平分线到两分垂直线相等）
三角型DEF全等BEC
EB=EF