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.
Details

- PerpendicularBisector gives an InfiniteLine object.
- The pi in PerpendicularBisector[{p1,p2}] can be lists of coordinates or explicit Point objects.
- PerpendicularBisector[Line[{p1,p2}]] is equivalent to PerpendicularBisector[{p1,p2}].
- PerpendicularBisector gives the line that divides the line segment into two equal segments and that intersects the segment at right angles.
- PerpendicularBisector only works in 2D.
- PerpendicularBisector can be used with symbolic points in GeometricScene.

Examples
open allclose allProperties & Relations (2)
The PerpendicularBisector is perpendicular to the line segment and passes through the Midpoint:
TriangleConstruct[{a,b,c},"PerpendicularBisector"] is equivalent to PerpendicularBisector[{a,c}]:
Possible Issues (1)
PerpendicularBisector only works in 2D:
Text
Wolfram Research (2019), PerpendicularBisector, Wolfram Language function, https://reference.wolfram.com/language/ref/PerpendicularBisector.html.
CMS
Wolfram Language. 2019. "PerpendicularBisector." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/PerpendicularBisector.html.
APA
Wolfram Language. (2019). PerpendicularBisector. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/PerpendicularBisector.html