对称轴与几何作图：通过镜像变换探索图形性质

GeoGebra 命令及参数

1. Line(H, G) → i
2. Segment(B, A) → a
3. Circle(A, B) → c
4. Circle(B, A) → d
5. Midpoint(B, A) → C
6. Intersect(d, c, 1) → D
7. Midpoint(D, C) → E
8. Polygon(D, B, E, A) → P, d_1, b, e, a_1
9. Mirror(D, i) → D'
10. Mirror(B, i) → B'
11. Mirror(E, i) → E'
12. Mirror(A, i) → A'
13. Polygon(D', B', E', A') → P', d', b', e', a'
14. Segment(E - (g * (D - E)), E + (g * (D - E))) → f