E,F分别是四边形ABCD 的边AD和BC的中点,
∴向量EF=EA+AB+BF
=DA/2+AB+BC/2
=(DA+2AB+BD+DC)/2
=(2AB+BA+DC)/2
=(1/2)(AB+DC).