静点

GeoGebra 命令及参数

1. Point(Ray[A + (1, 0), A + (2, 0)]) → B
2. Rotate(B, 90°, A) → D
3. Point(Ray[A, C]) → E
4. Polygon(A, E, F, B) → poly1, a, e, f, b
5. Mirror(B, x = x(F)) → B'
6. Mirror(A, y = y(E)) → A'
7. Polygon(E, A', G, H) → poly4, e_1, a'_1, g, h
8. Mirror(E, Line[F, H]) → E'_1
9. Polygon(F, H, E'_1) → poly5, e'_1, f_1, h_1
10. Mirror(A', Line[F, H]) → A''
11. Mirror(A, Line[F, H]) → A'_1
12. Polygon(E'_1, A'', A'_1) → poly6, a'_2, e'_2, a''
13. Mirror(B, Line[F, H]) → B'_1
14. Polygon(B', F, B'_1) → poly7, b'_1, b'_2, f_2
15. Line(A, D) → i
16. Mirror(B, i) → B'_2
17. Mirror(B', i) → B''
18. Mirror(E, i) → E'
19. Mirror(F, i) → F'
20. Mirror(B'_1, i) → I
21. Mirror(H, i) → H'
22. Mirror(E'_1, i) → J
23. Mirror(A'', i) → A'''
24. Mirror(A'_1, i) → K
25. Polygon(H', G, A''', J) → poly2, h', g_1, a''', j
26. Polygon(J, K, I, F') → poly3, j_1, k, i_1, f'
27. Polygon(H', E', F') → poly8, f'_1, h'_1, e'
28. Polygon(A, E', A') → poly9, a', a_1, e'_3
29. Polygon(B'', F', B'_2) → poly10, b'_3, b'', f'_2
30. Sequence(Rotate[list1, ((i * 180))°, A], i, 1, 2) → list3
31. Sequence(Rotate[list2, ((i * 180))°, A], i, 1, 2) → list4
32. Rotate(u, 90°) → u'
33. Sequence(Sequence[Translate[list3, Vector[(i * u) + (j * u')]], i, 0, 2], j, 0, 2) → list5
34. Sequence(Sequence[Translate[list4, Vector[(i * u) + (j * u')]], i, 0, 2], j, 0, 2) → list6