用向量的知识证明三角形三条高线交与一点