积极 AI Logo 积极 AI

（10/3）多边形图案

（10/3）多边形图案
几何画板及绘图内容加载中，请稍等……
2019-12-31 16:26
多边形三角函数
①本范例演示了如何利用（10/3）多边形构建复杂的伊斯兰几何图案；②涉及的核心数学概念包括多边形构造、对称性、三角函数、几何变换、反射、棱镜和缩放；③作图要点提炼自构造摘要，使用了 Rotate（旋转）、Polygon（多边形）、Segment（线段）、Midpoint（中点）、Intersect（相交）、PolyLine（多段线）、Point（点）、Mirror（镜像）、Sequence（序列）、Centroid（质心）、Vector（向量）和 Translate（平移）等 GeoGebra 命令/对象；④适合高中及以上数学学习者，用于理解几何变换和复杂图案设计。

GeoGebra 命令及参数

  1. ConstructionStep() → stap
  2. Rotate(A, 36°) → B
  3. Polygon(A, B, 10) → veelhoek1, f, p, C, D, E, F, G, H, I, J, g, h, i, j, k, l, m, n
  4. Polygon(A, J, 5) → veelhoek2, q, r, s, t, a, K, L, M
  5. Polygon(B, A, 5) → veelhoek3, b, c, d, e, f_1, N, P, Q
  6. Polygon(C, B, 5) → veelhoek4, g_1, h_1, i_1, j_1, k_1, R, S, T
  7. Polygon(E, D, 5) → veelhoek6, r_1, s_1, t_1, a_1, b_1, Z, A_1, B_1
  8. Polygon(F, E, 5) → veelhoek7, c_1, d_1, e_1, f_2, g_2, C_1, D_1, E_1
  9. Polygon(G, F, 5) → veelhoek8, h_2, i_2, j_2, k_2, l_2, F_1, G_1, H_1
  10. Polygon(H, G, 5) → veelhoek9, m_2, n_2, p_2, q_2, r_2, I_1, J_1, K_1
  11. Polygon(J, I, 5) → veelhoek11, d_2, e_2, f_3, g_3, h_3, O_1, P_1, Q_1
  12. Polygon(D_1, B_1, 10) → veelhoek12, i_3, s_3, R_1, S_1, T_1, U_1, V_1, W_1, Z_1, A_2, j_3, k_3, l_3, m_3, n_3, p_3, q_3, r_3
  13. Polygon(J_1, H_1, 10) → veelhoek13, t_3, i_4, B_2, C_2, D_2, E_2, F_2, G_2, H_2, I_2, a_3, b_3, c_3, d_3, e_3, f_4, g_4, h_4
  14. Polygon(S_1, A_1, 5) → veelhoek14, j_4, k_4, l_4, m_4, n_4, J_2, K_2, L_2
  15. Polygon(T_1, S_1, 5) → veelhoek15, p_4, q_4, r_4, s_4, t_4, M_2, N_2, O_2
  16. Polygon(N_2, L_2, 10) → veelhoek16, a_4, j_5, P_2, Q_2, R_2, S_2, T_2, U_2, V_2, W_2, b_4, c_4, d_4, e_4, f_5, g_5, h_5, i_5
  17. Polygon(Q_2, T, 5) → veelhoek5, l_1, m_1, n_1, p_1, q_1, U, V, W
  18. Polygon(A_2, Z_1, 5) → veelhoek10, s_2, t_2, a_2, b_2, c_2, L_1, M_1, N_1
  19. Polygon(D_2, C_2, 5) → veelhoek17, k_5, l_5, m_5, n_5, p_5, Z_2, A_3, B_3
  20. Polygon(Z_1, W_1, 5) → veelhoek18, q_5, r_5, s_5, t_5, a_5, C_3, D_3, E_3
  21. Polygon(E_2, D_2, 5) → veelhoek19, b_5, c_5, d_5, e_5, f_6, F_3, G_3, H_3
  22. Polygon(J_1, I_2, 5) → veelhoek20, g_6, h_6, i_6, j_6, k_6, I_3, J_3, K_3
  23. Polygon(P_1, O_1, 5) → veelhoek21, l_6, m_6, n_6, p_6, q_6, L_3, M_3, N_3
  24. Polygon(K, P_1, 10) → veelhoek22, r_6, g_7, O_3, P_3, Q_3, R_3, S_3, T_3, U_3, V_3, s_6, t_6, a_6, b_6, c_6, d_6, e_6, f_7
  25. Polygon(V, S, 10) → veelhoek23, h_7, r_7, W_3, Z_3, A_4, B_4, C_4, D_4, E_4, F_4, i_7, j_7, k_7, l_7, m_7, n_7, p_7, q_7
  26. Polygon(S_2, R_2, 5) → veelhoek24, s_7, t_7, a_7, b_7, c_7, G_4, H_4, I_4
  27. Polygon(T_2, S_2, 5) → veelhoek25, d_7, e_7, f_8, g_8, h_8, J_4, K_4, L_4
  28. Polygon(N_2, W_2, 5) → veelhoek26, i_8, j_8, k_8, l_8, m_8, M_4, N_4, O_4
  29. Polygon(V_1, U_1, 5) → veelhoek27, n_8, p_8, q_8, r_8, s_8, P_4, Q_4, R_4
  30. Polygon(W_1, V_1, 5) → veelhoek28, t_8, a_8, b_8, c_8, d_8, S_4, T_4, U_4
  31. Polygon(B_3, M_1, 10) → veelhoek29, e_8, n_9, V_4, W_4, Z_4, A_5, B_5, C_5, D_5, E_5, f_9, g_9, h_9, i_9, j_9, k_9, l_9, m_9
  32. Polygon(F_2, E_2, 5) → veelhoek30, p_9, q_9, r_9, s_9, t_9, F_5, G_5, H_5
  33. Polygon(Q_4, P_4, 5) → veelhoek31, a_9, b_9, c_9, d_9, e_9, I_5, J_5, K_5
  34. Polygon(R_4, Q_4, 10) → veelhoek32, f_{10}, p_{10}, L_5, M_5, N_5, O_5, P_5, Q_5, R_5, S_5, g_{10}, h_{10}, i_{10}, j_{10}, k_{10}, l_{10}, m_{10}, n_{10}
  35. Polygon(U_3, T_3, 5) → veelhoek33, q_{10}, r_{10}, s_{10}, t_{10}, a_{10}, T_5, U_5, V_5
  36. Polygon(A_4, V_5, 5) → veelhoek34, b_{10}, c_{10}, d_{10}, e_{10}, f_{11}, W_5, Z_5, A_6
  37. Polygon(E_4, D_4, 5) → veelhoek35, g_{11}, h_{11}, i_{11}, j_{11}, k_{11}, B_6, C_6, D_6
  38. Polygon(D_5, C_5, 5) → veelhoek36, l_{11}, m_{11}, n_{11}, p_{11}, q_{11}, E_6, F_6, G_6
  39. Polygon(R_5, Q_5, 5) → veelhoek37, r_{11}, s_{11}, t_{11}, a_{11}, b_{11}, H_6, I_6, J_6
  40. Polygon(A_5, Z_4, 5) → veelhoek38, c_{11}, d_{11}, e_{11}, f_{12}, g_{12}, K_6, L_6, M_6
  41. Polygon(G_6, F_6, 5) → veelhoek39, h_{12}, i_{12}, j_{12}, k_{12}, l_{12}, N_6, O_6, P_6
  42. Segment(P_6, G_5) → m_{12}
  43. Segment(J_3, L_3) → n_{12}
  44. Polygon(T_3, S_3, 5) → veelhoek40, p_{12}, q_{12}, r_{12}, s_{12}, t_{12}, Q_6, R_6, S_6
  45. Polygon(S_3, R_3, 5) → veelhoek41, a_{12}, b_{12}, c_{12}, d_{12}, e_{12}, T_6, U_6, V_6
  46. Polygon(C_4, B_4, 5) → veelhoek42, f_{13}, g_{13}, h_{13}, i_{13}, j_{13}, W_6, Z_6, A_7
  47. Polygon(D_4, C_4, 5) → veelhoek43, k_{13}, l_{13}, m_{13}, n_{13}, p_{13}, B_7, C_7, D_7
  48. Polygon(D_6, C_6, 5) → veelhoek44, q_{13}, r_{13}, s_{13}, t_{13}, a_{13}, E_7, F_7, G_7
  49. Segment(K_4, G_7) → b_{13}
  50. Segment(I_5, N_4) → c_{13}
  51. Midpoint(l) → I_7
  52. Midpoint(m) → J_7
  53. Midpoint(n) → K_7
  54. Midpoint(p) → L_7
  55. Midpoint(f) → M_7
  56. Midpoint(g) → N_7
  57. Midpoint(h) → O_7
  58. Midpoint(i) → P_7
  59. Midpoint(j) → Q_7
  60. Midpoint(k) → H_7
  61. Segment(H_7, K_7) → d_{13}
  62. Segment(I_7, L_7) → e_{13}
  63. Segment(J_7, M_7) → f_{14}
  64. Segment(K_7, N_7) → g_{14}
  65. Segment(L_7, O_7) → h_{14}
  66. Segment(M_7, P_7) → i_{14}
  67. Segment(N_7, Q_7) → j_{14}
  68. Segment(O_7, H_7) → k_{14}
  69. Segment(P_7, I_7) → l_{14}
  70. Segment(Q_7, J_7) → m_{14}
  71. Intersect(l_{14}, m_{14}) → R_7
  72. Intersect(k_{14}, l_{14}) → S_7
  73. Intersect(j_{14}, k_{14}) → T_7
  74. Intersect(i_{14}, j_{14}) → U_7
  75. Intersect(h_{14}, i_{14}) → V_7
  76. Intersect(h_{14}, g_{14}) → W_7
  77. Intersect(f_{14}, g_{14}) → Z_7
  78. Intersect(e_{13}, f_{14}) → A_8
  79. Intersect(d_{13}, e_{13}) → B_8
  80. Intersect(d_{13}, m_{14}) → C_8
  81. Intersect(k_{14}, m_{14}) → D_8
  82. Intersect(e_{13}, m_{14}) → E_8
  83. Intersect(d_{13}, f_{14}) → F_8
  84. Intersect(e_{13}, g_{14}) → G_8
  85. Intersect(f_{14}, h_{14}) → H_8
  86. Intersect(g_{14}, i_{14}) → I_8
  87. Intersect(h_{14}, j_{14}) → J_8
  88. Intersect(i_{14}, k_{14}) → K_8
  89. Intersect(j_{14}, l_{14}) → L_8
  90. Intersect(d_{13}, l_{14}) → M_8
  91. PolyLine(D_8, R_7, H_8, W_7, I_8, V_7, J_8, U_7, K_8, T_7, L_8, S_7, M_8, D_8, C_8, E_8, B_8, F_8, A_8, G_8, Z_7) → sterbi
  92. Point(sterbi) → N_8
  93. Point(sterbi) → O_8
  94. Point(sterbi) → P_8
  95. Point(sterbi) → Q_8
  96. Point(sterbi) → R_8
  97. Point(sterbi) → S_8
  98. Point(sterbi) → T_8
  99. Point(sterbi) → U_8
  100. PolyLine(N_8, H_7, H_8, M_7, S_8, N_7, T_8, O_7, U_8, P_7, L_8, Q_7, O_8, N_8, I_7, P_8, J_7, Q_8, K_7, R_8, L_7) → sterbu
  101. Midpoint(g_2) → V_8
  102. Midpoint(f_2) → W_8
  103. Midpoint(e_1) → Z_8
  104. Midpoint(b_1) → A_9
  105. Segment(W_8, F) → q_{14}
  106. Segment(V_8, E) → r_{14}
  107. Point(sterbu) → B_9
  108. Segment(B_9, B_1) → s_{14}
  109. Segment(A_9, D_1) → t_{14}
  110. Segment(Z_8, E_1) → a_{14}
  111. Segment(D_1, V_8) → b_{14}
  112. Point(a_{14}) → C_9
  113. Segment(C_9, B_9) → c_{14}
  114. Point(q_{14}) → D_9
  115. Segment(D_9, A_9) → d_{14}
  116. Point(r_{14}) → E_9
  117. Segment(E_9, Z_8) → e_{14}
  118. Point(s_{14}) → F_9
  119. Segment(F_9, W_8) → f_{15}
  120. Intersect(r_{14}, c_{14}) → G_9
  121. Intersect(s_{14}, d_{14}) → H_9
  122. Intersect(t_{14}, e_{14}) → I_9
  123. Intersect(a_{14}, f_{15}) → J_9
  124. Intersect(q_{14}, b_{14}) → K_9
  125. Polygon(W_8, K_9, V_8, G_9, B_9, H_9, A_9, I_9, Z_8, J_9) → veelhoek45, w_8, m_{15}, g_{15}, v_8, h_{15}, i_{15}, j_{15}, k_{15}, l_{15}, z_8
  126. Mirror(W_8, yAxis) → L_9
  127. Mirror(K_9, yAxis) → M_9
  128. Mirror(V_8, yAxis) → N_9
  129. Mirror(G_9, yAxis) → O_9
  130. Mirror(B_9, yAxis) → P_9
  131. Mirror(H_9, yAxis) → Q_9
  132. Mirror(A_9, yAxis) → R_9
  133. Mirror(I_9, yAxis) → S_9
  134. Mirror(Z_8, yAxis) → T_9
  135. Mirror(J_9, yAxis) → U_9
  136. Polygon(L_9, M_9, N_9, O_9, P_9, Q_9, R_9, S_9, T_9, U_9) → veelhoek45', n_{15}, u_9, p_{15}, q_{15}, o_9, r_{15}, s_{15}, t_{15}, a_{15}, b_{15}
  137. Polygon(V_8, O_9, P_9, N_8, B_9, G_9) → veelhoek46, c_{15}, d_{15}, e_{15}, f_{16}, g_{16}, h_{16}
  138. Sequence(Polygon[Rotate[V_8, (nn * 36°)], Rotate[O_9, (nn * 36°)], Rotate[P_9, (nn * 36°)], Rotate[N_8, (nn * 36°)], Rotate[B_9, (nn * 36°)], Rotate[G_9, (nn * 36°)]], nn, 1, 10) → rooslijst
  139. Centroid(veelhoek16) → V_9
  140. Vector(O, V_9) → u
  141. Centroid(veelhoek12) → W_9
  142. Point(u) → Z_9
  143. Vector(Z_9, W_9) → v
  144. Centroid(veelhoek13) → A_{10}
  145. Vector(Z_9, A_{10}) → w
  146. Centroid(veelhoek29) → B_{10}
  147. Vector(Z_9, B_{10}) → uu
  148. Translate(D_8, u) → C_{10}
  149. Translate(R_7, u) → D_{10}
  150. Translate(M_8, u) → E_{10}
  151. Translate(C_8, u) → F_{10}
  152. Translate(E_8, u) → G_{10}
  153. Translate(B_8, u) → H_{10}
  154. Translate(F_8, u) → I_{10}
  155. Translate(A_8, u) → J_{10}
  156. Translate(G_8, u) → K_{10}
  157. Translate(Z_7, u) → L_{10}
  158. Translate(H_8, u) → M_{10}
  159. Translate(W_7, u) → N_{10}
  160. Translate(I_8, u) → O_{10}
  161. Translate(V_7, u) → P_{10}
  162. Translate(J_8, u) → Q_{10}
  163. Translate(U_7, u) → R_{10}
  164. Translate(K_8, u) → S_{10}
  165. Translate(T_7, u) → T_{10}
  166. Translate(L_8, u) → U_{10}
  167. Translate(S_7, u) → V_{10}
  168. Translate(D_8, u) → W_{10}
  169. PolyLine(C_{10}, D_{10}, M_{10}, N_{10}, O_{10}, P_{10}, Q_{10}, R_{10}, S_{10}, T_{10}, U_{10}, V_{10}, E_{10}, W_{10}, F_{10}, G_{10}, H_{10}, I_{10}, J_{10}, K_{10}, L_{10}) → sterbi'
  170. Translate(N_8, u) → Z_{10}
  171. Translate(H_7, u) → A_{11}
  172. Translate(O_8, u) → B_{11}
  173. Translate(I_7, u) → C_{11}
  174. Translate(P_8, u) → D_{11}
  175. Translate(J_7, u) → E_{11}
  176. Translate(Q_8, u) → F_{11}
  177. Translate(K_7, u) → G_{11}
  178. Translate(R_8, u) → H_{11}
  179. Translate(L_7, u) → I_{11}
  180. Translate(H_8, u) → J_{11}
  181. Translate(M_7, u) → K_{11}
  182. Translate(S_8, u) → L_{11}
  183. Translate(N_7, u) → M_{11}
  184. Translate(T_8, u) → N_{11}
  185. Translate(O_7, u) → O_{11}
  186. Translate(U_8, u) → P_{11}
  187. Translate(P_7, u) → Q_{11}
  188. Translate(L_8, u) → R_{11}
  189. Translate(Q_7, u) → S_{11}
  190. Translate(N_8, u) → T_{11}
  191. PolyLine(Z_{10}, A_{11}, J_{11}, K_{11}, L_{11}, M_{11}, N_{11}, O_{11}, P_{11}, Q_{11}, R_{11}, S_{11}, B_{11}, T_{11}, C_{11}, D_{11}, E_{11}, F_{11}, G_{11}, H_{11}, I_{11}) → sterbu'
  192. Translate(rooslijst, u) → rooslijst'
  193. Translate(rooslijst, v) → rooslijst'_1
  194. Translate(V_8, Vector[D_8, Z]) → U_{11}
  195. Translate(O_9, Vector[D_8, Z]) → V_{11}
  196. Translate(G_9, Vector[D_8, Z]) → B_{12}
  197. Vector(D_9, Z) → u_1
  198. Translate(V_8, u_1) → W_{11}
  199. Translate(O_9, u_1) → Z_{11}
  200. Translate(P_9, u_1) → A_{12}
  201. Translate(N_8, u_1) → C_{12}
  202. Translate(B_9, u_1) → D_{12}
  203. Translate(G_9, u_1) → E_{12}
  204. Polygon(W_{11}, Z_{11}, A_{12}, C_{12}, D_{12}, E_{12}) → roos2, w_{11}, z_{11}, n_{14}, p_{14}, i_{16}, j_{16}
  205. Mirror(W_{11}, xAxis) → F_{12}
  206. Mirror(Z_{11}, xAxis) → G_{12}
  207. Mirror(A_{12}, xAxis) → H_{12}
  208. Mirror(C_{12}, xAxis) → I_{12}
  209. Mirror(D_{12}, xAxis) → J_{12}
  210. Mirror(E_{12}, xAxis) → K_{12}
  211. Polygon(F_{12}, G_{12}, H_{12}, I_{12}, J_{12}, K_{12}) → roos2', k_{16}, l_{16}, m_{16}, n_{16}, p_{16}, q_{16}
  212. Translate(rooslijst, w) → rooslijst'_2
  213. Translate(D_8, w) → L_{12}
  214. Translate(R_7, w) → M_{12}
  215. Translate(M_8, w) → N_{12}
  216. Translate(C_8, w) → O_{12}
  217. Translate(E_8, w) → P_{12}
  218. Translate(B_8, w) → Q_{12}
  219. Translate(F_8, w) → R_{12}
  220. Translate(A_8, w) → S_{12}
  221. Translate(G_8, w) → T_{12}
  222. Translate(Z_7, w) → U_{12}
  223. Translate(H_8, w) → V_{12}
  224. Translate(W_7, w) → W_{12}
  225. Translate(I_8, w) → Z_{12}
  226. Translate(V_7, w) → A_{13}
  227. Translate(J_8, w) → B_{13}
  228. Translate(U_7, w) → C_{13}
  229. Translate(K_8, w) → D_{13}
  230. Translate(T_7, w) → E_{13}
  231. Translate(L_8, w) → F_{13}
  232. Translate(S_7, w) → G_{13}
  233. Translate(D_8, w) → H_{13}
  234. PolyLine(L_{12}, M_{12}, V_{12}, W_{12}, Z_{12}, A_{13}, B_{13}, C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, N_{12}, H_{13}, O_{12}, P_{12}, Q_{12}, R_{12}, S_{12}, T_{12}, U_{12}) → sterbi'_1
  235. Translate(N_8, w) → I_{13}
  236. Translate(H_7, w) → J_{13}
  237. Translate(O_8, w) → K_{13}
  238. Translate(I_7, w) → L_{13}
  239. Translate(P_8, w) → M_{13}
  240. Translate(J_7, w) → N_{13}
  241. Translate(Q_8, w) → O_{13}
  242. Translate(K_7, w) → P_{13}
  243. Translate(R_8, w) → Q_{13}
  244. Translate(L_7, w) → R_{13}
  245. Translate(H_8, w) → S_{13}
  246. Translate(M_7, w) → T_{13}
  247. Translate(S_8, w) → U_{13}
  248. Translate(N_7, w) → V_{13}
  249. Translate(T_8, w) → W_{13}
  250. Translate(O_7, w) → Z_{13}
  251. Translate(U_8, w) → A_{14}
  252. Translate(P_7, w) → B_{14}
  253. Translate(L_8, w) → C_{14}
  254. Translate(Q_7, w) → D_{14}
  255. Translate(N_8, w) → E_{14}
  256. PolyLine(I_{13}, J_{13}, S_{13}, T_{13}, U_{13}, V_{13}, W_{13}, Z_{13}, A_{14}, B_{14}, C_{14}, D_{14}, K_{13}, E_{14}, L_{13}, M_{13}, N_{13}, O_{13}, P_{13}, Q_{13}, R_{13}) → sterbu'_1
  257. Translate(D_8, v) → F_{14}
  258. Translate(R_7, v) → G_{14}
  259. Translate(M_8, v) → H_{14}
  260. Translate(C_8, v) → I_{14}
  261. Translate(E_8, v) → J_{14}
  262. Translate(B_8, v) → K_{14}
  263. Translate(F_8, v) → L_{14}
  264. Translate(A_8, v) → M_{14}
  265. Translate(G_8, v) → N_{14}
  266. Translate(Z_7, v) → O_{14}
  267. Translate(H_8, v) → P_{14}
  268. Translate(W_7, v) → Q_{14}
  269. Translate(I_8, v) → R_{14}
  270. Translate(V_7, v) → S_{14}
  271. Translate(J_8, v) → T_{14}
  272. Translate(U_7, v) → U_{14}
  273. Translate(K_8, v) → V_{14}
  274. Translate(T_7, v) → W_{14}
  275. Translate(L_8, v) → Z_{14}
  276. Translate(S_7, v) → A_{15}
  277. Translate(D_8, v) → B_{15}
  278. PolyLine(F_{14}, G_{14}, P_{14}, Q_{14}, R_{14}, S_{14}, T_{14}, U_{14}, V_{14}, W_{14}, Z_{14}, A_{15}, H_{14}, B_{15}, I_{14}, J_{14}, K_{14}, L_{14}, M_{14}, N_{14}, O_{14}) → sterbi'_2
  279. Mirror(W_{11}, yAxis) → C_{15}
  280. Mirror(Z_{11}, yAxis) → D_{15}
  281. Mirror(A_{12}, yAxis) → E_{15}
  282. Mirror(C_{12}, yAxis) → F_{15}
  283. Mirror(D_{12}, yAxis) → G_{15}
  284. Mirror(E_{12}, yAxis) → H_{15}
  285. Polygon(C_{15}, D_{15}, E_{15}, F_{15}, G_{15}, H_{15}) → roos2'_1, r_{16}, s_{16}, t_{16}, a_{16}, b_{16}, c_{16}
  286. Mirror(Polygon[Mirror[W_{11}, yAxis], Mirror[Z_{11}, yAxis], Mirror[A_{12}, yAxis], Mirror[C_{12}, yAxis], Mirror[D_{12}, yAxis], Mirror[E_{12}, yAxis]], xAxis) → veelhoek47
  287. Translate(rooslijst, Vector[(-u)]) → rooslijst'_3
  288. Translate(D_8, Vector[(-u)]) → I_{15}
  289. Translate(R_7, Vector[(-u)]) → J_{15}
  290. Translate(M_8, Vector[(-u)]) → K_{15}
  291. Translate(C_8, Vector[(-u)]) → L_{15}
  292. Translate(E_8, Vector[(-u)]) → M_{15}
  293. Translate(B_8, Vector[(-u)]) → N_{15}
  294. Translate(F_8, Vector[(-u)]) → O_{15}
  295. Translate(A_8, Vector[(-u)]) → P_{15}
  296. Translate(G_8, Vector[(-u)]) → Q_{15}
  297. Translate(Z_7, Vector[(-u)]) → R_{15}
  298. Translate(H_8, Vector[(-u)]) → S_{15}
  299. Translate(W_7, Vector[(-u)]) → T_{15}
  300. Translate(I_8, Vector[(-u)]) → U_{15}
  301. Translate(V_7, Vector[(-u)]) → V_{15}
  302. Translate(J_8, Vector[(-u)]) → W_{15}
  303. Translate(U_7, Vector[(-u)]) → Z_{15}
  304. Translate(K_8, Vector[(-u)]) → A_{16}
  305. Translate(T_7, Vector[(-u)]) → B_{16}
  306. Translate(L_8, Vector[(-u)]) → C_{16}
  307. Translate(S_7, Vector[(-u)]) → D_{16}
  308. Translate(D_8, Vector[(-u)]) → E_{16}
  309. PolyLine(I_{15}, J_{15}, S_{15}, T_{15}, U_{15}, V_{15}, W_{15}, Z_{15}, A_{16}, B_{16}, C_{16}, D_{16}, K_{15}, E_{16}, L_{15}, M_{15}, N_{15}, O_{15}, P_{15}, Q_{15}, R_{15}) → sterbi'_3
  310. Translate(rooslijst, Vector[(-v)]) → rooslijst'_4
  311. Translate(rooslijst, Vector[(-w)]) → rooslijst'_5
  312. Translate(D_8, Vector[(-v)]) → F_{16}
  313. Translate(R_7, Vector[(-v)]) → G_{16}
  314. Translate(M_8, Vector[(-v)]) → H_{16}
  315. Translate(C_8, Vector[(-v)]) → I_{16}
  316. Translate(E_8, Vector[(-v)]) → J_{16}
  317. Translate(B_8, Vector[(-v)]) → K_{16}
  318. Translate(F_8, Vector[(-v)]) → L_{16}
  319. Translate(A_8, Vector[(-v)]) → M_{16}
  320. Translate(G_8, Vector[(-v)]) → N_{16}
  321. Translate(Z_7, Vector[(-v)]) → O_{16}
  322. Translate(H_8, Vector[(-v)]) → P_{16}
  323. Translate(W_7, Vector[(-v)]) → Q_{16}
  324. Translate(I_8, Vector[(-v)]) → R_{16}
  325. Translate(V_7, Vector[(-v)]) → S_{16}
  326. Translate(J_8, Vector[(-v)]) → T_{16}
  327. Translate(U_7, Vector[(-v)]) → U_{16}
  328. Translate(K_8, Vector[(-v)]) → V_{16}
  329. Translate(T_7, Vector[(-v)]) → W_{16}
  330. Translate(L_8, Vector[(-v)]) → Z_{16}
  331. Translate(S_7, Vector[(-v)]) → A_{17}
  332. Translate(D_8, Vector[(-v)]) → B_{17}
  333. PolyLine(F_{16}, G_{16}, P_{16}, Q_{16}, R_{16}, S_{16}, T_{16}, U_{16}, V_{16}, W_{16}, Z_{16}, A_{17}, H_{16}, B_{17}, I_{16}, J_{16}, K_{16}, L_{16}, M_{16}, N_{16}, O_{16}) → sterbi'_4
  334. Translate(D_8, Vector[(-w)]) → C_{17}
  335. Translate(R_7, Vector[(-w)]) → D_{17}
  336. Translate(M_8, Vector[(-w)]) → E_{17}
  337. Translate(C_8, Vector[(-w)]) → F_{17}
  338. Translate(E_8, Vector[(-w)]) → G_{17}
  339. Translate(B_8, Vector[(-w)]) → H_{17}
  340. Translate(F_8, Vector[(-w)]) → I_{17}
  341. Translate(A_8, Vector[(-w)]) → J_{17}
  342. Translate(G_8, Vector[(-w)]) → K_{17}
  343. Translate(Z_7, Vector[(-w)]) → L_{17}
  344. Translate(H_8, Vector[(-w)]) → M_{17}
  345. Translate(W_7, Vector[(-w)]) → N_{17}
  346. Translate(I_8, Vector[(-w)]) → O_{17}
  347. Translate(V_7, Vector[(-w)]) → P_{17}
  348. Translate(J_8, Vector[(-w)]) → Q_{17}
  349. Translate(U_7, Vector[(-w)]) → R_{17}
  350. Translate(K_8, Vector[(-w)]) → S_{17}
  351. Translate(T_7, Vector[(-w)]) → T_{17}
  352. Translate(L_8, Vector[(-w)]) → U_{17}
  353. Translate(S_7, Vector[(-w)]) → V_{17}
  354. Translate(D_8, Vector[(-w)]) → W_{17}
  355. PolyLine(C_{17}, D_{17}, M_{17}, N_{17}, O_{17}, P_{17}, Q_{17}, R_{17}, S_{17}, T_{17}, U_{17}, V_{17}, E_{17}, W_{17}, F_{17}, G_{17}, H_{17}, I_{17}, J_{17}, K_{17}, L_{17}) → sterbi'_5
  356. Mirror(M_9, xAxis) → Z_{17}
  357. Mirror(N_9, xAxis) → A_{18}
  358. Segment(Z_{17}, A_{18}) → d_{16}
  359. Mirror(L_9, xAxis) → B_{18}
  360. Mirror(M_9, xAxis) → C_{18}
  361. Segment(B_{18}, C_{18}) → e_{16}
  362. Mirror(W_8, xAxis) → D_{18}
  363. Mirror(K_9, xAxis) → E_{18}
  364. Segment(D_{18}, E_{18}) → f_{17}
  365. Mirror(K_9, xAxis) → F_{18}
  366. Mirror(V_8, xAxis) → G_{18}
  367. Segment(F_{18}, G_{18}) → g_{17}
  368. Mirror(V_8, N_9) → H_{18}
  369. Mirror(O_9, N_9) → I_{18}
  370. Mirror(P_9, N_9) → J_{18}
  371. Mirror(N_8, N_9) → K_{18}
  372. Mirror(B_9, N_9) → L_{18}
  373. Mirror(G_9, N_9) → M_{18}
  374. Polygon(H_{18}, I_{18}, J_{18}, K_{18}, L_{18}, M_{18}) → veelhoek46', h_{18}, i_{18}, j_{18}, k_{18}, l_{18}, m_{18}
  375. Mirror(H_{18}, xAxis) → N_{18}
  376. Mirror(I_{18}, xAxis) → O_{18}
  377. Mirror(J_{18}, xAxis) → P_{18}
  378. Mirror(K_{18}, xAxis) → Q_{18}
  379. Mirror(L_{18}, xAxis) → R_{18}
  380. Mirror(M_{18}, xAxis) → S_{18}
  381. Polygon(N_{18}, O_{18}, P_{18}, Q_{18}, R_{18}, S_{18}) → veelhoek46'', n_{18}, o_{18}, p_{18}, q_{18}, r_{18}, s_{18}