Perpendicular Bisector Theorem (Advanced)
Loading the math board and drawing, please wait…
This example demonstrates the dynamic geometric properties of the perpendicular bisector theorem through interactive operations, visually showing that points on the perpendicular bisector of a segment are equidistant from the segment's endpoints. Core mathematical concepts include perpendicular bisectors, distance formulas, and dynamic geometry. Construction highlights involve GeoGebra commands like Segment, Midpoint, LineBisector, Circle, Intersect, CircleSector, Dilate, Rotate, Point, and Angle. Suitable for high school mathematics instruction to enhance understanding and application of the theorem.
GeoGebra Commands & Parameters
Segment(A, B) → fMidpoint(f) → C_1LineBisector(f) → pCircle(C_1, (0.1 * f)) → cIntersect(c, f, 2) → DIntersect(c, p, 2) → ECircleSector(C_1, D, E) → dDilate(A, If[0 < a ≤ 1, 1 - a, 0], C_1) → A'Segment(A, A') → hDilate(C_1, If[1 < a ≤ 2, 2 - a, 0], B) → C'Segment(C_1, C') → iRotate(A, If[2 < a ≤ 3, ((-(a - 2)) * π), (-π)], C_1) → A'_1Rotate(A', If[2 < a ≤ 3, ((a - 2) * π), π], C_1) → A''Segment(A'_1, A'') → h'Rotate(d, If[3 < a ≤ 4, ((a - 3) * π / 2), π / 2], C_1) → d'Point(p) → CDilate(A, If[4 < a ≤ 5, 5 - a, 0], C) → A'_2Segment(A, A'_2) → gDilate(B, If[5 < a ≤ 6, 6 - a, 0], C) → B'Segment(B, B') → jAngle(A, C, B) → αRotate(A, If[6 < a ≤ 7, ((a - 6) * α), α], C) → A'_3Rotate(A'_2, If[6 < a ≤ 7, ((a - 6) * α), α], C) → GSegment(A'_3, G) → g'