旋转变换与反射的组合

GeoGebra 命令及参数

1. Polygon(A, B, C, D) → poly1, a_1, b_1, c, d
2. Line(F, G) → e
3. Rotate(A, α, O) → A'
4. Rotate(B, α, O) → B'
5. Rotate(C, α, O) → C'
6. Rotate(D, α, O) → D'
7. Polygon(A', B', C', D') → poly1', a', b', c', d'
8. Mirror(A', e) → A''
9. Mirror(B', e) → B''
10. Mirror(C', e) → C''
11. Mirror(D', e) → D''
12. Polygon(A'', B'', C'', D'') → poly1'', a'', b'', c'', d''
13. OrthogonalLine(O, e) → f
14. Intersect(e, f) → E
15. Rotate(e, ((-α)) / 2, E) → e'
16. Mirror(A, e') → A'_1
17. Mirror(B, e') → B'_1
18. Mirror(C, e') → C'_1
19. Mirror(D, e') → D'_1
20. Polygon(A'_1, B'_1, C'_1, D'_1) → poly1'_1, a'_1, b'_1, c'_1, d'_1
21. Line(O, e) → a
22. Line(O, e') → b
23. Mirror(A, b) → A'_2
24. Mirror(B, b) → B'_2
25. Mirror(C, b) → C'_2
26. Mirror(D, b) → D'_2
27. Polygon(A'_2, B'_2, C'_2, D'_2) → poly1'_2, a'_2, b'_2, c'_2, d'_2
28. Mirror(O, e) → O'
29. Vector(O, O') → v
30. OrthogonalLine(O, e') → i
31. Intersect(e', i) → I
32. OrthogonalLine(O', e') → j
33. Intersect(e', j) → J
34. Vector(I, J) → u
35. Segment(O, I) → h
36. Segment(O', J) → k