[color=#999999]This activity belongs to the [i]GeoGebra book[/i] [url=https://www.geogebra.org/m/sw2cat9w]GeoGebra Principia[/url].[/color][br][br][br][color=#CC3300][b]The Field of Equidistant Perpendicular Bisectors from a Fixed Point and another Free Point on a Fixed Line[/b][/color][br][br]Let r be the line passing through the fixed points O and I. Let A be a point on r. We will call mA the perpendicular bisector of the segment OA.[br][br]Now, it's sufficient to extend all the operations already seen between two points A and B to the corresponding ones between perpendicular bisectors mA and mB.[br][br]If we align the coordinate origin with O and point (1, 0) with I, the point P corresponds to (p, 0), allowing us to represent the perpendicular bisector mP with the equation: x = p/2.

[color=#999999]Author of the construction of GeoGebra: [url=https://www.geogebra.org/u/rafael]Rafael Losada[/url].[/color]