反射站：基本反射变换

GeoGebra 命令及参数

1. Polygon(A, B, C) → poly1, c, a, b
2. Segment(D, E) → d
3. Segment(F, G) → e
4. Segment(H, I) → f
5. Line(J, If[vert, x = 0, If[horiz, y = 0, If[diag, y = x, y = -x]]]) → g
6. Segment(K, L) → h
7. Mirror(A, g) → A'
8. Mirror(B, g) → B'
9. Mirror(C, g) → C'
10. Polygon(A', B', C') → poly1', c', a', b'
11. Segment(C, C') → i
12. Segment(A, A') → j
13. Segment(B', B) → k