Multiple proofs showing that a point is on a perpendicular bisector of a segment if and only if it is equidistant from the endpoints. Using this to establish the circumcenter, circumradius, and circumcircle for a triangle.