正八边形的旋转对称性

GeoGebra 命令及参数

1. Polygon(A, B, 8) → poly1, f, D, E, F, G, H, g, h, i, j, k, l, m, C
2. Polygon(F, E, D, C, B, A, H, G) → poly2, f_1, e, d, c, b, a, h_1, g_1
3. Segment(H, D) → n
4. Segment(B, F) → p
5. Intersect(n, p) → I
6. Vector(J, K) → u
7. Vector(J, L) → v
8. Angle(K, J, L) → α
9. Rotate(F, α, I) → F'
10. Rotate(E, α, I) → E'
11. Rotate(D, α, I) → D'
12. Rotate(C, α, I) → C'
13. Rotate(B, α, I) → B'
14. Rotate(A, α, I) → A'
15. Rotate(H, α, I) → H'
16. Rotate(G, α, I) → G'
17. Polygon(F', E', D', C', B', A', H', G') → poly2', f', e', d', c', b', a', h', g'