反射探索

GeoGebra 命令及参数

1. Polygon(A, B, C, D, E) → poly1, a, b, c, d, e
2. Line(F, G) → f
3. Mirror(A, f) → A'
4. Mirror(B, f) → B'
5. Mirror(C, f) → C'
6. Mirror(D, f) → D'
7. Mirror(E, f) → E'
8. Polygon(A', B', C', D', E') → poly1', a', b', c', d', e'
9. Point(xAxis) → H
10. Point(xAxis) → I
11. Line(H, I) → j
12. Mirror(A, j) → A'_1
13. Mirror(B, j) → B'_1
14. Mirror(C, j) → C'_1
15. Mirror(D, j) → D'_1
16. Mirror(E, j) → E'_1
17. Polygon(A'_1, B'_1, C'_1, D'_1, E'_1) → poly1'_1, a'_1, b'_1, c'_1, d'_1, e'_1