设BC中点为G,连接EG、FG.
由中位线的性质,EG=1/2*AB ,FG=1/2*CD ,
在三角形EFG中,EF所以 EF<1/2*(AB+CD) .