Definition:Perpendicular Bisector

From ProofWiki
Jump to navigation Jump to search

Definition

Let $AB$ be a line segment.

The perpendicular bisector of $AB$ is the straight line which:

is perpendicular to $AB$
passes through the point which bisects $AB$.


PerpendicularBisector.png


Also known as

The perpendicular bisector of a line segment is also known as its mediator.


Also see



It follows from the parallel postulate that, in Euclidean geometry, the perpendicular bisector for any given line segment is unique.

  • Results about perpendicular bisectors can be found here.


Sources