如图，在等腰三角形ABC中，∠ABC=90°，D为AC边上中点，过D
点作DE⊥DF，交AB于E，交BC于F，若AE=4，FC=3，求EF长．