Equation of a perpendicular bisector