如图,在等腰三角形ABC中,∠ABC=90°,D为AC边上中点……求EF长