EF=5从D点分作做DM⊥BC,DN⊥AB△DNE≌△DMF所以NE=MF即AE-AN=MC-FC，即4-AN=MC-3由于AN=MC=1/2AB=1/2BC则NE=MF=1/2则BF=4，BE=3，则在Rt△EBF中，EF=5
EF=5
