三角形的几个心向量形式的证明求证 :1. O是垂心,即三边高的交点:tanAOA+tanBOB+stanCOC=02.若