已知:如图,Rt△ABC中,∠BAC=90°,D是AC上一点,∠ABD=∠C,直线EF过点D,与BA的延长线相交于F,且