积极 AI Logo 积极 AI

四层几何构造

四层几何构造
几何画板及绘图内容加载中，请稍等……
2020-04-30 17:08
多边形立体几何几何作图
该范例展示了四层几何构造，涉及圆、直线、多边形等基本几何元素。通过使用GeoGebra命令如Line、Rotate、Segment等，可以构造出复杂的几何图形。适合初中及以上学生或教师使用，用于几何作图和立体几何的教学。

GeoGebra 命令及参数

  1. Line(L, xAxis) → p
  2. Rotate(L, 22.5°, D) → L'
  3. Segment(D, L') → n
  4. Intersect(p, n) → Q
  5. Line(C, D_1) → as0
  6. Rotate(G_1, (-(90°)), as0) → I_1
  7. Polygon(D, C, 4) → veelhoek1, f, g, h, i, E, F
  8. Circle(E, I_1, xOyPlane) → c_6
  9. Mirror(L, Line[F, C]) → L'_1
  10. Mirror(Q, Line[F, C]) → Q'_1
  11. Line(G, E) → di1
  12. Mirror(Q'_1, di1) → J_3
  13. Mirror(C, di1) → C'
  14. Polygon(E, L'_1, J_3, C') → vierhoek3, e_5, d_4, f_5, g_5
  15. Intersect(e_5, c_6) → C_4,
  16. Point(yAxis) → A
  17. Point(yAxis) → B
  18. Polygon(A, C, D, B) → vierhoek1, a, c, d, b
  19. Mirror(veelhoek1, di1) → veelhoek1'
  20. Mirror(A, di1) → A'
  21. Mirror(D, di1) → D'
  22. Mirror(B, di1) → B'
  23. Polygon(A', C', D', B') → vierhoek1', a', c', d', b'
  24. Mirror(veelhoek1, yAxis) → veelhoek1'_1
  25. Mirror(A, yAxis) → A'_1
  26. Mirror(C, yAxis) → C'_1
  27. Mirror(D, yAxis) → D'_1
  28. Mirror(B, yAxis) → B'_1
  29. Polygon(A'_1, C'_1, D'_1, B'_1) → vierhoek1'_1, a'_1, c'_1, d'_1, b'_1
  30. Mirror(A', yAxis) → A''
  31. Mirror(C', yAxis) → C''
  32. Mirror(D', yAxis) → D''
  33. Mirror(B', yAxis) → B''
  34. Polygon(A'', C'', D'', B'') → vierhoek1'', a'', c'', d'', b''
  35. Mirror(veelhoek1', yAxis) → veelhoek1''
  36. Mirror(L, yAxis) → M
  37. Mirror(L, di1) → N
  38. Mirror(N, yAxis) → P
  39. Segment(D, L) → j
  40. Segment(L, B) → k
  41. Segment(B, M) → l
  42. Segment(M, D'_1) → m
  43. Mirror(Q, yAxis) → R
  44. Mirror(Q, di1) → S
  45. Mirror(S, yAxis) → T
  46. Segment(B', N) → q
  47. Segment(N, S) → r
  48. Segment(S, C') → s
  49. Segment(N, D') → t
  50. Segment(C, Q) → e
  51. Segment(Q, L) → f_1
  52. Mirror(Q, x = ((-v2)) / 2) → U
  53. Mirror(U, di1) → V
  54. Mirror(V, yAxis) → W
  55. Mirror(U, yAxis) → Z
  56. Segment(L, U) → g_1
  57. Segment(U, A) → h_1
  58. Segment(A, Z) → i_1
  59. Segment(Z, M) → j_1
  60. Segment(M, R) → k_1
  61. Segment(R, C'_1) → l_1
  62. Segment(C'', T) → m_1
  63. Segment(T, P) → n_1
  64. Segment(P, W) → p_1
  65. Segment(W, A'') → q_1
  66. Segment(P, B'') → r_1
  67. Segment(P, D'') → s_1
  68. Segment(A_1, F) → t_1
  69. Segment(B_1, D) → a_1
  70. Segment(A_1, B_1) → b_1
  71. Segment(C_1, E) → c_1
  72. Segment(C_1, A_1) → d_1
  73. Segment(C_1, D_1) → e_1
  74. Segment(D_1, B_1) → f_2
  75. CircleArc(E_1, F_1, H_1) → boog0
  76. Segment(G_1, H_1) → vertmidden0
  77. Segment(D_1, F_1) → vertklein0
  78. Rotate(boog0, (-(90°)), as0) → boog1
  79. Rotate(H_1, (-(90°)), as0) → J_1
  80. Segment(I_1, J_1) → vertmidden1
  81. Rotate(G_1, (-(45°)), Line[D, B_1]) → K_1
  82. Rotate(boog0, (-(45°)), Line[D, B_1]) → boog2
  83. Rotate(G_1, (-(45°)), Line[D, B_1]) → L_1
  84. Rotate(H_1, (-(45°)), Line[D, B_1]) → M_1
  85. Segment(L_1, M_1) → vertmidden2
  86. Rotate(D_1, (-(45°)), Line[D, B_1]) → N_1
  87. Rotate(F_1, (-(45°)), Line[D, B_1]) → O_1
  88. Segment(N_1, O_1) → vertklein0'
  89. Segment(N_1, B_1) → i_2
  90. Segment(N, V) → j_2
  91. Segment(V, A') → k_2
  92. Segment(N_1, P_1) → g_2
  93. Segment(O_1, Q_1) → h_2
  94. Segment(P_1, D_1) → l_2
  95. Segment(Q_1, F_1) → m_2
  96. Plane(L, L + (0, 0, 1), L + (0, 1, 0)) → vlakL
  97. Mirror(N_1, vlakL) → R_1
  98. Mirror(B_1, vlakL) → S_1
  99. Segment(R_1, S_1) → n_2
  100. Mirror(boog2, vlakL) → boog3
  101. Mirror(L_1, vlakL) → T_1
  102. Mirror(M_1, vlakL) → U_1
  103. Segment(T_1, U_1) → vertmidden3
  104. Segment(S_1, B_1) → p_2
  105. Mirror(B_1, vlakL) → V_1
  106. Mirror(D, vlakL) → D'_2
  107. Segment(V_1, D'_2) → q_2
  108. Segment(P_1, Q_1) → vertklein1
  109. Polygon(A, B, D'_1, C'_1, R, M, Z) → veelhoek2, a_2, b_2, r_2, s_2, r_3, m_3, z_1
  110. Polygon(D, B, A, U, Q, C) → veelhoek3, d_2, b_3, a_3, u, q_3, c_2
  111. Mirror(D, di1) → D'_3
  112. Mirror(B, di1) → B'_2
  113. Mirror(A, di1) → A'_2
  114. Mirror(U, di1) → U'
  115. Mirror(Q, di1) → Q'
  116. Mirror(C, di1) → C'_2
  117. Polygon(D'_3, B'_2, A'_2, U', Q', C'_2) → veelhoek3', d'_3, b'_2, a'_2, u', q', c'_2
  118. Polygon(C'', D'', B'', A'', W, T) → veelhoek4, t_2, e_2, f_3, g_3, w, t_3
  119. Plane(B, A, S_1) → vlakB
  120. Mirror(boog3, vlakB) → boog3'
  121. Mirror(T_1, vlakB) → W_1
  122. Mirror(U_1, vlakB) → Z_1
  123. Segment(W_1, Z_1) → vertmidden3'
  124. Mirror(R_1, vlakB) → A_2
  125. Mirror(S_1, vlakB) → B_2
  126. Segment(A_2, B_2) → h_3
  127. Mirror(N_1, vlakB) → C_2
  128. Mirror(O_1, vlakB) → D_2
  129. Segment(C_2, D_2) → vertklein0''
  130. Rotate(boog3, (-(45°)), Line[B, B_2]) → boog3'_1
  131. Rotate(T_1, (-(45°)), Line[B, B_2]) → E_2
  132. Rotate(U_1, (-(45°)), Line[B, B_2]) → F_2
  133. Segment(E_2, F_2) → vertmidden3'_1
  134. Rotate(N_1, (-(45°)), Line[B, B_2]) → G_2
  135. Rotate(O_1, (-(45°)), Line[B, B_2]) → H_2
  136. Segment(G_2, H_2) → vertklein0''_1
  137. Segment(H_2, I_2) → i_3
  138. Segment(I_2, O_1) → j_3
  139. Segment(G_2, J_2) → k_3
  140. Segment(J_2, N_1) → l_3
  141. Segment(J_2, I_2) → n_3
  142. Segment(G_2, B_2) → p_3
  143. Mirror(G_2, vlakB) → K_2
  144. Mirror(J_2, vlakB) → L_2
  145. Segment(K_2, L_2) → s_3
  146. Mirror(H_2, vlakB) → M_2
  147. Mirror(I_2, vlakB) → N_2
  148. Segment(M_2, N_2) → c_3
  149. Mirror(J_2, vlakB) → O_2
  150. Mirror(I_2, vlakB) → P_2
  151. Segment(O_2, P_2) → d_3
  152. Segment(A_2, L_2) → e_3
  153. Segment(D_2, N_2) → f_4
  154. Segment(Q_2, D'_1) → g_4
  155. Segment(Q_2, B_2) → h_4
  156. Segment(Q_2, A_2) → i_4
  157. Mirror(boog2, vlakB) → boog2'
  158. Mirror(L_1, vlakB) → R_2
  159. Mirror(M_1, vlakB) → S_2
  160. Segment(R_2, S_2) → vertmidden2'
  161. Segment(T_2, Q_2) → j_4
  162. Mirror(P_1, vlakB) → U_2
  163. Mirror(Q_1, vlakB) → V_2
  164. Segment(T_2, U_2) → k_4
  165. Segment(U_2, A_2) → l_4
  166. Segment(T_2, W_2) → m_4
  167. Segment(W_2, V_2) → n_4
  168. Segment(V_2, D_2) → p_4
  169. Segment(U_2, V_2) → q_4
  170. Mirror(boog0, vlakB) → boog0'
  171. Mirror(G_1, vlakB) → Z_2
  172. Mirror(H_1, vlakB) → A_3
  173. Segment(Z_2, A_3) → vertmidden0'
  174. Segment(B_3, Q_2) → r_4
  175. Segment(B_3, C_3) → s_4
  176. Segment(C_3, T_2) → t_4
  177. Segment(B_3, K) → a_4
  178. Segment(C_3, J) → b_4
  179. Mirror(boog1, vlakB) → boog1'
  180. Mirror(I_1, vlakB) → D_3
  181. Mirror(J_1, vlakB) → E_3
  182. Segment(D_3, E_3) → vertmidden1'
  183. Plane(E, G, C_1) → vlakE
  184. Mirror(I_1, vlakE) → F_3
  185. Mirror(J_1, vlakE) → G_3
  186. Segment(F_3, G_3) → vertmidden1'_1
  187. Mirror(boog1, vlakE) → boog1'_1
  188. Mirror(D_1, vlakE) → H_3
  189. Mirror(F_1, vlakE) → I_3
  190. Segment(H_3, I_3) → vertklein0'_1
  191. Segment(C_1, H_3) → c_4
  192. Polygon(E, C, Q'_1, L'_1) → vierhoek2, e_4, c_5, q'_1, l'_1
  193. Mirror(E, yAxis) → E'
  194. Mirror(C, yAxis) → C'_3
  195. Mirror(Q'_1, yAxis) → K_3
  196. Mirror(L'_1, yAxis) → L_3
  197. Polygon(E', C'_3, K_3, L_3) → vierhoek2', e', c'_3, h_5, i_5
  198. Mirror(E, yAxis) → E'_1
  199. Mirror(L'_1, yAxis) → M_3
  200. Mirror(J_3, yAxis) → N_3
  201. Mirror(C', yAxis) → C''_1
  202. Polygon(E'_1, M_3, N_3, C''_1) → vierhoek3', e'_1, j_5, k_5, c''_1
  203. Segment(C_1, O_3) → l_5
  204. Segment(O_3, P_3) → m_5
  205. Segment(P_3, H_3) → n_5
  206. Segment(P_3, D') → p_5
  207. Segment(O_3, H) → q_5
  208. Segment(Q_3, R_3) → vertklein2
  209. Segment(D_1, S_3) → r_5
  210. Segment(F_1, T_3) → s_5
  211. Segment(S_3, Q_3) → t_5
  212. Segment(T_3, R_3) → a_5
  213. Segment(S_3, T_3) → b_5
  214. Segment(Q_3, V_3) → d_5
  215. Segment(V_3, H_3) → f_6
  216. Segment(R_3, U_3) → g_6
  217. Segment(U_3, I_3) → h_6
  218. Segment(Q_3, C_1) → i_6
  219. Segment(V_3, U_3) → j_6
  220. Intersect(l'_1, e_5) → A_4
  221. Intersect(l'_1, e_5) → B_4
  222. CircleArc(E_4, W_3, R_3) → d_6
  223. Segment(C_4, W_3) → k_6
  224. Segment(T_2, G_4) → l_6
  225. Segment(G_4, I_4) → m_6
  226. Segment(I_4, J_4) → n_6
  227. Segment(J_4, M_4) → p_6
  228. Segment(M_4, L_4) → q_6
  229. Segment(L_4, K_4) → r_6
  230. Segment(K_4, H_4) → s_6
  231. Segment(H_4, F_4) → t_6
  232. Segment(F_4, W_2) → a_6
  233. Segment(G_4, F_4) → b_6
  234. Segment(I_4, H_4) → e_6
  235. Segment(J_4, K_4) → f_7
  236. Segment(M_4, C_3) → g_7
  237. Segment(I_4, C_3) → h_7
  238. Mirror(d_6, vlakB) → c_7
  239. Mirror(d_6, vlakB) → d_7
  240. Mirror(boog1'_1, vlakB) → e_7
  241. Mirror(F_3, vlakB) → N_4
  242. Mirror(G_3, vlakB) → O_4
  243. Segment(N_4, O_4) → i_7
  244. Mirror(C_4, vlakB) → P_4
  245. Mirror(W_3, vlakB) → Q_4
  246. Segment(P_4, Q_4) → j_7
  247. Mirror(P_3, vlakB) → R_4
  248. Mirror(D', vlakB) → D''_1
  249. Segment(R_4, D''_1) → k_7
  250. Segment(R_4, M_4) → l_7
  251. Mirror(O_3, vlakB) → S_4
  252. Mirror(H, vlakB) → H'
  253. Segment(S_4, H') → m_7
  254. Segment(S_4, C_3) → n_7
  255. Segment(S_4, R_4) → p_7
  256. Rotate(e_7, 90°, Line[C'', L_4]) → q_7
  257. Rotate(N_4, 90°, Line[C'', L_4]) → T_4
  258. Rotate(O_4, 90°, Line[C'', L_4]) → U_4
  259. Segment(T_4, U_4) → r_7
  260. Mirror(q_7, vlakB) → s_7
  261. Mirror(T_4, vlakB) → V_4
  262. Mirror(U_4, vlakB) → W_4
  263. Segment(V_4, W_4) → t_7
  264. Plane(C'', H', S_4) → vlakCH
  265. Mirror(d_7, vlakCH) → c_8
  266. Mirror(P_4, vlakCH) → Z_4
  267. Mirror(Q_4, vlakCH) → A_5
  268. Segment(Z_4, A_5) → a_7
  269. Mirror(J_4, vlakCH) → B_5
  270. Mirror(K_4, vlakCH) → C_5
  271. Mirror(I_4, vlakCH) → D_5
  272. Mirror(H_4, vlakCH) → E_5
  273. Segment(D_5, B_5) → b_7
  274. Segment(B_5, M_4) → f_8
  275. Segment(E_5, C_5) → g_8
  276. Segment(C_5, L_4) → h_8
  277. Segment(B_5, C_5) → i_8
  278. Segment(D_5, E_5) → j_8
  279. Mirror(s_7, vlakB) → d_8
  280. Mirror(c_8, vlakB) → e_8
  281. Mirror(E_5, vlakB) → F_5
  282. Mirror(D_5, vlakB) → G_5
  283. Mirror(B_5, vlakB) → H_5
  284. Mirror(C_5, vlakB) → I_5
  285. Segment(H_3, H_5) → k_8
  286. Segment(H_5, G_5) → l_8
  287. Segment(I_3, I_5) → m_8
  288. Segment(I_5, F_5) → n_8
  289. Segment(G_5, F_5) → p_8
  290. Segment(P_3, G_5) → q_8
  291. Segment(P_3, K_5) → r_8
  292. Segment(K_5, J_5) → s_8
  293. Segment(J_5, A') → t_8
  294. Segment(K_5, B') → a_8
  295. Segment(M_5, R_4) → b_8
  296. Segment(M_5, B'') → f_9
  297. Segment(M_5, N_5) → g_9
  298. Segment(N_5, A'') → h_9
  299. Segment(N_5, Q_5) → i_9
  300. Segment(Q_5, D_5) → j_9
  301. Segment(O_5, P_5) → k_9
  302. Segment(P_5, E_5) → l_9
  303. Segment(Q_5, P_5) → m_9
  304. Segment(G_5, L_5) → n_9
  305. Segment(L_5, J_5) → p_9
  306. Segment(F_5, R_5) → q_9
  307. Segment(R_5, S_5) → r_9
  308. Segment(H_5, I_5) → s_9
  309. Segment(L_5, R_5) → t_9
  310. Midpoint(d'') → T_5
  311. Midpoint(b_8) → U_5
  312. Plane(P, T_5, U_5) → vlakP
  313. Mirror(c_8, vlakP) → c_9
  314. Mirror(Z_4, vlakP) → V_5
  315. Mirror(A_5, vlakP) → W_5
  316. Segment(V_5, W_5) → a_9
  317. Mirror(d_8, vlakP) → d_9
  318. Mirror(T_4, vlakP) → Z_5
  319. Mirror(U_4, vlakP) → A_6
  320. Segment(Z_5, A_6) → b_9
  321. Mirror(Z_4, vlakB) → B_6
  322. Mirror(A_5, vlakB) → C_6
  323. Segment(B_6, C_6) → e_9
  324. Mirror(c_9, vlakB) → c_{10}
  325. Mirror(Z_5, vlakB) → D_6
  326. Mirror(A_6, vlakB) → E_6
  327. Segment(D_6, E_6) → f_{10}
  328. Mirror(V_5, vlakB) → F_6
  329. Mirror(W_5, vlakB) → G_6
  330. Segment(F_6, G_6) → g_{10}
  331. PolyLine(B', H, E, F, K, J, I, B'') → h_{10}
  332. Segment(N_5, A'' + (0, 0, 1.8)) → k_{11}
  333. Segment(J_5, A' + (0, 0, 1.8)) → l_{11}
  334. Mirror(d_9, vlakB) → d_{10}
  335. Midpoint(B', B'') → H_6
  336. Line(H_6, H_6 + (0, 0, 1)) → rot
  337. Vector(B', A') → v
  338. Vector(B', N) → u_1
  339. Vector(D', N) → v_1
  340. Vector(D', C') → w_1
  341. Vector(E, C') → u_2
  342. Vector(E, L'_1) → v_2
  343. Vector(E, C) → w_2
  344. Vector(D, C) → u_3
  345. Vector(D, L) → v_3
  346. Vector(B, L) → w_3
  347. Vector(B, M) → u_4
  348. Vector(B, A) → v_4
  349. Vector(D'_1, M) → w_4
  350. Vector(D'_1, C'_1) → u_5
  351. Vector(J, C'_1) → v_5
  352. Vector(J, C'') → w_5
  353. Vector(D'', C'') → u_6
  354. Vector(D'', P) → v_6
  355. Vector(B'', P) → w_6
  356. Vector(H, D') → u_7
  357. Vector(H, E) → v_7
  358. Vector(F, E) → w_7
  359. Vector(F, D) → u_8
  360. Vector(K, D'_1) → v_8
  361. Vector(K, J) → w_8
  362. Vector(I, J) → u_9
  363. Vector(I, D'') → v_9
  364. Segment(B', D') → i_{10}
  365. Segment(B'', D'') → j_{10}
  366. Segment(D, B) → k_{10}
  367. Segment(B, D'_1) → l_{10}
  368. CircleArc(N_6, O_6, L_6) → boog4
  369. Segment(M_6, G_5) → onder2
  370. Segment(M_6, O_6) → vertmidden4
  371. Segment(P_6, G_5) → vert4
  372. Segment(P_6, K_6) → boven4
  373. Segment(K_6, L_6) → vertklein4
  374. Segment(R_6, J_5) → vert5
  375. Segment(Q_6, L_5) → vert6
  376. Segment(Q_6, P_6) → achter1
  377. Segment(R_6, Q_6) → achter2
  378. Segment(R_6, K_6) → boven5
  379. Line(K_6, L_6) → asKL
  380. Rotate(boog4, 45°, asKL) → boog4'
  381. Rotate(M_6, 45°, asKL) → S_6
  382. Rotate(O_6, 45°, asKL) → T_6
  383. Segment(S_6, T_6) → vertmidden4'
  384. Rotate(M_6, 45°, asKL) → U_6
  385. Rotate(G_5, 45°, asKL) → V_6
  386. Segment(U_6, V_6) → onder2'
  387. Polygon(I_6, A', V, N) → vierhoek4, m_{10}, n_{10}, v_{10}, n_{11}
  388. Sequence(Polygon[Rotate[I_6, (nn * 45°), rot], Rotate[A', (nn * 45°), rot], Rotate[V, (nn * 45°), rot], Rotate[N, (nn * 45°), rot]], nn, 1, 3) → l1
  389. Polygon(I_6, N, S, C') → vierhoek5, p_{10}, n_{12}, s_{10}, q_{10}
  390. Sequence(Polygon[Rotate[I_6, (nn * 45°), rot], Rotate[N, (nn * 45°), rot], Rotate[S, (nn * 45°), rot], Rotate[C', (nn * 45°), rot]], nn, 1, 3) → l2
  391. Polygon(I_6, C', J_3, L'_1) → vierhoek6, r_{10}, t_{10}, a_{10}, b_{10}
  392. Sequence(Polygon[Rotate[I_6, (nn * 45°), rot], Rotate[C', (nn * 45°), rot], Rotate[J_3, (nn * 45°), rot], Rotate[L'_1, (nn * 45°), rot]], nn, 1, 3) → l3
  393. Rotate(L'_1, 22.5°, I_6) → W_6
  394. Rotate(I_6, 22.5°, I_6) → Z_6
  395. Segment(W_6, Z_6) → e_{10}
  396. Rotate(I_6, 45°, H_6) → A_7
  397. Rotate(L'_1, (-(22.5°)), A_7) → B_7
  398. Segment(B_7, A_7) → f_{11}
  399. Intersect(e_{10}, f_{11}) → C_7
  400. Polygon(I_6, L'_1, A_7, C_7) → vierhoek7, g_{11}, h_{11}, i_{11}, j_{11}
  401. Sequence(Polygon[Rotate[I_6, (nn * 45°), rot], Rotate[L'_1, (nn * 45°), rot], Rotate[A_7, (nn * 45°), rot], Rotate[C_7, (nn * 45°), rot]], nn, 1, 2) → l4
  402. Sequence(Segment[Rotate[P_6, (nn * 45°), rot], Rotate[K_6, (nn * 45°), rot]], nn, 1, 3) → l5
  403. Sequence(Segment[Rotate[R_6, (nn * 45°), rot], Rotate[K_6, (nn * 45°), rot]], nn, 1, 3) → l6
  404. Sequence(Segment[Rotate[Q_6, (nn * 45°), rot], Rotate[P_6, (nn * 45°), rot]], nn, 1, 3) → l7
  405. Sequence(Segment[Rotate[R_6, (nn * 45°), rot], Rotate[Q_6, (nn * 45°), rot]], nn, 1, 3) → l8
  406. Sequence(Segment[Rotate[R_6, (nn * 45°), rot], Rotate[J_5, (nn * 45°), rot]], nn, 1, 3) → l9
  407. Sequence(Segment[Rotate[K_6, (nn * 45°), rot], Rotate[L_6, (nn * 45°), rot]], nn, 1, 3) → l10
  408. Sequence(Rotate[boog4', (nn * 45°), rot], nn, 1, 3) → l11
  409. Sequence(Rotate[boog4, (nn * 45°), rot], nn, 1, 3) → l12
  410. Sequence(Segment[Rotate[Q_6, (nn * 45°), rot], Rotate[L_5, (nn * 45°), rot]], nn, 1, 3) → l13
  411. Sequence(Segment[Rotate[P_6, (nn * 45°), rot], Rotate[G_5, (nn * 45°), rot]], nn, 1, 3) → l14
  412. Sequence(Segment[Rotate[M_6, (nn * 45°), rot], Rotate[O_6, (nn * 45°), rot]], nn, 1, 3) → l15
  413. Sequence(Segment[Rotate[S_6, (nn * 45°), rot], Rotate[T_6, (nn * 45°), rot]], nn, 1, 3) → l16
  414. Sequence(Segment[Rotate[U_6, (nn * 45°), rot], Rotate[V_6, (nn * 45°), rot]], nn, 1, 3) → l17
  415. Sequence(Segment[Rotate[M_6, (nn * 45°), rot], Rotate[G_5, (nn * 45°), rot]], nn, 1, 3) → l18
  416. Line(I_6, K_6) → rotboven
  417. Rotate(P_6, 45°, rotboven) → D_7
  418. Rotate(K_6, 45°, rotboven) → E_7
  419. Rotate(P_6, 45°, rotboven) → F_7
  420. Rotate(K_6, 45°, rotboven) → G_7
  421. Rotate(P_6, 45°, rotboven) → H_7
  422. Rotate(K_6, 45°, rotboven) → I_7
  423. Segment(H_7, I_7) → boven6
  424. Rotate(P_6, 90°, rotboven) → J_7
  425. Rotate(K_6, 90°, rotboven) → K_7
  426. Segment(J_7, K_7) → boven7
  427. Rotate(Q_6, 45°, rotboven) → L_7
  428. Rotate(P_6, 45°, rotboven) → M_7
  429. Segment(L_7, M_7) → achter6
  430. Rotate(R_6, 45°, rotboven) → N_7
  431. Rotate(Q_6, 45°, rotboven) → O_7
  432. Segment(N_7, O_7) → achter7
  433. Rotate(Q_6, 90°, rotboven) → P_7
  434. Rotate(P_6, 90°, rotboven) → Q_7
  435. Segment(P_7, Q_7) → achter8
  436. Rotate(R_6, 90°, rotboven) → R_7
  437. Rotate(Q_6, 90°, rotboven) → S_7
  438. Segment(R_7, S_7) → achter9
  439. Rotate(boog4, 45°, rotboven) → boog5
  440. Rotate(boog4, 90°, rotboven) → boog6
  441. Rotate(M_6, 45°, rotboven) → T_7
  442. Rotate(O_6, 45°, rotboven) → U_7
  443. Segment(T_7, U_7) → vertmidden5
  444. Rotate(M_6, 90°, rotboven) → V_7
  445. Rotate(O_6, 90°, rotboven) → W_7
  446. Segment(V_7, W_7) → vertmidden6
  447. Rotate(P_6, 45°, rotboven) → Z_7
  448. Rotate(G_5, 45°, rotboven) → A_8
  449. Segment(Z_7, A_8) → vert7
  450. Rotate(Q_6, 45°, rotboven) → B_8
  451. Rotate(L_5, 45°, rotboven) → C_8
  452. Segment(B_8, C_8) → vert8
  453. Rotate(Q_6, 90°, rotboven) → D_8
  454. Rotate(L_5, 90°, rotboven) → E_8
  455. Segment(D_8, E_8) → vert9
  456. Sequence(Segment[Rotate[L_7, (nn * 45°), rot], Rotate[M_7, (nn * 45°), rot]], nn, 1, 3) → l19
  457. Sequence(Segment[Rotate[N_7, (nn * 45°), rot], Rotate[O_7, (nn * 45°), rot]], nn, 1, 3) → l20
  458. Sequence(Segment[Rotate[P_7, (nn * 45°), rot], Rotate[Q_7, (nn * 45°), rot]], nn, 1, 3) → l21
  459. Sequence(Segment[Rotate[R_7, (nn * 45°), rot], Rotate[S_7, (nn * 45°), rot]], nn, 1, 3) → l22
  460. Sequence(Segment[Rotate[H_7, (nn * 45°), rot], Rotate[I_7, (nn * 45°), rot]], nn, 1, 3) → l23
  461. Sequence(Segment[Rotate[J_7, (nn * 45°), rot], Rotate[K_7, (nn * 45°), rot]], nn, 1, 3) → l24
  462. Sequence(Rotate[boog5, (nn * 45°), rot], nn, 1, 3) → l25
  463. Sequence(Rotate[boog6, (nn * 45°), rot], nn, 1, 3) → l26
  464. Sequence(Segment[Rotate[T_7, (nn * 45°), rot], Rotate[U_7, (nn * 45°), rot]], nn, 1, 3) → l27
  465. Sequence(Segment[Rotate[V_7, (nn * 45°), rot], Rotate[W_7, (nn * 45°), rot]], nn, 1, 3) → l28
  466. Sequence(Segment[Rotate[Z_7, (nn * 45°), rot], Rotate[A_8, (nn * 45°), rot]], nn, 1, 3) → l29
  467. Sequence(Segment[Rotate[B_8, (nn * 45°), rot], Rotate[C_8, (nn * 45°), rot]], nn, 1, 3) → l30
  468. Sequence(Segment[Rotate[D_8, (nn * 45°), rot], Rotate[E_8, (nn * 45°), rot]], nn, 1, 3) → l31
  469. Sequence(Segment[Rotate[M_6, (nn * 45°), rot], Rotate[G_5, (nn * 45°), rot]], nn, 1, 3) → l32
  470. Sequence(Segment[Rotate[U_6, (nn * 45°), rot], Rotate[V_6, (nn * 45°), rot]], nn, 1, 3) → l33
  471. Sequence(Segment[Rotate[M_6, (nn * 45°), rot], Rotate[G_5, (nn * 45°), rot]], nn, 1, 3) → l34
  472. Segment(T_7, H_3) → onder4
  473. Sequence(Segment[Rotate[T_7, (nn * 45°), rot], Rotate[H_3, (nn * 45°), rot]], nn, 1, 3) → l35
  474. Segment(V_7, Q_3) → onder5
  475. Sequence(Segment[Rotate[V_7, (nn * 45°), rot], Rotate[Q_3, (nn * 45°), rot]], nn, 1, 3) → l36
  476. Segment(I_6 + (0, 0, 4), C_7 + (0, 0, 4)) → dwars1
  477. Segment(A_7 + (0, 0, 4), C_7 + (0, 0, 4)) → dwars2
  478. Segment(I_6 + (0, 0, 3.8), C_7 + (0, 0, 3.8)) → dwars12
  479. Segment(A_7 + (0, 0, 3.8), C_7 + (0, 0, 3.8)) → dwars22
  480. Sequence(Rotate[dwars1, (nn * 45°), rot], nn, 1, 2) → l37
  481. Sequence(Rotate[dwars2, (nn * 45°), rot], nn, 1, 2) → l38
  482. Sequence(Rotate[dwars12, (nn * 45°), rot], nn, 1, 2) → l39
  483. Sequence(Rotate[dwars22, (nn * 45°), rot], nn, 1, 2) → l40
  484. Segment(C_7 + (0, 0, 3.8), C_7 + (0, 0, 4)) → m_{11}
  485. Sequence(Rotate[m_{11}, (nn * 45°), rot], nn, 1, 2) → l41
  486. Polygon(A', B', W, T, N_3, L_3, K_3, R, Z, A, U, Q, H, Q'_1, L'_1, J_3, S, V, E, F, K, J, I, B'', A'') → veelhoek5, p_{11}, s_{11}, w_9, t_{11}, a_{11}, b_{11}, c_{11}, r_{12}, z_2, a_{12}, u_{10}, q_{11}, q_{12}, d_{11}, g_{12}, l_{12}, s_{12}, v_{11}, h_{12}, e_{11}, f_{12}, k_{12}, j_{12}, i_{12}, r_{11}
  487. Translate(A', Vector[(0, 0, 2)]) → A''_1
  488. Translate(B', Vector[(0, 0, 2)]) → B''_1
  489. Translate(H, Vector[(0, 0, 2)]) → H'_1
  490. Translate(E, Vector[(0, 0, 2)]) → E'_2
  491. Translate(F, Vector[(0, 0, 2)]) → F'
  492. Translate(K, Vector[(0, 0, 2)]) → K'
  493. Translate(J, Vector[(0, 0, 2)]) → J'
  494. Translate(I, Vector[(0, 0, 2)]) → I'
  495. Translate(B'', Vector[(0, 0, 2)]) → B'''
  496. Translate(A'', Vector[(0, 0, 2)]) → A'''
  497. Translate(W, Vector[(0, 0, 2)]) → W'
  498. Translate(T, Vector[(0, 0, 2)]) → T'
  499. Translate(N_3, Vector[(0, 0, 2)]) → F_8
  500. Translate(L_3, Vector[(0, 0, 2)]) → G_8
  501. Translate(K_3, Vector[(0, 0, 2)]) → H_8
  502. Translate(R, Vector[(0, 0, 2)]) → R'
  503. Translate(Z, Vector[(0, 0, 2)]) → Z'
  504. Translate(A, Vector[(0, 0, 2)]) → A'_3
  505. Translate(U, Vector[(0, 0, 2)]) → U'_1
  506. Translate(Q, Vector[(0, 0, 2)]) → Q'_2
  507. Translate(Q'_1, Vector[(0, 0, 2)]) → I_8
  508. Translate(L'_1, Vector[(0, 0, 2)]) → J_8
  509. Translate(J_3, Vector[(0, 0, 2)]) → K_8
  510. Translate(S, Vector[(0, 0, 2)]) → S'
  511. Translate(V, Vector[(0, 0, 2)]) → V'
  512. Polygon(A''_1, B''_1, W', T', F_8, G_8, H_8, R', Z', A'_3, U'_1, Q'_2, H'_1, I_8, J_8, K_8, S', V', E'_2, F', K', J', I', B''', A''') → veelhoek5', a''_1, a''', w', t', m_{12}, p_{12}, t_{12}, r', z', a'_3, u'_1, b''_1, q'_2, b_{12}, c_{12}, d_{12}, s', v', h'_1, e'_2, f', k', j', i', b'''
  513. Mirror(A_7, yAxis) → L_8
  514. Mirror(C_7, yAxis) → M_8
  515. Mirror(I_6, yAxis) → N_8
  516. Rotate(C_7, 45°, H_6) → O_8
  517. Polygon(A', V, R, K_3, L_3, N_3, T, W, A'', N_8, M_8, O_8, S, A_7, C_7, I_6, J_3, L'_1, Q'_1, Q, U, A, Z) → veelhoek6, e_{12}, z_3, r_{13}, i_{13}, j_{13}, k_{13}, t_{13}, w_{10}, l_{13}, m_{13}, n_{13}, v_{12}, o_8, p_{13}, b_{13}, c_{13}, s_{13}, f_{13}, g_{13}, h_{13}, q_{13}, u_{11}, a_{13}
  518. Translate(A', Vector[(0, 0, 4)]) → A''_2
  519. Translate(V, Vector[(0, 0, 4)]) → V'_1
  520. Translate(S, Vector[(0, 0, 4)]) → S'_1
  521. Translate(J_3, Vector[(0, 0, 4)]) → P_8
  522. Translate(L'_1, Vector[(0, 0, 4)]) → Q_8
  523. Translate(Q'_1, Vector[(0, 0, 4)]) → R_8
  524. Translate(Q, Vector[(0, 0, 4)]) → Q'_3
  525. Translate(U, Vector[(0, 0, 4)]) → U'_2
  526. Translate(A, Vector[(0, 0, 4)]) → A'_4
  527. Translate(Z, Vector[(0, 0, 4)]) → Z'_1
  528. Translate(R, Vector[(0, 0, 4)]) → R'_1
  529. Translate(K_3, Vector[(0, 0, 4)]) → S_8
  530. Translate(L_3, Vector[(0, 0, 4)]) → T_8
  531. Translate(N_3, Vector[(0, 0, 4)]) → U_8
  532. Translate(T, Vector[(0, 0, 4)]) → T'_1
  533. Translate(W, Vector[(0, 0, 4)]) → W'_1
  534. Translate(A'', Vector[(0, 0, 4)]) → A'''_1
  535. Translate(N_8, Vector[(0, 0, 4)]) → V_8
  536. Translate(M_8, Vector[(0, 0, 4)]) → W_8
  537. Translate(O_8, Vector[(0, 0, 4)]) → Z_8
  538. Translate(A_7, Vector[(0, 0, 4)]) → A_9
  539. Translate(C_7, Vector[(0, 0, 4)]) → B_9
  540. Translate(I_6, Vector[(0, 0, 4)]) → C_9
  541. Polygon(A''_2, V'_1, R'_1, S_8, T_8, U_8, T'_1, W'_1, A'''_1, V_8, W_8, Z_8, S'_1, A_9, B_9, C_9, P_8, Q_8, R_8, Q'_3, U'_2, A'_4, Z'_1) → veelhoek6', a''_2, z'_1, r'_1, g_{14}, h_{14}, i_{14}, t'_1, w'_1, a'''_1, j_{14}, k_{14}, v'_1, z_8, l_{14}, m_{14}, n_{14}, s'_1, d_{13}, e_{13}, f_{14}, q'_3, u'_2, a'_4
  542. Segment(A'''_1, A''') → p_{14}
  543. Vector(V, A') → w_{11}
  544. Vector(V, N) → u_{12}
  545. Vector(S, N) → w_{12}
  546. Vector(S, C') → u_{13}
  547. Vector(J_3, C') → v_{13}
  548. Vector(J_3, L'_1) → w_{13}
  549. Vector(Q'_1, L'_1) → u_{14}
  550. Vector(Q'_1, C) → v_{14}
  551. Vector(Q, C) → w_{14}
  552. Vector(Q, L) → a_{14}
  553. Vector(U, L) → b_{14}
  554. Vector(U, A) → c_{14}
  555. Vector(Z, A) → d_{14}
  556. Vector(Z, M) → e_{14}
  557. Vector(R, M) → q_{14}
  558. Vector(R, C'_1) → r_{14}
  559. Vector(K_3, C'_1) → s_{14}
  560. Vector(K_3, L_3) → t_{14}
  561. Vector(N_3, L_3) → u_{15}
  562. Vector(N_3, C'') → v_{15}
  563. Vector(T, C'') → w_{15}
  564. Vector(T, P) → a_{15}
  565. Vector(W, P) → b_{15}
  566. Vector(W, A'') → c_{15}
  567. Vector(L, A_7) → j_{15}
  568. Vector(A', I_6) → d_{15}
  569. Vector(N, I_6) → e_{15}
  570. Vector(C', I_6) → f_{15}
  571. Vector(L'_1, I_6) → g_{15}
  572. Vector(L'_1, A_7) → h_{15}
  573. Vector(A, A_7) → i_{15}
  574. Vector(A, L_8) → k_{15}
  575. Vector(M, L_8) → l_{15}
  576. Vector(C'_1, L_8) → m_{15}
  577. Vector(L_3, L_8) → n_{15}
  578. Vector(L_3, N_8) → p_{15}
  579. Vector(C'', N_8) → q_{15}
  580. Vector(P, N_8) → r_{15}
  581. Vector(A'', N_8) → s_{15}
  582. PolyLine(A', V, R, K_3, L_3, N_3, T, W, A'', S, J_3, L'_1, Q'_1, Q, U, A, Z) → t_{15}
  583. Translate(A', Vector[(0, 0, 2)]) → A''_3
  584. Translate(V, Vector[(0, 0, 2)]) → V'_2
  585. Translate(S, Vector[(0, 0, 2)]) → S'_2
  586. Translate(J_3, Vector[(0, 0, 2)]) → D_9
  587. Translate(L'_1, Vector[(0, 0, 2)]) → E_9
  588. Translate(Q'_1, Vector[(0, 0, 2)]) → F_9
  589. Translate(Q, Vector[(0, 0, 2)]) → Q'_4
  590. Translate(U, Vector[(0, 0, 2)]) → U'_3
  591. Translate(A, Vector[(0, 0, 2)]) → A'_5
  592. Translate(Z, Vector[(0, 0, 2)]) → Z'_2
  593. Translate(R, Vector[(0, 0, 2)]) → R'_2
  594. Translate(K_3, Vector[(0, 0, 2)]) → G_9
  595. Translate(L_3, Vector[(0, 0, 2)]) → H_9
  596. Translate(N_3, Vector[(0, 0, 2)]) → I_9
  597. Translate(T, Vector[(0, 0, 2)]) → T'_2
  598. Translate(W, Vector[(0, 0, 2)]) → W'_2
  599. Translate(A'', Vector[(0, 0, 2)]) → A'''_2
  600. PolyLine(A''_3, V'_2, R'_2, G_9, H_9, I_9, T'_2, W'_2, A'''_2, S'_2, D_9, E_9, F_9, Q'_4, U'_3, A'_5, Z'_2) → f_{16}
  601. Translate(B', Vector[(0, 0, 2)]) → B''_2
  602. Translate(H, Vector[(0, 0, 2)]) → H'_2
  603. Translate(E, Vector[(0, 0, 2)]) → E'_3
  604. Translate(F, Vector[(0, 0, 2)]) → F'_1
  605. Translate(K, Vector[(0, 0, 2)]) → K'_1
  606. Translate(J, Vector[(0, 0, 2)]) → J'_1
  607. Translate(I, Vector[(0, 0, 2)]) → I'_1
  608. Translate(B'', Vector[(0, 0, 2)]) → B'''_1
  609. PolyLine(B''_2, H'_2, E'_3, F'_1, K'_1, J'_1, I'_1, B'''_1) → g_{16}
  610. Translate(A', Vector[(0, 0, 4)]) → A''_4
  611. Translate(V, Vector[(0, 0, 4)]) → V'_3
  612. Translate(S, Vector[(0, 0, 4)]) → S'_3
  613. Translate(J_3, Vector[(0, 0, 4)]) → J_9
  614. Translate(L'_1, Vector[(0, 0, 4)]) → K_9
  615. Translate(Q'_1, Vector[(0, 0, 4)]) → L_9
  616. Translate(Q, Vector[(0, 0, 4)]) → Q'_5
  617. Translate(U, Vector[(0, 0, 4)]) → U'_4
  618. Translate(A, Vector[(0, 0, 4)]) → A'_6
  619. Translate(Z, Vector[(0, 0, 4)]) → Z'_3
  620. Translate(R, Vector[(0, 0, 4)]) → R'_3
  621. Translate(K_3, Vector[(0, 0, 4)]) → M_9
  622. Translate(L_3, Vector[(0, 0, 4)]) → N_9
  623. Translate(N_3, Vector[(0, 0, 4)]) → O_9
  624. Translate(T, Vector[(0, 0, 4)]) → T'_3
  625. Translate(W, Vector[(0, 0, 4)]) → W'_3
  626. Translate(A'', Vector[(0, 0, 4)]) → A'''_3
  627. PolyLine(A''_4, V'_3, R'_3, M_9, N_9, O_9, T'_3, W'_3, A'''_3, S'_3, J_9, K_9, L_9, Q'_5, U'_4, A'_6, Z'_3) → h_{16}
  628. Rotate(C_7, (-(45°)), H_6) → Q_9
  629. Mirror(Q_9, yAxis) → R_9
  630. Rotate(P_9, (-(45°)), H_6) → S_9
  631. Ray(C, A_7) → i_{16}
  632. Intersect(i_{16}, yAxis) → T_9
  633. Segment(I_6, S_9) → j_{16}
  634. Segment(I_6, P_9) → k_{16}
  635. OrthogonalLine(P_9, j_{16}) → l_{16}
  636. OrthogonalLine(S_9, k_{16}) → m_{16}
  637. Intersect(l_{16}, m_{16}) → U_9
  638. Segment(S_9, U_9) → n_{16}
  639. Segment(U_9, P_9) → p_{16}
  640. Segment(Q_9, S_9) → q_{16}
  641. Segment(I_6, Q_9) → r_{16}
  642. Segment(A', Q_9) → s_{16}
  643. Mirror(A_7, yAxis) → V_9
  644. Mirror(C_7, yAxis) → W_9
  645. Mirror(I_6, yAxis) → Z_9
  646. Segment(A'', R_9) → t_{16}
  647. Segment(R_9, Z_9) → a_{16}
  648. Mirror(P_9, yAxis) → A_{10}
  649. Mirror(U_9, yAxis) → B_{10}
  650. Mirror(S_9, yAxis) → C_{10}
  651. Segment(C_{10}, R_9) → b_{16}
  652. Segment(C_{10}, B_{10}) → c_{16}
  653. Segment(B_{10}, A_{10}) → d_{16}
  654. Segment(A_{10}, Z_9) → e_{16}
  655. Segment(C_{10}, Z_9) → f_{17}
  656. Segment(P_9, A_7) → g_{17}
  657. Segment(A_{10}, V_9) → h_{17}
  658. Segment(T_9, V_9) → j_{17}
  659. Segment(A_7, T_9) → i_{17}
  660. Rotate(U_9, 45°, H_6) → D_{10}
  661. Rotate(U_9, 90°, H_6) → E_{10}
  662. Segment(P_9, D_{10}) → k_{17}
  663. Segment(D_{10}, T_9) → l_{17}
  664. Segment(T_9, E_{10}) → m_{17}
  665. Segment(E_{10}, A_{10}) → n_{17}
  666. CircleArc(I_{10}, J_{10}, K_{10}) → boog31
  667. Segment(L_{10}, M_{10}) → boven31
  668. Segment(J_{10}, M_{10}) → vertklein31
  669. Segment(L_{10}, F_{10}) → vert31
  670. Segment(G_{10}, K_{10}) → vertmidden31
  671. Segment(G_{10}, F_{10}) → hor31
  672. Segment(N_{10}, F_{10}) → p_{17}
  673. Rotate(N_{10}, 180°, rot) → O_{10}
  674. Rotate(F_{10}, 180°, rot) → P_{10}
  675. Segment(O_{10}, P_{10}) → q_{17}
  676. Line(S_9, M_{10}) → rot3
  677. Rotate(L_{10}, 45°, rot3) → Q_{10}
  678. Rotate(M_{10}, 45°, rot3) → R_{10}
  679. Segment(Q_{10}, R_{10}) → boven32
  680. Rotate(boog31, 45°, rot3) → boog32
  681. Rotate(G_{10}, 45°, rot3) → S_{10}
  682. Rotate(K_{10}, 45°, rot3) → T_{10}
  683. Segment(S_{10}, T_{10}) → vertmidden32
  684. Rotate(G_{10}, 45°, rot3) → U_{10}
  685. Rotate(F_{10}, 45°, rot3) → V_{10}
  686. Segment(U_{10}, V_{10}) → hor32
  687. Rotate(L_{10}, 45°, rot3) → W_{10}
  688. Rotate(F_{10}, 45°, rot3) → Z_{10}
  689. Segment(W_{10}, Z_{10}) → vert32
  690. Polygon(A', I_6, Q_9) → driehoek1, r_{17}, s_{17}, t_{17}
  691. Segment(F_{10}, I_6 + (0, 0, 4)) → a_{17}
  692. Mirror(a_{17}, vlakB) → b_{17}
  693. Segment(L_{10}, Q_{10}) → achter32
  694. Sequence(Segment[Rotate[L_{10}, (nn * 45°), rot], Rotate[Q_{10}, (nn * 45°), rot]], nn, 1, 3) → l42
  695. Segment(I_6 + (0, 0, 6), C_7 + (0, 0, 6)) → achter33
  696. Sequence(Rotate[achter33, (nn * 45°), rot], nn, 1, 3) → l43
  697. Sequence(Segment[Rotate[L_{10}, (nn * 45°), rot], Rotate[F_{10}, (nn * 45°), rot]], nn, 1, 3) → l44
  698. Sequence(Segment[Rotate[W_{10}, (nn * 45°), rot], Rotate[Z_{10}, (nn * 45°), rot]], nn, 1, 3) → l45
  699. Sequence(Segment[Rotate[S_{10}, (nn * 45°), rot], Rotate[T_{10}, (nn * 45°), rot]], nn, 1, 3) → l47
  700. Sequence(Segment[Rotate[U_{10}, (nn * 45°), rot], Rotate[V_{10}, (nn * 45°), rot]], nn, 1, 3) → l51
  701. Sequence(Rotate[boog32, (nn * 45°), rot], nn, 1, 3) → l49
  702. Line(I_6, Q_{10}) → rot5
  703. Rotate(boog32, (-(45°)), rot5) → boog33
  704. Sequence(Rotate[boog33, (nn * 45°), rot], nn, 1, 3) → l48
  705. Rotate(boog31, 180°, rot) → boog31'
  706. Mirror(A', yAxis) → A''_5
  707. Mirror(I_6, yAxis) → A_{11}
  708. Mirror(Q_9, yAxis) → B_{11}
  709. Polygon(A''_5, A_{11}, B_{11}) → driehoek1', c_{17}, a''_5, d_{17}
  710. Rotate(S_{10}, (-(45°)), rot5) → C_{11}
  711. Rotate(T_{10}, (-(45°)), rot5) → D_{11}
  712. Segment(C_{11}, D_{11}) → vertmidden33
  713. Sequence(Segment[Rotate[C_{11}, (nn * 45°), rot], Rotate[D_{11}, (nn * 45°), rot]], nn, 1, 3) → l46
  714. Rotate(U_{10}, (-(45°)), rot5) → E_{11}
  715. Rotate(V_{10}, (-(45°)), rot5) → F_{11}
  716. Segment(E_{11}, F_{11}) → hor32'
  717. Sequence(Segment[Rotate[E_{11}, (nn * 45°), rot], Rotate[F_{11}, (nn * 45°), rot]], nn, 1, 3) → l50
  718. Rotate(Q_{10}, (-(45°)), rot5) → G_{11}
  719. Rotate(R_{10}, (-(45°)), rot5) → H_{11}
  720. Segment(G_{11}, H_{11}) → boven33
  721. Sequence(Segment[Rotate[G_{11}, (nn * 45°), rot], Rotate[H_{11}, (nn * 45°), rot]], nn, 1, 3) → l52
  722. Sequence(Segment[Rotate[Q_{10}, (nn * 45°), rot], Rotate[R_{10}, (nn * 45°), rot]], nn, 1, 3) → l53
  723. Sequence(Segment[Rotate[J_{10}, (nn * 45°), rot], Rotate[M_{10}, (nn * 45°), rot]], nn, 1, 4) → l54
  724. Rotate(L_{10}, 180°, rot) → I_{11}
  725. Rotate(M_{10}, 180°, rot) → J_{11}
  726. Segment(I_{11}, J_{11}) → boven31'
  727. Rotate(L_{10}, 180°, rot) → K_{11}
  728. Rotate(F_{10}, 180°, rot) → L_{11}
  729. Segment(K_{11}, L_{11}) → vert31'
  730. Rotate(G_{10}, 180°, rot) → M_{11}
  731. Rotate(K_{10}, 180°, rot) → N_{11}
  732. Segment(M_{11}, N_{11}) → vertmidden31'
  733. Rotate(G_{10}, 180°, rot) → O_{11}
  734. Rotate(F_{10}, 180°, rot) → P_{11}
  735. Segment(O_{11}, P_{11}) → hor31'
  736. PolyLine(S_9, U_9, D_{10}, E_{10}, B_{10}, C_{10}) → e_{17}
  737. Translate(S_9, Vector[(0, 0, 6)]) → Q_{11}
  738. Translate(U_9, Vector[(0, 0, 6)]) → R_{11}
  739. Translate(D_{10}, Vector[(0, 0, 6)]) → S_{11}
  740. Translate(E_{10}, Vector[(0, 0, 6)]) → T_{11}
  741. Translate(B_{10}, Vector[(0, 0, 6)]) → U_{11}
  742. Translate(C_{10}, Vector[(0, 0, 6)]) → V_{11}
  743. PolyLine(Q_{11}, R_{11}, S_{11}, T_{11}, U_{11}, V_{11}) → f_{18}
  744. PolyLine(Q_9, C_7, W_{11}, W_9, R_9) → g_{18}
  745. Translate(Q_9, Vector[(0, 0, 6)]) → Z_{11}
  746. Translate(C_7, Vector[(0, 0, 6)]) → A_{12}
  747. Translate(W_{11}, Vector[(0, 0, 6)]) → B_{12}
  748. Translate(W_9, Vector[(0, 0, 6)]) → C_{12}
  749. Translate(R_9, Vector[(0, 0, 6)]) → D_{12}
  750. PolyLine(Z_{11}, A_{12}, B_{12}, C_{12}, D_{12}) → h_{18}
  751. Translate(Q_9, Vector[(0, 0, 4)]) → E_{12}
  752. Translate(C_7, Vector[(0, 0, 4)]) → F_{12}
  753. Translate(W_{11}, Vector[(0, 0, 4)]) → G_{12}
  754. Translate(W_9, Vector[(0, 0, 4)]) → H_{12}
  755. Translate(R_9, Vector[(0, 0, 4)]) → I_{12}
  756. PolyLine(E_{12}, F_{12}, G_{12}, H_{12}, I_{12}) → i_{18}
  757. Polygon(Q_9, C_7, S_9, W_{11}, W_9, R_9, C_{10}, B_{10}, E_{10}, D_{10}, U_9) → veelhoek7, j_{18}, t_{18}, a_{18}, k_{18}, l_{18}, m_{18}, n_{18}, p_{18}, q_{18}, r_{18}, s_{18}
  758. Translate(veelhoek7, Vector[(0, 0, 6)]) → veelhoek7'
  759. Polygon(A', V, R, K_3, L_3, N_3, T, W, A'', R_9, W_9, W_{11}, S, C_7, Q_9, J_3, L'_1, Q'_1, Q, U, A, Z) → veelhoek8, b_{18}, z_4, r_{19}, f_{19}, g_{19}, h_{19}, t_{19}, w_{16}, i_{19}, j_{19}, k_{19}, v_{16}, l_{19}, m_{19}, n_{19}, s_{19}, c_{18}, d_{18}, e_{18}, q_{19}, u_{16}, a_{19}
  760. Translate(veelhoek8, Vector[(0, 0, 4)]) → veelhoek8'
  761. Vector(I_6, S_9) → u_{17}
  762. Vector(I_6, P_9) → v_{17}
  763. Vector(Q_9, S_9) → w_{17}
  764. Vector(A_7, P_9) → u_{18}
  765. Vector(A_7, T_9) → v_{18}
  766. Vector(V_9, T_9) → w_{18}
  767. Vector(V_9, A_{10}) → u_{19}
  768. Vector(Z_9, A_{10}) → v_{19}
  769. Vector(Z_9, C_{10}) → w_{19}
  770. Vector(R_9, C_{10}) → b_{19}
  771. Vector(Q_9, I_6) → c_{19}
  772. Vector(C_7, I_6) → d_{19}
  773. Vector(C_7, A_7) → e_{19}
  774. Vector(W_{11}, A_7) → p_{19}
  775. Vector(W_{11}, V_9) → u_{20}
  776. Vector(W_9, V_9) → v_{20}
  777. Vector(W_9, Z_9) → w_{20}
  778. Vector(Z_9, R_9) → a_{20}
  779. CircleArc(N_{12}, O_{12}, M_{12}) → boog41
  780. Segment(M_{10}, K_{12}) → vert41
  781. Segment(L_{12}, M_{12}) → vertmidden41
  782. Segment(K_{12}, P_{12}) → boven41
  783. Segment(O_{12}, P_{12}) → klein41
  784. Segment(M_{10}, L_{12}) → onder41
  785. Rotate(P_{12}, 180°, rot) → R_{12}
  786. Rotate(M_{10}, 180°, rot) → S_{12}
  787. Line(S_9, K_{12}) → rot4
  788. Sequence(Rotate[boog41, (nn * 45°), rot], nn, 1, 4) → l56
  789. Sequence(Segment[Rotate[M_{10}, (nn * 45°), rot], Rotate[K_{12}, (nn * 45°), rot]], nn, 1, 4) → l57
  790. Sequence(Segment[Rotate[L_{12}, (nn * 45°), rot], Rotate[M_{12}, (nn * 45°), rot]], nn, 1, 4) → l58
  791. Sequence(Segment[Rotate[K_{12}, (nn * 45°), rot], Rotate[P_{12}, (nn * 45°), rot]], nn, 1, 4) → l59
  792. Sequence(Segment[Rotate[M_{10}, (nn * 45°), rot], Rotate[L_{12}, (nn * 45°), rot]], nn, 1, 4) → l60
  793. Sequence(Segment[Rotate[K_{12}, (nn * 45°), rot], Rotate[Q_{12}, (nn * 45°), rot]], nn, 0, 3) → l55
  794. Sequence(Segment[Rotate[T_{12}, (nn * 45°), rot], Rotate[Q_{12}, (nn * 45°), rot]], nn, 0, 3) → l61
  795. Sequence(Segment[Rotate[R_{11}, (nn * 45°), rot], Rotate[Q_{12}, (nn * 45°), rot]], nn, 0, 3) → l62
  796. Translate(S_9, Vector[(0, 0, 8)]) → U_{12}
  797. Translate(U_9, Vector[(0, 0, 8)]) → V_{12}
  798. Translate(D_{10}, Vector[(0, 0, 8)]) → W_{12}
  799. Translate(E_{10}, Vector[(0, 0, 8)]) → Z_{12}
  800. Translate(B_{10}, Vector[(0, 0, 8)]) → A_{13}
  801. Translate(C_{10}, Vector[(0, 0, 8)]) → B_{13}
  802. PolyLine(U_{12}, V_{12}, W_{12}, Z_{12}, A_{13}, B_{13}) → f_{20}
  803. Polygon(S_9, U_9, P_9, D_{10}, E_{10}, B_{10}, C_{10}) → veelhoek9, g_{20}, h_{20}, i_{20}, j_{20}, k_{20}, l_{20}, m_{20}
  804. Segment(S_9, C_{10}) → n_{20}
  805. Translate(S_9, Vector[(0, 0, 8)]) → C_{13}
  806. Translate(U_9, Vector[(0, 0, 8)]) → D_{13}
  807. Translate(P_9, Vector[(0, 0, 8)]) → E_{13}
  808. Translate(D_{10}, Vector[(0, 0, 8)]) → F_{13}
  809. Translate(E_{10}, Vector[(0, 0, 8)]) → G_{13}
  810. Translate(B_{10}, Vector[(0, 0, 8)]) → H_{13}
  811. Translate(C_{10}, Vector[(0, 0, 8)]) → I_{13}
  812. Polygon(C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, H_{13}, I_{13}) → veelhoek9', p_{20}, q_{20}, r_{20}, s_{20}, t_{20}, b_{20}, c_{20}
  813. Vector(U_9, S_9) → d_{20}
  814. Vector(U_9, P_9) → e_{20}
  815. Vector(D_{10}, P_9) → u_{21}
  816. Vector(D_{10}, T_9) → v_{21}
  817. Vector(E_{10}, A_{10}) → a_{21}
  818. Vector(B_{10}, A_{10}) → b_{21}
  819. Vector(B_{10}, C_{10}) → c_{21}
  820. Vector(E_{10}, T_9) → w_{21}
  821. Vector(S_9, H_6) → d_{21}
  822. Vector(P_9, H_6) → e_{21}
  823. Vector(T_9, H_6) → f_{21}
  824. Vector(A_{10}, H_6) → g_{21}
  825. Vector(C_{10}, H_6) → h_{21}
  826. Translate(l59, Vector[(0, 0, -8)]) → l59'
  827. Translate(K_{12}, Vector[(0, 0, -8)]) → J_{13}
  828. Translate(P_{12}, Vector[(0, 0, -8)]) → K_{13}
  829. Segment(J_{13}, K_{13}) → boven41'

AI 绘图提示语参考

绘制一个四层几何构造，包含四个圆、四边形和多边形。首先画一条水平线，然后旋转生成新的线段，接着画出多边形和圆，通过镜像和旋转生成多个四边形和多边形，最后连接各点形成复杂的几何图形。
以上提示语为根据原始绘图命令整理而来，仅供参考。