向量证明o点分别是DE与AC点三等分的分点