PerpendicularBisector

PerpendicularBisector[{p1,p2}] gives the perpendicular bisector of the line segment connecting p1 and p2.

PerpendicularBisector[Line[{p1,p2}]] gives the perpendicular bisector of a line segment.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.