Properties of Perpendicular Bisectors