向量三点共线定理证明过程整理