空间四边形OABC各边及对角线长都是1D,E是边OA,BC的中点求证DE是OA和BC的公垂线段