追踪纸反射变换

GeoGebra 命令及参数

1. Line(A, B) → a
2. Polygon(C, D, E, F, G, H) → poly1, c, d, e, f, g, h
3. OrthogonalLine(E, a) → b
4. OrthogonalLine(F, a) → i
5. OrthogonalLine(G, a) → k
6. OrthogonalLine(D, a) → l
7. OrthogonalLine(H, a) → m_1
8. OrthogonalLine(C, a) → n
9. Intersect(a, b) → I
10. Intersect(a, i) → J
11. Intersect(a, l) → K
12. Intersect(a, m_1) → L
13. Intersect(a, n) → M
14. Intersect(a, k) → N
15. Mean({x(I), x(J), x(K), x(L), x(M), x(N)}) → xm
16. Mean({y(I), y(J), y(K), y(L), y(M), y(N)}) → ym
17. OrthogonalLine(O, a) → j
18. OrthogonalLine(P, a) → p
19. OrthogonalLine(P, p) → q
20. OrthogonalLine(O, j) → r
21. Intersect(q, j) → Q
22. Intersect(p, r) → R
23. Polygon(P, Q, O, R) → poly2, p_1, q_1, o_1, r_1
24. Mirror(R, O) → R'
25. Mirror(R', O) → R''
26. Mirror(O, R'') → O'
27. OrthogonalLine(R', r) → a_1
28. OrthogonalLine(O', r) → b_1
29. Intersect(a, a_1) → S
30. Intersect(a, b_1) → T
31. Circle(T, O) → c_1
32. Circle(T, Q) → d_1
33. Circle(S, R'') → e_1
34. Circle(S, P) → f_1
35. Mirror(Q, a) → Q'
36. Mirror(Q', a) → Q''
37. Mirror(Q'', a) → Q'''
38. Mirror(P, a) → P'
39. Mirror(O, a) → O'_1
40. Mirror(R, a) → R'_1
41. Segment(Q'', Q''') → g_1
42. Segment(P, P') → h_1
43. Segment(O, O'_1) → i_1
44. Segment(R, R'_1) → j_1
45. Dilate(Q', m, Q) → Q''_1
46. Dilate(O'_1, m, O) → U
47. Dilate(P', m, P) → P''
48. Dilate(R'_1, m, R) → V
49. Line(P'', Q''_1) → k_1
50. Line(V, U) → l_1
51. Intersect(f_1, k_1) → A_1, B_1
52. Intersect(g_1, a) → G_1
53. Intersect(h_1, a) → H_1
54. Mirror(e_1, h_1) → s_1
55. Mirror(c_1, g_1) → t_1
56. Point(k_1) → C_1
57. Line(A_1, H_1) → a_2
58. Intersect(a_2, l_1) → E_1
59. Intersect(d_1, k_1) → W, Z
60. Line(Z, G_1) → n_1
61. Intersect(n_1, l_1) → D_1
62. Polygon(A_1, Z, D_1, E_1) → poly3, a_3, z, d_2, e_2
63. Line(Z, D_1) → b_2
64. Line(A_1, E_1) → c_2
65. Intersect(b_2, c_2) → F_1
66. Line(F_1, a) → f_2
67. OrthogonalLine(MeanP, a) → g_2
68. Intersect(g_2, f_2) → I_1
69. OrthogonalLine(D, g_2) → j_2
70. OrthogonalLine(C, g_2) → k_2
71. OrthogonalLine(G, g_2) → l_2
72. OrthogonalLine(H, g_2) → m_2
73. OrthogonalLine(E, g_2) → n_2
74. OrthogonalLine(F, g_2) → p_2
75. Line(I_1, N) → d_3
76. Line(I_1, J) → e_3
77. Line(I_1, K) → f_3
78. Line(I_1, I) → g_3
79. Line(I_1, L) → h_3
80. Line(I_1, M) → i_3
81. OrthogonalLine(D_1, a) → j_3
82. OrthogonalLine(Z, a) → k_3
83. Intersect(k_3, a) → V_1
84. Intersect(j_3, a) → W_1
85. Line(I_1, W_1) → l_3
86. Line(I_1, V_1) → m_3
87. Intersect(l_3, r) → Z_1
88. Intersect(q, m_3) → A_2
89. Intersect(r, j_3) → J_1
90. Intersect(k_3, q) → K_1
91. Line(K_1, J_1) → h_2
92. Intersect(h_2, j_2) → L_1
93. Intersect(r, n_2) → M_1
94. Intersect(h_2, n_2) → N_1
95. Intersect(h_2, p_2) → O_1
96. Intersect(h_2, l_2) → P_1
97. Intersect(h_2, k_2) → Q_1
98. Intersect(h_2, m_2) → R_1
99. OrthogonalLine(L_1, a) → i_2
100. OrthogonalLine(N_1, a) → q_2
101. OrthogonalLine(O_1, a) → r_2
102. OrthogonalLine(P_1, a) → s_2
103. OrthogonalLine(Q_1, a) → t_2
104. OrthogonalLine(R_1, a) → b_3
105. Intersect(b_3, n_1) → S_1
106. Intersect(t_2, n_1) → T_1
107. Intersect(s_2, n_1) → U_1
108. Intersect(r_2, n_1) → B_2
109. Intersect(q_2, n_1) → C_2
110. Intersect(i_2, n_1) → D_2
111. Line(D_2, l_1) → c_3
112. Line(C_2, l_1) → n_3
113. Line(B_2, l_1) → p_3
114. Line(U_1, l_1) → q_3
115. Line(T_1, l_1) → r_3
116. Line(S_1, l_1) → s_3
117. Intersect(f_3, c_3) → E_2
118. Intersect(g_3, n_3) → F_2
119. Intersect(d_3, q_3) → G_2
120. Intersect(p_3, e_3) → H_2
121. Intersect(h_3, s_3) → I_2
122. Intersect(r_3, i_3) → J_2
123. Polygon(J_2, E_2, F_2, H_2, G_2, I_2) → poly4, j_4, e_4, f_4, h_4, g_4, i_4
124. Mirror(C, a) → C'
125. Mirror(D, a) → D'
126. Mirror(E, a) → E'
127. Mirror(F, a) → F'
128. Mirror(G, a) → G'
129. Mirror(H, a) → H'
130. Polygon(C', D', E', F', G', H') → poly1', c', d', e', f', g', h'
131. Segment(P, R) → t_3
132. Segment(Q, O) → a_4
133. Intersect(a_4, a) → L_2
134. Intersect(t_3, a) → M_2
135. Segment(L_2, M_2) → b_4
136. Midpoint(b_4) → K_2