Perpendicular Bisector, Tangents, Circle Equation