Perpendicular Lines and Perpendicular Bisector