Perpendicular Bisector Theorem (Part 2)
Loading the math board and drawing, please wait…
This example demonstrates a more scaffolded version of the Perpendicular Bisector Theorem. It involves the properties of circles and geometric construction. Using GeoGebra commands such as Segment, LineBisector, Circle, Intersect, etc., the core concept of the theorem is clearly illustrated. Suitable for students at the junior high school level and above to learn about geometric construction and properties of circles.
GeoGebra Commands & Parameters
Segment(A, B) → fLineBisector(f) → pPoint(p) → CMidpoint(f) → C_1Circle(C_1, (0.1 * f)) → cIntersect(c, f, 2) → DIntersect(c, p, 2) → EDilate(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'Dilate(A, If[0 < e ≤ 1, 1 - e, 0], C) → A'_2Segment(A, A'_2) → gDilate(B, If[1 < e ≤ 2, 2 - e, 0], C) → B'Segment(B, B') → jAngle(A, C, B) → αRotate(A, If[2 < e ≤ 3, ((e - 2) * α), α], C) → A'_3Rotate(A'_2, If[2 < e ≤ 3, ((e - 2) * α), α], C) → GSegment(A'_3, G) → g'Angle(C, C_1, A) → β