.
"The circumcenter is the center of a triangle's circumcircle. It can be found as the intersection of the perpendicular bisectors."
From http://mathworld.wolfram.com/Circumcenter.html
The proof by "rothauserc" seems to be strange and incorrect, starting from the first line.