OAOB=OBOC=OCOA 求证O为△ABC垂心 以上均为向量 详细