求证三角形的三条高交于一点 向量