Perpendicular Bisector and Its Construction