两个旋转变换

GeoGebra 命令及参数

1. Polygon(C, D, E, F, G) → poly1, c, d, e, f, g
2. Rotate(C, α, A) → C'
3. Rotate(D, α, A) → D'
4. Rotate(E, α, A) → E'
5. Rotate(F, α, A) → F'
6. Rotate(G, α, A) → G'
7. Polygon(C', D', E', F', G') → poly1', c', d', e', f', g'
8. Rotate(C', β, B) → C''
9. Rotate(D', β, B) → D''
10. Rotate(E', β, B) → E''
11. Rotate(F', β, B) → F''
12. Rotate(G', β, B) → G''
13. Polygon(C'', D'', E'', F'', G'') → poly1'', c'', d'', e'', f'', g''
14. LineBisector(E'', E) → h
15. LineBisector(C, C'') → i
16. Intersect(i, h) → H
17. Angle(E, H, E'') → γ
18. Rotate(C, (t * γ), H) → C'_1
19. Rotate(D, (t * γ), H) → D'_1
20. Rotate(E, (t * γ), H) → E'_1
21. Rotate(F, (t * γ), H) → F'_1
22. Rotate(G, (t * γ), H) → G'_1
23. Polygon(C'_1, D'_1, E'_1, F'_1, G'_1) → poly1'_1, c'_1, d'_1, e'_1, f'_1, g'_1
24. Defined(H) → a
25. Translate(C, Vector[(t * Vector[E, E''])]) → C'_2
26. Translate(D, Vector[(t * Vector[E, E''])]) → D'_2
27. Translate(E, Vector[(t * Vector[E, E''])]) → E'_2
28. Translate(F, Vector[(t * Vector[E, E''])]) → F'_2
29. Translate(G, Vector[(t * Vector[E, E''])]) → G'_2
30. Polygon(C'_2, D'_2, E'_2, F'_2, G'_2) → poly1'_2, c'_2, d'_2, e'_2, f'_2, g'_2
31. CircleArc(A, C, C') → k
32. Vector(C, C'') → u
33. CircleArc(B, C', C'') → p
34. CircleArc(H, C, C'') → q
35. Angle(C, H, C'') → δ