在五面体ABCDEF中,点O是矩形ABCD的对角线的交点,棱EF//BC,EF=1/2BC,求证FO//平面CDE