三角形外心垂心合一 求证为正三角形