Segment Bisectors and the Perpendicular Bisector Theorem