如图,Rt△ABC中,∠C=90°,AC=BC,点D为AB的中点,AE=4,BF=3,且∠EDF=90°,求EF的长