Perpendicular Bisector of a Line Segment by Alexi

This GeoGebra example demonstrates the construction of the perpendicular bisector of a line segment and visually verifies its fundamental property: every point on the bisector is equidistant from the segment's endpoints. The core mathematical concepts involved include midpoint, perpendicularity, angle equality, and basic geometric construction. The construction uses GeoGebra commands such as Segment to define the line segment, Point to mark the midpoint, OrthogonalLine to draw the perpendicular line through the midpoint, and Angle to label and verify the right angles. Key objects include points C, D, line h, auxiliary lines f and g, and angles α and β. This resource is ideal for middle school geometry lessons or self-study, helping learners grasp the definition and properties of perpendicular bisectors, and can also support high school coordinate geometry by linking to distance formulas and line equations.