风筝 tessellation

风筝 tessellation
几何画板及绘图内容加载中,请稍等……
2016-05-06 19:43
①本范例演示了风筝形状的平面镶嵌图案;②涉及的核心数学概念包括多边形构造、对称变换、向量运算;③作图要点:使用 Segment, Mirror, Midpoint, Polygon, Vector, Translate 等命令和对象进行几何作图与变换;④适合高中数学教学,用于理解平面镶嵌和几何变换的应用。

GeoGebra 命令及参数

  1. Segment(A, B) → f
  2. Mirror(C, f) → C'
  3. Midpoint(C, A) → D
  4. Midpoint(A, C') → E
  5. Midpoint(C', B) → F
  6. Midpoint(B, C) → G
  7. Mirror(H, D) → H'
  8. Mirror(I, D) → I'
  9. Mirror(O, G) → O'
  10. Mirror(N, G) → N'
  11. Mirror(M, F) → M'
  12. Mirror(L, F) → L'
  13. Mirror(K, E) → K'
  14. Mirror(J, E) → J'
  15. Polygon(A, I, B, L', M', M, L, C', J', K', K, J, H, H', I', C, N, O, O', N') → poly1, a, n', b, l', m', m, l, c', j', k', k, i, j, h, h', i', c, n, o, o'
  16. Mirror(A, F) → A'
  17. Mirror(I, F) → I'_1
  18. Mirror(H, F) → H'_1
  19. Mirror(H', F) → H''
  20. Mirror(I', F) → I''
  21. Mirror(C, F) → C'_1
  22. Mirror(N, F) → N'_1
  23. Mirror(O, F) → O'_1
  24. Mirror(O', F) → O''
  25. Mirror(N', F) → N''
  26. Mirror(B, F) → B'
  27. Mirror(L', F) → L''
  28. Mirror(M', F) → M''
  29. Mirror(M, F) → M'_1
  30. Mirror(L, F) → L'_1
  31. Mirror(C', F) → C''
  32. Mirror(J', F) → J''
  33. Mirror(K', F) → K''
  34. Mirror(K, F) → K'_1
  35. Mirror(J, F) → J'_1
  36. Polygon(A', I'_1, B', L'', M'', M'_1, L'_1, C'', J'', K'', K'_1, J'_1, H'_1, H'', I'', C'_1, N'_1, O'_1, O'', N'') → poly1', a', n'', b', l'', m'', m'_1, l'_1, c'', j'', k'', k'_1, i'_1, j'_1, h'_1, h'', i'', c'_1, n'_1, o'_1, o''
  37. Mirror(A, G) → A'_1
  38. Mirror(I, G) → I'_2
  39. Mirror(H, G) → H'_2
  40. Mirror(H', G) → H''_1
  41. Mirror(I', G) → I''_1
  42. Mirror(C, G) → C'_2
  43. Mirror(N, G) → N'_2
  44. Mirror(O, G) → O'_2
  45. Mirror(O', G) → O''_1
  46. Mirror(N', G) → N''_1
  47. Mirror(B, G) → B'_1
  48. Mirror(L', G) → L''_1
  49. Mirror(M', G) → M''_1
  50. Mirror(M, G) → M'_2
  51. Mirror(L, G) → L'_2
  52. Mirror(C', G) → C''_1
  53. Mirror(J', G) → J''_1
  54. Mirror(K', G) → K''_1
  55. Mirror(K, G) → K'_2
  56. Mirror(J, G) → J'_2
  57. Polygon(A'_1, I'_2, B'_1, L''_1, M''_1, M'_2, L'_2, C''_1, J''_1, K''_1, K'_2, J'_2, H'_2, H''_1, I''_1, C'_2, N'_2, O'_2, O''_1, N''_1) → poly1'_1, a'_1, n''_1, b'_1, l''_1, m''_1, m'_2, l'_2, c''_1, j''_1, k''_1, k'_2, i'_2, j'_2, h'_2, h''_1, i''_1, c'_2, n'_2, o'_2, o''_1
  58. Mirror(A, E) → A'_2
  59. Mirror(I, E) → I'_3
  60. Mirror(H, E) → H'_3
  61. Mirror(H', E) → H''_2
  62. Mirror(I', E) → I''_2
  63. Mirror(C, E) → C'_3
  64. Mirror(N, E) → N'_3
  65. Mirror(O, E) → O'_3
  66. Mirror(O', E) → O''_2
  67. Mirror(N', E) → N''_2
  68. Mirror(B, E) → B'_2
  69. Mirror(L', E) → L''_2
  70. Mirror(M', E) → M''_2
  71. Mirror(M, E) → M'_3
  72. Mirror(L, E) → L'_3
  73. Mirror(C', E) → C''_2
  74. Mirror(J', E) → J''_2
  75. Mirror(K', E) → K''_2
  76. Mirror(K, E) → K'_3
  77. Mirror(J, E) → J'_3
  78. Polygon(A'_2, I'_3, B'_2, L''_2, M''_2, M'_3, L'_3, C''_2, J''_2, K''_2, K'_3, J'_3, H'_3, H''_2, I''_2, C'_3, N'_3, O'_3, O''_2, N''_2) → poly1'_2, a'_2, n''_2, b'_2, l''_2, m''_2, m'_3, l'_3, c''_2, j''_2, k''_2, k'_3, i'_3, j'_3, h'_3, h''_2, i''_2, c'_3, n'_3, o'_3, o''_2
  79. Mirror(A, D) → A'_3
  80. Mirror(I, D) → I'_4
  81. Mirror(H, D) → H'_4
  82. Mirror(H', D) → H''_3
  83. Mirror(I', D) → I''_3
  84. Mirror(C, D) → C'_4
  85. Mirror(N, D) → N'_4
  86. Mirror(O, D) → O'_4
  87. Mirror(O', D) → O''_3
  88. Mirror(N', D) → N''_3
  89. Mirror(B, D) → B'_3
  90. Mirror(L', D) → L''_3
  91. Mirror(M', D) → M''_3
  92. Mirror(M, D) → M'_4
  93. Mirror(L, D) → L'_4
  94. Mirror(C', D) → C''_3
  95. Mirror(J', D) → J''_3
  96. Mirror(K', D) → K''_3
  97. Mirror(K, D) → K'_4
  98. Mirror(J, D) → J'_4
  99. Polygon(A'_3, I'_4, B'_3, L''_3, M''_3, M'_4, L'_4, C''_3, J''_3, K''_3, K'_4, J'_4, H'_4, H''_3, I''_3, C'_4, N'_4, O'_4, O''_3, N''_3) → poly1'_3, a'_3, n''_3, b'_3, l''_3, m''_3, m'_4, l'_4, c''_3, j''_3, k''_3, k'_4, i'_4, j'_4, h'_4, h''_3, i''_3, c'_4, n'_4, o'_4, o''_3
  100. Mirror(A', G) → A''
  101. Mirror(I'_1, G) → P
  102. Mirror(H'_1, G) → Q
  103. Mirror(H'', G) → H'''
  104. Mirror(I'', G) → I'''
  105. Mirror(C'_1, G) → R
  106. Mirror(N'_1, G) → S
  107. Mirror(O'_1, G) → T
  108. Mirror(O'', G) → O'''
  109. Mirror(N'', G) → N'''
  110. Mirror(B', G) → B''
  111. Mirror(L'', G) → L'''
  112. Mirror(M'', G) → M'''
  113. Mirror(M'_1, G) → U
  114. Mirror(L'_1, G) → V
  115. Mirror(C'', G) → C'''
  116. Mirror(J'', G) → J'''
  117. Mirror(K'', G) → K'''
  118. Mirror(K'_1, G) → W
  119. Mirror(J'_1, G) → Z
  120. Polygon(A'', P, B'', L''', M''', U, V, C''', J''', K''', W, Z, Q, H''', I''', R, S, T, O''', N''') → poly1'', a'', n''', b'', l''', m''', u, v, c''', j''', k''', w, p, z_1, q, h''', i''', r, s, t, o'''
  121. Mirror(A'_1, F) → A_1
  122. Mirror(I'_2, F) → B_1
  123. Mirror(H'_2, F) → C_1
  124. Mirror(H''_1, F) → D_1
  125. Mirror(I''_1, F) → E_1
  126. Mirror(C'_2, F) → F_1
  127. Mirror(N'_2, F) → G_1
  128. Mirror(O'_2, F) → H_1
  129. Mirror(O''_1, F) → I_1
  130. Mirror(N''_1, F) → J_1
  131. Mirror(B'_1, F) → K_1
  132. Mirror(L''_1, F) → L_1
  133. Mirror(M''_1, F) → M_1
  134. Mirror(M'_2, F) → N_1
  135. Mirror(L'_2, F) → O_1
  136. Mirror(C''_1, F) → P_1
  137. Mirror(J''_1, F) → Q_1
  138. Mirror(K''_1, F) → R_1
  139. Mirror(K'_2, F) → S_1
  140. Mirror(J'_2, F) → T_1
  141. Polygon(A_1, B_1, K_1, L_1, M_1, N_1, O_1, P_1, Q_1, R_1, S_1, T_1, C_1, D_1, E_1, F_1, G_1, H_1, I_1, J_1) → poly2, a_1, j_1, k_1, l_1, m_1, n_1, o_1, p_1, q_1, r_1, s_1, b_1, t_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1
  142. Mirror(A_1, D) → U_1
  143. Mirror(B_1, D) → V_1
  144. Mirror(C_1, D) → W_1
  145. Mirror(D_1, D) → Z_1
  146. Mirror(E_1, D) → A_2
  147. Mirror(F_1, D) → B_2
  148. Mirror(G_1, D) → C_2
  149. Mirror(H_1, D) → D_2
  150. Mirror(I_1, D) → E_2
  151. Mirror(J_1, D) → F_2
  152. Mirror(K_1, D) → G_2
  153. Mirror(L_1, D) → H_2
  154. Mirror(M_1, D) → I_2
  155. Mirror(N_1, D) → J_2
  156. Mirror(O_1, D) → K_2
  157. Mirror(P_1, D) → L_2
  158. Mirror(Q_1, D) → M_2
  159. Mirror(R_1, D) → N_2
  160. Mirror(S_1, D) → O_2
  161. Mirror(T_1, D) → P_2
  162. Polygon(U_1, V_1, G_2, H_2, I_2, J_2, K_2, L_2, M_2, N_2, O_2, P_2, W_1, Z_1, A_2, B_2, C_2, D_2, E_2, F_2) → poly2', u_1, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, n_2, o_2, v_1, p_2, w_1, z_2, a_2, b_2, c_2, d_2, e_2
  163. Mirror(A'', E) → A'''
  164. Mirror(P, E) → P'
  165. Mirror(Q, E) → Q'
  166. Mirror(H''', E) → Q_2
  167. Mirror(I''', E) → R_2
  168. Mirror(R, E) → R'
  169. Mirror(S, E) → S'
  170. Mirror(T, E) → T'
  171. Mirror(O''', E) → S_2
  172. Mirror(N''', E) → T_2
  173. Mirror(B'', E) → B'''
  174. Mirror(L''', E) → U_2
  175. Mirror(M''', E) → V_2
  176. Mirror(U, E) → U'
  177. Mirror(V, E) → V'
  178. Mirror(C''', E) → W_2
  179. Mirror(J''', E) → Z_2
  180. Mirror(K''', E) → A_3
  181. Mirror(W, E) → W'
  182. Mirror(Z, E) → Z'
  183. Polygon(A''', P', B''', U_2, V_2, U', V', W_2, Z_2, A_3, W', Z', Q', Q_2, R_2, R', S', T', S_2, T_2) → poly1''', a''', t_2, b''', u_2, v_2, u', v', w_2, z_3, a_3, w', p', z', q', q_2, r_2, r', s', t', s_2
  184. Mirror(A'_1, E) → B_3
  185. Mirror(I'_2, E) → C_3
  186. Mirror(H'_2, E) → D_3
  187. Mirror(H''_1, E) → E_3
  188. Mirror(I''_1, E) → F_3
  189. Mirror(C'_2, E) → G_3
  190. Mirror(N'_2, E) → H_3
  191. Mirror(O'_2, E) → I_3
  192. Mirror(O''_1, E) → J_3
  193. Mirror(N''_1, E) → K_3
  194. Mirror(B'_1, E) → L_3
  195. Mirror(L''_1, E) → M_3
  196. Mirror(M''_1, E) → N_3
  197. Mirror(M'_2, E) → O_3
  198. Mirror(L'_2, E) → P_3
  199. Mirror(C''_1, E) → Q_3
  200. Mirror(J''_1, E) → R_3
  201. Mirror(K''_1, E) → S_3
  202. Mirror(K'_2, E) → T_3
  203. Mirror(J'_2, E) → U_3
  204. Polygon(B_3, C_3, L_3, M_3, N_3, O_3, P_3, Q_3, R_3, S_3, T_3, U_3, D_3, E_3, F_3, G_3, H_3, I_3, J_3, K_3) → poly3, b_3, k_3, l_3, m_3, n_3, o_3, p_3, q_3, r_3, s_3, t_3, c_3, u_3, d_3, e_3, f_3, g_3, h_3, i_3, j_3
  205. Mirror(A', D) → A''_1
  206. Mirror(I'_1, D) → V_3
  207. Mirror(H'_1, D) → W_3
  208. Mirror(H'', D) → H'''_1
  209. Mirror(I'', D) → I'''_1
  210. Mirror(C'_1, D) → Z_3
  211. Mirror(N'_1, D) → A_4
  212. Mirror(O'_1, D) → B_4
  213. Mirror(O'', D) → O'''_1
  214. Mirror(N'', D) → N'''_1
  215. Mirror(B', D) → B''_1
  216. Mirror(L'', D) → L'''_1
  217. Mirror(M'', D) → M'''_1
  218. Mirror(M'_1, D) → C_4
  219. Mirror(L'_1, D) → D_4
  220. Mirror(C'', D) → C'''_1
  221. Mirror(J'', D) → J'''_1
  222. Mirror(K'', D) → K'''_1
  223. Mirror(K'_1, D) → E_4
  224. Mirror(J'_1, D) → F_4
  225. Polygon(A''_1, V_3, B''_1, L'''_1, M'''_1, C_4, D_4, C'''_1, J'''_1, K'''_1, E_4, F_4, W_3, H'''_1, I'''_1, Z_3, A_4, B_4, O'''_1, N'''_1) → poly1''_1, a''_1, n'''_1, b''_1, l'''_1, m'''_1, c_4, d_4, c'''_1, j'''_1, k'''_1, e_4, v_3, f_4, w_3, h'''_1, i'''_1, z_4, a_4, b_4, o'''_1
  226. Vector(B, A) → d
  227. Translate(A, d) → A'_4
  228. Translate(I, d) → I'_5
  229. Translate(H, d) → H'_5
  230. Translate(H', d) → H''_4
  231. Translate(I', d) → I''_4
  232. Translate(C, d) → C'_5
  233. Translate(N, d) → N'_5
  234. Translate(O, d) → O'_5
  235. Translate(O', d) → O''_4
  236. Translate(N', d) → N''_4
  237. Translate(B, d) → B'_4
  238. Translate(L', d) → L''_4
  239. Translate(M', d) → M''_4
  240. Translate(M, d) → M'_5
  241. Translate(L, d) → L'_5
  242. Translate(C', d) → C''_4
  243. Translate(J', d) → J''_4
  244. Translate(K', d) → K''_4
  245. Translate(K, d) → K'_5
  246. Translate(J, d) → J'_5
  247. Polygon(A'_4, I'_5, B'_4, L''_4, M''_4, M'_5, L'_5, C''_4, J''_4, K''_4, K'_5, J'_5, H'_5, H''_4, I''_4, C'_5, N'_5, O'_5, O''_4, N''_4) → poly1'_4, a'_4, n''_4, b'_4, l''_4, m''_4, m'_5, l'_5, c''_4, j''_4, k''_4, k'_5, i'_5, j'_5, h'_5, h''_4, i''_4, c'_5, n'_5, o'_5, o''_4
  248. Vector(A, B) → e
  249. Translate(A, e) → A'_5
  250. Translate(I, e) → I'_6
  251. Translate(H, e) → H'_6
  252. Translate(H', e) → H''_5
  253. Translate(I', e) → I''_5
  254. Translate(C, e) → C'_6
  255. Translate(N, e) → N'_6
  256. Translate(O, e) → O'_6
  257. Translate(O', e) → O''_5
  258. Translate(N', e) → N''_5
  259. Translate(B, e) → B'_5
  260. Translate(L', e) → L''_5
  261. Translate(M', e) → M''_5
  262. Translate(M, e) → M'_6
  263. Translate(L, e) → L'_6
  264. Translate(C', e) → C''_5
  265. Translate(J', e) → J''_5
  266. Translate(K', e) → K''_5
  267. Translate(K, e) → K'_6
  268. Translate(J, e) → J'_6
  269. Polygon(A'_5, I'_6, B'_5, L''_5, M''_5, M'_6, L'_6, C''_5, J''_5, K''_5, K'_6, J'_6, H'_6, H''_5, I''_5, C'_6, N'_6, O'_6, O''_5, N''_5) → poly1'_5, a'_5, n''_5, b'_5, l''_5, m''_5, m'_6, l'_6, c''_5, j''_5, k''_5, k'_6, i'_6, j'_6, h'_6, h''_5, i''_5, c'_6, n'_6, o'_6, o''_5
  270. Mirror(A'_4, G) → G_4
  271. Mirror(I'_5, G) → H_4
  272. Mirror(H'_5, G) → I_4
  273. Mirror(H''_4, G) → J_4
  274. Mirror(I''_4, G) → K_4
  275. Mirror(C'_5, G) → L_4
  276. Mirror(N'_5, G) → M_4
  277. Mirror(O'_5, G) → N_4
  278. Mirror(O''_4, G) → O_4
  279. Mirror(N''_4, G) → P_4
  280. Mirror(B'_4, G) → Q_4
  281. Mirror(L''_4, G) → R_4
  282. Mirror(M''_4, G) → S_4
  283. Mirror(M'_5, G) → T_4
  284. Mirror(L'_5, G) → U_4
  285. Mirror(C''_4, G) → V_4
  286. Mirror(J''_4, G) → W_4
  287. Mirror(K''_4, G) → Z_4
  288. Mirror(K'_5, G) → A_5
  289. Mirror(J'_5, G) → B_5
  290. Polygon(G_4, H_4, Q_4, R_4, S_4, T_4, U_4, V_4, W_4, Z_4, A_5, B_5, I_4, J_4, K_4, L_4, M_4, N_4, O_4, P_4) → poly4, g_4, p_4, q_4, r_4, s_4, t_4, u_4, v_4, w_4, z_5, a_5, h_4, b_5, i_4, j_4, k_4, l_4, m_4, n_4, o_4
  291. Mirror(A'_2, G) → C_5
  292. Mirror(I'_3, G) → D_5
  293. Mirror(H'_3, G) → E_5
  294. Mirror(H''_2, G) → F_5
  295. Mirror(I''_2, G) → G_5
  296. Mirror(C'_3, G) → H_5
  297. Mirror(N'_3, G) → I_5
  298. Mirror(O'_3, G) → J_5
  299. Mirror(O''_2, G) → K_5
  300. Mirror(N''_2, G) → L_5
  301. Mirror(B'_2, G) → M_5
  302. Mirror(L''_2, G) → N_5
  303. Mirror(M''_2, G) → O_5
  304. Mirror(M'_3, G) → P_5
  305. Mirror(L'_3, G) → Q_5
  306. Mirror(C''_2, G) → R_5
  307. Mirror(J''_2, G) → S_5
  308. Mirror(K''_2, G) → T_5
  309. Mirror(K'_3, G) → U_5
  310. Mirror(J'_3, G) → V_5
  311. Polygon(C_5, D_5, M_5, N_5, O_5, P_5, Q_5, R_5, S_5, T_5, U_5, V_5, E_5, F_5, G_5, H_5, I_5, J_5, K_5, L_5) → poly5, c_5, l_5, m_5, n_5, o_5, p_5, q_5, r_5, s_5, t_5, u_5, d_5, v_5, e_5, f_5, g_5, h_5, i_5, j_5, k_5
  312. Mirror(A_1, G) → W_5
  313. Mirror(B_1, G) → Z_5
  314. Mirror(C_1, G) → A_6
  315. Mirror(D_1, G) → B_6
  316. Mirror(E_1, G) → C_6
  317. Mirror(F_1, G) → D_6
  318. Mirror(G_1, G) → E_6
  319. Mirror(H_1, G) → F_6
  320. Mirror(I_1, G) → G_6
  321. Mirror(J_1, G) → H_6
  322. Mirror(K_1, G) → I_6
  323. Mirror(L_1, G) → J_6
  324. Mirror(M_1, G) → K_6
  325. Mirror(N_1, G) → L_6
  326. Mirror(O_1, G) → M_6
  327. Mirror(P_1, G) → N_6
  328. Mirror(Q_1, G) → O_6
  329. Mirror(R_1, G) → P_6
  330. Mirror(S_1, G) → Q_6
  331. Mirror(T_1, G) → R_6
  332. Polygon(W_5, Z_5, I_6, J_6, K_6, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, A_6, B_6, C_6, D_6, E_6, F_6, G_6, H_6) → poly2'_1, w_5, h_6, i_6, j_6, k_6, l_6, m_6, n_6, o_6, p_6, q_6, z_6, r_6, a_6, b_6, c_6, d_6, e_6, f_6, g_6
  333. Mirror(A'_4, F) → S_6
  334. Mirror(I'_5, F) → T_6
  335. Mirror(H'_5, F) → U_6
  336. Mirror(H''_4, F) → V_6
  337. Mirror(I''_4, F) → W_6
  338. Mirror(C'_5, F) → Z_6
  339. Mirror(N'_5, F) → A_7
  340. Mirror(O'_5, F) → B_7
  341. Mirror(O''_4, F) → C_7
  342. Mirror(N''_4, F) → D_7
  343. Mirror(B'_4, F) → E_7
  344. Mirror(L''_4, F) → F_7
  345. Mirror(M''_4, F) → G_7
  346. Mirror(M'_5, F) → H_7
  347. Mirror(L'_5, F) → I_7
  348. Mirror(C''_4, F) → J_7
  349. Mirror(J''_4, F) → K_7
  350. Mirror(K''_4, F) → L_7
  351. Mirror(K'_5, F) → M_7
  352. Mirror(J'_5, F) → N_7
  353. Polygon(S_6, T_6, E_7, F_7, G_7, H_7, I_7, J_7, K_7, L_7, M_7, N_7, U_6, V_6, W_6, Z_6, A_7, B_7, C_7, D_7) → poly6, s_6, d_7, e_7, f_7, g_7, h_7, i_7, j_7, k_7, l_7, m_7, t_6, n_7, u_6, v_6, w_6, z_7, a_7, b_7, c_7
  354. Mirror(A'_3, F) → O_7
  355. Mirror(I'_4, F) → P_7
  356. Mirror(H'_4, F) → Q_7
  357. Mirror(H''_3, F) → R_7
  358. Mirror(I''_3, F) → S_7
  359. Mirror(C'_4, F) → T_7
  360. Mirror(N'_4, F) → U_7
  361. Mirror(O'_4, F) → V_7
  362. Mirror(O''_3, F) → W_7
  363. Mirror(N''_3, F) → Z_7
  364. Mirror(B'_3, F) → A_8
  365. Mirror(L''_3, F) → B_8
  366. Mirror(M''_3, F) → C_8
  367. Mirror(M'_4, F) → D_8
  368. Mirror(L'_4, F) → E_8
  369. Mirror(C''_3, F) → F_8
  370. Mirror(J''_3, F) → G_8
  371. Mirror(K''_3, F) → H_8
  372. Mirror(K'_4, F) → I_8
  373. Mirror(J'_4, F) → J_8
  374. Polygon(O_7, P_7, A_8, B_8, C_8, D_8, E_8, F_8, G_8, H_8, I_8, J_8, Q_7, R_7, S_7, T_7, U_7, V_7, W_7, Z_7) → poly7, o_7, z_8, a_8, b_8, c_8, d_8, e_8, f_8, g_8, h_8, i_8, p_7, j_8, q_7, r_7, s_7, t_7, u_7, v_7, w_7
  375. Mirror(A'', F) → A'''_1
  376. Mirror(P, F) → P'_1
  377. Mirror(Q, F) → Q'_1
  378. Mirror(H''', F) → K_8
  379. Mirror(I''', F) → L_8
  380. Mirror(R, F) → R'_1
  381. Mirror(S, F) → S'_1
  382. Mirror(T, F) → T'_1
  383. Mirror(O''', F) → M_8
  384. Mirror(N''', F) → N_8
  385. Mirror(B'', F) → B'''_1
  386. Mirror(L''', F) → O_8
  387. Mirror(M''', F) → P_8
  388. Mirror(U, F) → U'_1
  389. Mirror(V, F) → V'_1
  390. Mirror(C''', F) → Q_8
  391. Mirror(J''', F) → R_8
  392. Mirror(K''', F) → S_8
  393. Mirror(W, F) → W'_1
  394. Mirror(Z, F) → Z'_1
  395. Polygon(A'''_1, P'_1, B'''_1, O_8, P_8, U'_1, V'_1, Q_8, R_8, S_8, W'_1, Z'_1, Q'_1, K_8, L_8, R'_1, S'_1, T'_1, M_8, N_8) → poly1'''_1, a'''_1, n_8, b'''_1, o_8, p_8, u'_1, v'_1, q_8, r_8, s_8, w'_1, p'_1, z'_1, q'_1, k_8, l_8, r'_1, s'_1, t'_1, m_8
  396. Polygon(A, C, B, C') → poly8, a_9, c_9, b_9, c'_7