13/01/15 00:03:19.26
>>344
三角形の3頂点をp:（A,B),q:（C,D),r:（E,F)とする。
pqの垂直二等分線の方程式は
(x-A)^2+(y-B)^2=(x-C)^2+(y-D)^2
であり、
qrの垂直二等分線の方程式は
(x-C)^2+(y-D)^2=(x-E)^2+(y-F)^2
である。
よってその交点の座標(X,Y)は
(X-A)^2+(Y-B)^2=(X-E)^2+(Y-F)^2
を満たす。
この式は、点(X,Y)が辺rpの垂直二等分線上にあることを示している。