取AC的中点G,连接EG、FG,
∵E是AB的中点,F是CD的中点,
∴EG//BC且EG=1/2BC,FG//AD且FG=1/2AD,
∴EF≤EG+FG=1/2(AD+BC).