过E作EG⊥AC于G,∵E是AD中点,则AG＝AC／4,连FG
∴FG²＝5／8
∵⊿ADC⊥⊿ABC
∴EG⊥FG
∵正方形ABCD的边长为1,则AC＝√2
在RT⊿EFG中
EG＝√2／4
∴EF²＝EG²＋FG²＝3／4
∴EF＝√3／2