证明如下：
三角形OAB中,EF分别是OA、AB中点,连接EF.
设向量OA为a,向量AB为b,则根据向量加法法则,
向量OB＝a＋b,
向量EF＝a／2＋b／2＝（a＋b）／2
所以EF＝1／2*OB,即向量EF‖向量OB,
且根据EF＝1／2*OB,两边取模,得／EF／＝1／2*／OB／
即向量EF的模等于向量OB的模的一半.