>>31
△ABCをxy平面上に、A(a,b)､B(0,0)､C(c,0)となる様に位置づけても一般性を失わない。すると、
ABの垂直二等分線L：y=-(a/b){x-(a/2)}+(b/2)
BCの垂直二等分線M：x=c/2
ACの垂直二等分線N：y={(c-a)/b}{x-(a+c)/2}+(b/2)
LとMの交点と、NとMの交点は共に(c/2,(a^2+b^2-ac)/2b)で一致する。