在正四面体ABCD中 用向量知识 证明AB⊥CD