形的顶点，设另外一个交点为formula_1，并连接formula_1与中间三角形的另外两个顶点，因为formula_1在两圆上，所以formula_4因为中间正三角形的顶点在圆心上，且formula_5、formula_6、formula_7是外正三角形外接圆交点的连线，所以formula_8⊥formula_9、formula_10⊥formula_11、formula_12⊥formula_13因为formula_14，formula_15，所以formula_16，所以formula_17，