三角形垂心是三边中垂线的焦点还是高的交点?