rmula_4为三边的中点，formula_5、formula_6、formula_7为垂足，formula_8、formula_9、formula_10为和顶点到垂心的三条线段的中点。
性质证明.九点圆的半径是外接圆的一半，且九点圆平分垂心与外接圆上的任一点的连线。formula_35