积极 AI Logo 积极 AI

勾股定理平铺 by Edgardo Alandete (3)

勾股定理平铺 by Edgardo Alandete (3)
几何画板及绘图内容加载中，请稍等……
2015-01-11 04:21
测试改名0多边形立体几何几何作图
①本范例演示了基于勾股定理的星形平铺图形构造；②涉及核心数学概念包括勾股定理、线段、期望值、分割、长方体、中位线；③作图要点提炼自构造摘要，使用了Line, OrthogonalLine, Point, Segment, Rotate, Angle, Intersect, Polygon等GeoGebra命令与对象；④适合高中数学教学，用于理解几何作图与空间分割。

GeoGebra 命令及参数

  1. Line(A, B) → a
  2. OrthogonalLine(B, a) → b
  3. OrthogonalLine(A, a) → c
  4. Point(c) → C
  5. OrthogonalLine(C, c) → d
  6. Point(c) → D
  7. OrthogonalLine(D, c) → e
  8. Point(b) → E
  9. OrthogonalLine(E, b) → f
  10. Point(b) → F
  11. OrthogonalLine(F, b) → g
  12. Point(b) → G
  13. OrthogonalLine(G, b) → h
  14. Point(b) → H
  15. OrthogonalLine(H, b) → i
  16. Point(i) → I
  17. OrthogonalLine(I, i) → j
  18. Point(h) → J
  19. OrthogonalLine(J, h) → k
  20. Point(g) → K
  21. OrthogonalLine(K, g) → l
  22. Point(i) → L
  23. OrthogonalLine(L, i) → m
  24. Point(h) → M
  25. OrthogonalLine(M, h) → n
  26. Point(g) → N
  27. OrthogonalLine(N, g) → p
  28. Point(c) → O
  29. Segment(O, P) → q
  30. Rotate(O, -45*°, P) → O'
  31. Angle(O', P, O) → α
  32. Segment(P, O') → r
  33. Point(b) → Q
  34. Segment(Q, R) → s
  35. Segment(R, O') → t
  36. Segment(O, S) → a_1
  37. Point(d) → T
  38. Segment(S, T) → b_1
  39. Segment(T, U) → c_1
  40. Segment(U, Q) → d_1
  41. Segment(V, T) → e_1
  42. Point(b) → W
  43. Segment(V, W) → f_1
  44. Point(c) → A_1
  45. Segment(Z, A_1) → g_1
  46. Point(e) → B_1
  47. Segment(Z, B_1) → h_1
  48. Segment(C_1, T) → i_1
  49. Segment(C_1, A_1) → j_1
  50. Segment(D_1, W) → k_1
  51. Segment(B_1, D_1) → l_1
  52. Point(j) → F_1
  53. Segment(E_1, F_1) → m_1
  54. Point(d) → G_1
  55. Segment(G_1, E_1) → n_1
  56. Segment(H_1, O) → p_1
  57. Point(a) → I_1
  58. Segment(H_1, I_1) → q_1
  59. Segment(J_1, O) → r_1
  60. Segment(J_1, G_1) → s_1
  61. Segment(K_1, I_1) → t_1
  62. Segment(K_1, F_1) → a_2
  63. Point(j) → M_1
  64. Segment(L_1, M_1) → b_2
  65. Point(e) → N_1
  66. Segment(N_1, L_1) → c_2
  67. Segment(O_1, G_1) → d_2
  68. Segment(O_1, M_1) → e_2
  69. Segment(P_1, A_1) → f_2
  70. Segment(P_1, G_1) → g_2
  71. Segment(Q_1, A_1) → h_2
  72. Segment(Q_1, N_1) → i_2
  73. Point(c) → S_1
  74. Segment(R_1, S_1) → j_2
  75. Point(f) → T_1
  76. Segment(T_1, R_1) → k_2
  77. Segment(U_1, B_1) → l_2
  78. Segment(U_1, S_1) → m_2
  79. Segment(V_1, B_1) → n_2
  80. Point(b) → W_1
  81. Segment(V_1, W_1) → p_2
  82. Segment(Z_1, W_1) → q_2
  83. Segment(T_1, Z_1) → r_2
  84. Point(c) → B_2
  85. Segment(A_2, B_2) → s_2
  86. Point(g) → C_2
  87. Segment(C_2, A_2) → t_2
  88. Segment(D_2, T_1) → a_3
  89. Segment(B_2, D_2) → b_3
  90. Segment(E_2, T_1) → c_3
  91. Point(b) → F_2
  92. Segment(E_2, F_2) → d_3
  93. Segment(G_2, F_2) → e_3
  94. Segment(C_2, G_2) → f_3
  95. Point(c) → I_2
  96. Segment(H_2, I_2) → g_3
  97. Segment(I_2, J_2) → h_3
  98. Segment(J_2, C_2) → i_3
  99. Point(h) → K_2
  100. Segment(H_2, K_2) → j_3
  101. Segment(K_2, L_2) → k_3
  102. Point(b) → M_2
  103. Segment(L_2, M_2) → l_3
  104. Segment(M_2, N_2) → m_3
  105. Segment(N_2, C_2) → n_3
  106. Point(c) → P_2
  107. Segment(O_2, P_2) → p_3
  108. Point(i) → Q_2
  109. Segment(Q_2, O_2) → q_3
  110. Segment(R_2, K_2) → r_3
  111. Segment(R_2, P_2) → s_3
  112. Point(b) → T_2
  113. Segment(S_2, T_2) → t_3
  114. Segment(S_2, K_2) → a_4
  115. Segment(U_2, T_2) → b_4
  116. Segment(Q_2, U_2) → c_4
  117. Point(j) → W_2
  118. Segment(V_2, W_2) → d_4
  119. Segment(W_2, Z_2) → e_4
  120. Segment(Z_2, N_1) → f_4
  121. Point(f) → A_3
  122. Segment(A_3, V_2) → g_4
  123. Segment(A_3, B_3) → h_4
  124. Segment(B_3, S_1) → i_4
  125. Segment(S_1, C_3) → j_4
  126. Segment(C_3, N_1) → k_4
  127. Point(g) → E_3
  128. Segment(D_3, E_3) → l_4
  129. Segment(E_3, F_3) → m_4
  130. Segment(F_3, B_2) → n_4
  131. Segment(B_2, G_3) → p_4
  132. Segment(G_3, A_3) → q_4
  133. Point(j) → H_3
  134. Segment(D_3, H_3) → r_4
  135. Segment(H_3, I_3) → s_4
  136. Segment(I_3, A_3) → t_4
  137. Point(j) → K_3
  138. Segment(J_3, K_3) → a_5
  139. Segment(K_3, L_3) → b_5
  140. Segment(L_3, E_3) → c_5
  141. Segment(E_3, M_3) → d_5
  142. Segment(M_3, I_2) → e_5
  143. Point(h) → N_3
  144. Segment(N_3, J_3) → f_5
  145. Segment(N_3, O_3) → g_5
  146. Segment(O_3, I_2) → h_5
  147. Point(j) → Q_3
  148. Segment(P_3, Q_3) → i_5
  149. Segment(Q_3, R_3) → j_5
  150. Segment(R_3, N_3) → k_5
  151. Segment(N_3, S_3) → l_5
  152. Segment(S_3, P_2) → m_5
  153. Segment(P_2, T_3) → n_5
  154. Point(i) → U_3
  155. Segment(T_3, U_3) → p_5
  156. Segment(U_3, P_3) → q_5
  157. Point(k) → W_3
  158. Segment(V_3, W_3) → r_5
  159. Segment(W_3, Z_3) → s_5
  160. Point(a) → A_4
  161. Segment(Z_3, A_4) → t_5
  162. Segment(A_4, B_4) → a_6
  163. Segment(B_4, F_1) → b_6
  164. Segment(F_1, C_4) → c_6
  165. Point(d) → D_4
  166. Segment(C_4, D_4) → d_6
  167. Segment(D_4, V_3) → e_6
  168. Point(k) → F_4
  169. Segment(E_4, F_4) → f_6
  170. Point(e) → G_4
  171. Segment(G_4, E_4) → g_6
  172. Segment(G_4, H_4) → h_6
  173. Segment(H_4, M_1) → i_6
  174. Segment(M_1, I_4) → j_6
  175. Segment(I_4, D_4) → k_6
  176. Segment(D_4, J_4) → l_6
  177. Segment(J_4, F_4) → m_6
  178. Point(k) → L_4
  179. Segment(K_4, L_4) → n_6
  180. Segment(L_4, M_4) → p_6
  181. Segment(M_4, G_4) → q_6
  182. Segment(G_4, N_4) → r_6
  183. Segment(N_4, W_2) → s_6
  184. Segment(W_2, O_4) → t_6
  185. Point(f) → P_4
  186. Segment(O_4, P_4) → a_7
  187. Segment(P_4, K_4) → b_7
  188. Point(k) → R_4
  189. Segment(Q_4, R_4) → c_7
  190. Segment(R_4, S_4) → d_7
  191. Segment(S_4, P_4) → e_7
  192. Segment(P_4, T_4) → f_7
  193. Segment(T_4, H_3) → g_7
  194. Segment(H_3, U_4) → h_7
  195. Point(g) → V_4
  196. Segment(U_4, V_4) → i_7
  197. Segment(V_4, Q_4) → j_7
  198. Point(k) → Z_4
  199. Segment(W_4, Z_4) → k_7
  200. Segment(Z_4, A_5) → l_7
  201. Segment(A_5, V_4) → m_7
  202. Segment(V_4, B_5) → n_7
  203. Segment(B_5, K_3) → p_7
  204. Segment(K_3, C_5) → q_7
  205. Point(h) → D_5
  206. Segment(C_5, D_5) → r_7
  207. Segment(D_5, W_4) → s_7
  208. Point(k) → F_5
  209. Segment(E_5, F_5) → t_7
  210. Segment(F_5, G_5) → a_8
  211. Segment(G_5, D_5) → b_8
  212. Segment(D_5, H_5) → c_8
  213. Segment(H_5, Q_3) → d_8
  214. Segment(Q_3, I_5) → e_8
  215. Point(i) → J_5
  216. Segment(I_5, J_5) → f_8
  217. Segment(J_5, E_5) → g_8
  218. Point(l) → L_5
  219. Segment(K_5, L_5) → h_8
  220. Segment(L_5, M_5) → i_8
  221. Point(a) → N_5
  222. Segment(M_5, N_5) → j_8
  223. Segment(N_5, O_5) → k_8
  224. Segment(O_5, W_3) → l_8
  225. Segment(W_3, P_5) → m_8
  226. Point(d) → Q_5
  227. Segment(P_5, Q_5) → n_8
  228. Segment(Q_5, K_5) → p_8
  229. Point(l) → S_5
  230. Segment(R_5, S_5) → q_8
  231. Segment(S_5, T_5) → r_8
  232. Segment(T_5, Q_5) → s_8
  233. Segment(Q_5, U_5) → t_8
  234. Segment(U_5, F_4) → a_9
  235. Segment(F_4, V_5) → b_9
  236. Point(e) → W_5
  237. Segment(V_5, W_5) → c_9
  238. Segment(W_5, R_5) → d_9
  239. Point(l) → A_6
  240. Segment(Z_5, A_6) → e_9
  241. Segment(A_6, B_6) → f_9
  242. Segment(B_6, W_5) → g_9
  243. Point(f) → C_6
  244. Segment(Z_5, C_6) → h_9
  245. Segment(C_6, D_6) → i_9
  246. Segment(D_6, L_4) → j_9
  247. Segment(L_4, E_6) → k_9
  248. Segment(E_6, W_5) → l_9
  249. Point(l) → G_6
  250. Segment(F_6, G_6) → m_9
  251. Segment(G_6, H_6) → n_9
  252. Segment(H_6, C_6) → p_9
  253. Segment(C_6, I_6) → q_9
  254. Segment(I_6, R_4) → r_9
  255. Segment(R_4, J_6) → s_9
  256. Point(g) → K_6
  257. Segment(J_6, K_6) → t_9
  258. Segment(K_6, F_6) → a_{10}
  259. Point(l) → M_6
  260. Segment(L_6, M_6) → b_{10}
  261. Segment(M_6, N_6) → c_{10}
  262. Segment(N_6, K_6) → d_{10}
  263. Point(h) → O_6
  264. Segment(L_6, O_6) → e_{10}
  265. Segment(O_6, P_6) → f_{10}
  266. Segment(P_6, Z_4) → g_{10}
  267. Segment(Z_4, Q_6) → h_{10}
  268. Segment(Q_6, K_6) → i_{10}
  269. Point(i) → S_6
  270. Segment(R_6, S_6) → j_{10}
  271. Segment(S_6, T_6) → k_{10}
  272. Segment(T_6, F_5) → l_{10}
  273. Segment(F_5, U_6) → m_{10}
  274. Segment(U_6, O_6) → n_{10}
  275. Segment(O_6, V_6) → p_{10}
  276. Point(l) → W_6
  277. Segment(V_6, W_6) → q_{10}
  278. Segment(W_6, R_6) → r_{10}
  279. Point(m) → A_7
  280. Segment(Z_6, A_7) → s_{10}
  281. Segment(A_7, B_7) → t_{10}
  282. Point(a) → C_7
  283. Segment(B_7, C_7) → a_{11}
  284. Segment(C_7, D_7) → b_{11}
  285. Segment(D_7, L_5) → c_{11}
  286. Segment(L_5, E_7) → d_{11}
  287. Point(d) → F_7
  288. Segment(E_7, F_7) → e_{11}
  289. Segment(F_7, Z_6) → f_{11}
  290. Point(m) → H_7
  291. Segment(G_7, H_7) → g_{11}
  292. Segment(H_7, I_7) → h_{11}
  293. Segment(I_7, F_7) → i_{11}
  294. Segment(F_7, J_7) → j_{11}
  295. Segment(J_7, S_5) → k_{11}
  296. Segment(S_5, K_7) → l_{11}
  297. Point(e) → L_7
  298. Segment(K_7, L_7) → m_{11}
  299. Segment(L_7, G_7) → n_{11}
  300. Point(m) → O_7
  301. Segment(N_7, O_7) → p_{11}
  302. Segment(O_7, P_7) → q_{11}
  303. Segment(P_7, L_7) → r_{11}
  304. Segment(L_7, Q_7) → s_{11}
  305. Segment(Q_7, A_6) → t_{11}
  306. Segment(A_6, R_7) → a_{12}
  307. Point(f) → S_7
  308. Segment(R_7, S_7) → b_{12}
  309. Segment(S_7, N_7) → c_{12}
  310. Point(m) → U_7
  311. Segment(T_7, U_7) → d_{12}
  312. Segment(U_7, V_7) → e_{12}
  313. Segment(V_7, S_7) → f_{12}
  314. Segment(W_7, T_7) → g_{12}
  315. Segment(W_7, Z_7) → h_{12}
  316. Segment(Z_7, G_6) → i_{12}
  317. Segment(G_6, A_8) → j_{12}
  318. Segment(A_8, S_7) → k_{12}
  319. Point(b_9) → B_8
  320. Point(m) → D_8
  321. Segment(C_8, D_8) → l_{12}
  322. Segment(D_8, E_8) → m_{12}
  323. Segment(E_8, W_7) → n_{12}
  324. Segment(W_7, F_8) → p_{12}
  325. Segment(F_8, M_6) → q_{12}
  326. Segment(M_6, G_8) → r_{12}
  327. Point(h) → H_8
  328. Segment(G_8, H_8) → s_{12}
  329. Segment(H_8, C_8) → t_{12}
  330. Point(m) → J_8
  331. Segment(I_8, J_8) → a_{13}
  332. Segment(J_8, K_8) → b_{13}
  333. Segment(K_8, H_8) → c_{13}
  334. Segment(H_8, L_8) → d_{13}
  335. Segment(L_8, W_6) → e_{13}
  336. Segment(W_6, M_8) → f_{13}
  337. Point(i) → N_8
  338. Segment(M_8, N_8) → g_{13}
  339. Segment(N_8, I_8) → h_{13}
  340. Point(n) → P_8
  341. Segment(P_8, O_8) → i_{13}
  342. Point(d) → Q_8
  343. Segment(O_8, Q_8) → j_{13}
  344. Segment(Q_8, R_8) → k_{13}
  345. Segment(R_8, A_7) → l_{13}
  346. Segment(A_7, S_8) → m_{13}
  347. Point(a) → T_8
  348. Segment(S_8, T_8) → n_{13}
  349. Segment(T_8, U_8) → p_{13}
  350. Segment(U_8, P_8) → q_{13}
  351. Point(n) → W_8
  352. Segment(V_8, W_8) → r_{13}
  353. Segment(W_8, Z_8) → s_{13}
  354. Segment(Z_8, Q_8) → t_{13}
  355. Point(e) → A_9
  356. Segment(V_8, A_9) → a_{14}
  357. Segment(A_9, B_9) → b_{14}
  358. Segment(B_9, H_7) → c_{14}
  359. Segment(H_7, C_9) → d_{14}
  360. Segment(C_9, Q_8) → e_{14}
  361. Point(n) → E_9
  362. Segment(D_9, E_9) → f_{14}
  363. Segment(E_9, F_9) → g_{14}
  364. Segment(F_9, A_9) → h_{14}
  365. Segment(A_9, G_9) → i_{14}
  366. Segment(G_9, O_7) → j_{14}
  367. Segment(O_7, H_9) → k_{14}
  368. Point(f) → I_9
  369. Segment(H_9, I_9) → l_{14}
  370. Segment(I_9, D_9) → m_{14}
  371. Point(n) → K_9
  372. Segment(J_9, K_9) → n_{14}
  373. Segment(K_9, L_9) → p_{14}
  374. Segment(L_9, I_9) → q_{14}
  375. Segment(I_9, M_9) → r_{14}
  376. Segment(M_9, U_7) → s_{14}
  377. Segment(U_7, N_9) → t_{14}
  378. Point(g) → O_9
  379. Segment(N_9, O_9) → a_{15}
  380. Segment(O_9, J_9) → b_{15}
  381. Point(n) → Q_9
  382. Segment(P_9, Q_9) → c_{15}
  383. Segment(Q_9, R_9) → d_{15}
  384. Segment(R_9, O_9) → e_{15}
  385. Segment(O_9, S_9) → f_{15}
  386. Segment(S_9, D_8) → g_{15}
  387. Segment(D_8, T_9) → h_{15}
  388. Point(h) → U_9
  389. Segment(T_9, U_9) → i_{15}
  390. Segment(U_9, P_9) → j_{15}
  391. Segment(V_9, W_9) → k_{15}
  392. Segment(W_9, Z_9) → l_{15}
  393. Segment(Z_9, U_9) → m_{15}
  394. Segment(U_9, A_{10}) → n_{15}
  395. Segment(A_{10}, J_8) → p_{15}
  396. Segment(J_8, B_{10}) → q_{15}
  397. Point(i) → C_{10}
  398. Segment(B_{10}, C_{10}) → r_{15}
  399. Segment(V_9, C_{10}) → s_{15}
  400. Intersect(i, n) → D_{10}
  401. Intersect(a, n) → E_{10}
  402. Segment(D_{10}, E_{10}) → t_{15}
  403. Segment(D_{10}, H) → a_{16}
  404. Segment(G, M) → b_{16}
  405. Point(g) → F_{10}
  406. Segment(F_{10}, F) → c_{16}
  407. Point(f) → G_{10}
  408. Segment(E, G_{10}) → d_{16}
  409. Point(e) → H_{10}
  410. Point(e) → I_{10}
  411. Segment(H_{10}, I_{10}) → e_{16}
  412. Point(d) → J_{10}
  413. Point(d) → K_{10}
  414. Segment(J_{10}, K_{10}) → f_{16}
  415. Segment(E_{10}, B) → g_{16}
  416. Segment(B, H) → h_{16}
  417. Point(c) → L_{10}
  418. Segment(L_{10}, A) → i_{16}
  419. Point(j) → M_{10}
  420. Segment(M_{10}, I) → j_{16}
  421. Point(k) → N_{10}
  422. Point(k) → O_{10}
  423. Segment(N_{10}, O_{10}) → k_{16}
  424. Point(l) → P_{10}
  425. Point(l) → Q_{10}
  426. Segment(P_{10}, Q_{10}) → l_{16}
  427. Segment(K_{10}, J_{10}) → m_{16}
  428. Segment(I_{10}, H_{10}) → n_{16}
  429. Point(m) → R_{10}
  430. Segment(L, R_{10}) → p_{16}
  431. Intersect(n_6, b_7) → S_{10}
  432. Intersect(q_8, d_9) → T_{10}
  433. Point(l_{16}) → U_{10}
  434. Intersect(d_9, e_{16}) → V_{10}
  435. Angle(U_{10}, T_{10}, V_{10}) → β
  436. Rotate(U_{10}, 45*°, T_{10}) → W_{10}
  437. Angle(U_{10}, T_{10}, W_{10}) → γ
  438. Intersect(s, d_1) → Z_{10}
  439. Intersect(b_1, d_1) → A_{11}
  440. Intersect(a_1, b_1) → B_{11}
  441. Intersect(r, a_1) → C_{11}
  442. Intersect(r, t) → D_{11}
  443. Intersect(g_{16}, h_{16}) → E_{11}
  444. Polygon(Z_{10}, A_{11}, B_{11}, C_{11}, D_{11}, E_{11}) → poly1, z_{10}, a_{17}, b_{17}, c_{17}, d_{17}, e_{17}
  445. Intersect(t, d_1) → F_{11}
  446. Intersect(c_1, d_1) → G_{11}
  447. Intersect(a_1, c_1) → H_{11}
  448. Intersect(q, a_1) → I_{11}
  449. Intersect(n_1, r_1) → J_{11}
  450. Intersect(m_1, n_1) → K_{11}
  451. Intersect(m_1, t_1) → L_{11}
  452. Point(g_{16}) → M_{11}
  453. Polygon(D_{11}, F_{11}, G_{11}, H_{11}, I_{11}, J_{11}, K_{11}, L_{11}, M_{11}) → poly2, d_{18}, f_{17}, g_{17}, h_{17}, i_{17}, j_{17}, k_{17}, l_{17}, m_{17}
  454. Intersect(r, s) → N_{11}
  455. Intersect(q, r) → O_{11}
  456. Intersect(q, b_1) → P_{11}
  457. Intersect(b_1, c_1) → Q_{11}
  458. Intersect(g_1, i_1) → R_{11}
  459. Intersect(g_1, h_1) → S_{11}
  460. Intersect(h_1, k_1) → T_{11}
  461. Intersect(f_1, k_1) → U_{11}
  462. Polygon(Z_{10}, N_{11}, O_{11}, P_{11}, Q_{11}, R_{11}, S_{11}, T_{11}, U_{11}) → poly3, z_1, n_{17}, o_{11}, p_{17}, q_{16}, r_{16}, s_{16}, t_{16}, u_{11}
  463. Intersect(s, c_1) → V_{11}
  464. Intersect(s, t) → W_{11}
  465. Intersect(q, t) → Z_{11}
  466. Intersect(p_1, t_1) → A_{12}
  467. Intersect(t_1, a_2) → B_{12}
  468. Intersect(n_1, a_2) → C_{12}
  469. Intersect(n_1, s_1) → D_{12}
  470. Intersect(b_2, d_2) → E_{12}
  471. Intersect(b_2, c_2) → F_{12}
  472. Intersect(c_2, h_2) → G_{12}
  473. Intersect(g_1, j_1) → H_{12}
  474. Intersect(g_1, l_1) → I_{12}
  475. Intersect(k_1, l_1) → J_{12}
  476. Intersect(e_1, k_1) → K_{12}
  477. Polygon(Q_{11}, V_{11}, F_{12}, G_{12}, H_{12}, I_{12}, J_{12}, K_{12}, W_{11}, Z_{11}, I_{11}, A_{12}, B_{12}, C_{12}, D_{12}, E_{12}) → poly4, q_{17}, e_{18}, f_{18}, g_{18}, h_{18}, i_{19}, j_{18}, k_{18}, v_{11}, w_{11}, z_{11}, i_{18}, a_{18}, b_{18}, c_{18}, d_{19}
  478. Intersect(q_1, r_1) → L_{12}
  479. Intersect(r_1, s_1) → M_{12}
  480. Intersect(m_1, s_1) → N_{12}
  481. Intersect(m_1, a_2) → O_{12}
  482. Intersect(c_6, e_6) → P_{12}
  483. Intersect(r_5, e_6) → Q_{12}
  484. Intersect(r_5, t_5) → R_{12}
  485. Intersect(t_5, g_{16}) → S_{12}
  486. Polygon(M_{11}, L_{12}, M_{12}, N_{12}, O_{12}, P_{12}, Q_{12}, R_{12}, S_{12}) → poly5, m_{18}, l_{18}, m_{19}, n_{18}, o_{12}, p_{18}, q_{18}, r_{17}, s_{17}
  487. Intersect(f_1, i_1) → T_{12}
  488. Intersect(i_1, j_1) → U_{12}
  489. Intersect(h_1, j_1) → V_{12}
  490. Intersect(h_1, l_1) → W_{12}
  491. Intersect(j_2, l_2) → Z_{12}
  492. Intersect(j_2, k_2) → A_{13}
  493. Intersect(k_2, q_2) → B_{13}
  494. Intersect(p_2, q_2) → C_{13}
  495. Polygon(U_{11}, T_{12}, U_{12}, V_{12}, W_{12}, Z_{12}, A_{13}, B_{13}, C_{13}) → poly6, u_1, t_{17}, u_{12}, v_{12}, w_{12}, z_{12}, a_{19}, b_{19}, c_{19}
  496. Intersect(p_1, s_1) → D_{13}
  497. Intersect(p_1, q_1) → E_{13}
  498. Intersect(q_1, a_2) → F_{13}
  499. Intersect(t_5, b_6) → G_{13}
  500. Intersect(s_5, t_5) → H_{13}
  501. Intersect(s_5, e_6) → I_{13}
  502. Intersect(d_6, e_6) → J_{13}
  503. Intersect(f_6, l_6) → K_{13}
  504. Intersect(f_6, g_6) → L_{13}
  505. Intersect(g_6, i_6) → M_{13}
  506. Intersect(b_2, e_2) → N_{13}
  507. Intersect(b_2, i_2) → O_{13}
  508. Intersect(h_2, i_2) → P_{13}
  509. Intersect(g_2, h_2) → Q_{13}
  510. Polygon(D_{12}, D_{13}, L_{13}, M_{13}, N_{13}, O_{13}, P_{13}, Q_{13}, E_{13}, F_{13}, O_{12}, G_{13}, H_{13}, I_{13}, J_{13}, K_{13}) → poly7, d_{20}, k_{19}, l_{19}, m_{20}, n_{19}, o_{13}, p_{19}, q_{19}, d_{21}, e_{19}, f_{19}, o_1, g_{19}, h_{19}, i_{20}, j_{19}
  511. Intersect(d_2, f_2) → R_{13}
  512. Intersect(d_2, e_2) → S_{13}
  513. Intersect(c_2, e_2) → T_{13}
  514. Intersect(c_2, i_2) → U_{13}
  515. Intersect(d_4, f_4) → V_{13}
  516. Intersect(d_4, g_4) → W_{13}
  517. Intersect(g_4, i_4) → Z_{13}
  518. Intersect(j_2, m_2) → A_{14}
  519. Intersect(j_2, r_2) → B_{14}
  520. Intersect(q_2, r_2) → C_{14}
  521. Intersect(n_2, q_2) → D_{14}
  522. Intersect(f_1, l_1) → E_{14}
  523. Intersect(e_1, f_1) → F_{14}
  524. Intersect(e_1, j_1) → G_{14}
  525. Polygon(H_{12}, R_{13}, C_{14}, D_{14}, W_{12}, E_{14}, F_{14}, G_{14}, S_{13}, T_{13}, U_{13}, V_{13}, W_{13}, Z_{13}, A_{14}, B_{14}) → poly8, h_{20}, b_{20}, c_{20}, d_{22}, w_1, e_{20}, f_{20}, g_{20}, r_{18}, s_{18}, t_{18}, u_{13}, v_{13}, w_{13}, z_{13}, a_{20}
  526. Intersect(f_2, i_2) → H_{14}
  527. Intersect(f_2, g_2) → I_{14}
  528. Intersect(e_2, g_2) → J_{14}
  529. Intersect(j_6, l_6) → K_{14}
  530. Intersect(l_6, m_6) → L_{14}
  531. Intersect(g_6, m_6) → M_{14}
  532. Intersect(g_6, h_6) → N_{14}
  533. Intersect(n_6, q_6) → O_{14}
  534. Intersect(n_6, b_7) → P_{14}
  535. Intersect(t_6, b_7) → Q_{14}
  536. Intersect(d_4, e_4) → R_{14}
  537. Intersect(d_4, h_4) → S_{14}
  538. Intersect(h_4, i_4) → T_{14}
  539. Intersect(i_4, k_4) → U_{14}
  540. Polygon(U_{13}, H_{14}, P_{14}, Q_{14}, R_{14}, S_{14}, T_{14}, U_{14}, I_{14}, J_{14}, N_{13}, K_{14}, L_{14}, M_{14}, N_{14}, O_{14}) → poly9, u_2, o_{14}, p_{20}, q_{20}, r_{19}, s_{19}, t_{19}, u_{14}, h_{21}, i_{21}, j_{20}, n_{20}, k_{20}, l_{20}, m_{21}, n_{21}
  541. Intersect(h_6, j_6) → V_{14}
  542. Intersect(j_6, k_6) → W_{14}
  543. Intersect(k_6, m_6) → Z_{14}
  544. Intersect(m_6, k_{16}) → A_{15}
  545. Intersect(s_8, a_9) → B_{15}
  546. Intersect(r_8, s_8) → C_{15}
  547. Intersect(r_8, d_9) → D_{15}
  548. Intersect(c_9, d_9) → E_{15}
  549. Intersect(e_9, g_9) → F_{15}
  550. Intersect(e_9, h_9) → G_{15}
  551. Intersect(h_9, j_9) → H_{15}
  552. Intersect(n_6, p_6) → I_{15}
  553. Intersect(n_6, a_7) → J_{15}
  554. Intersect(t_6, a_7) → K_{15}
  555. Intersect(r_6, t_6) → L_{15}
  556. Polygon(N_{14}, V_{14}, G_{15}, H_{15}, I_{15}, J_{15}, K_{15}, L_{15}, W_{14}, Z_{14}, A_{15}, B_{15}, C_{15}, D_{15}, E_{15}, F_{15}) → poly10, n_{22}, f_{21}, g_{21}, h_{22}, i_{22}, j_{21}, k_{21}, l_{21}, v_{14}, w_{14}, z_{14}, a_{21}, b_{21}, c_{21}, d_{23}, e_{21}
  557. Intersect(q_6, s_6) → M_{15}
  558. Intersect(p_6, q_6) → N_{15}
  559. Intersect(p_6, b_7) → O_{15}
  560. Intersect(a_7, b_7) → P_{15}
  561. Intersect(c_7, e_7) → Q_{15}
  562. Intersect(c_7, j_7) → R_{15}
  563. Intersect(h_7, j_7) → S_{15}
  564. Intersect(r_4, s_4) → T_{15}
  565. Intersect(m_4, r_4) → U_{15}
  566. Intersect(m_4, n_4) → V_{15}
  567. Intersect(n_4, q_4) → W_{15}
  568. Intersect(g_4, h_4) → Z_{15}
  569. Intersect(h_4, j_4) → A_{16}
  570. Intersect(j_4, k_4) → B_{16}
  571. Intersect(e_4, k_4) → C_{16}
  572. Polygon(R_{14}, M_{15}, V_{15}, W_{15}, Z_{15}, A_{16}, B_{16}, C_{16}, N_{15}, O_{15}, P_{15}, Q_{15}, R_{15}, S_{15}, T_{15}, U_{15}) → poly11, r_{20}, u_{15}, v_{15}, w_{15}, z_{15}, a_{22}, b_{22}, c_{22}, m_{22}, n_{23}, o_{15}, p_{21}, q_{21}, r_{21}, s_{20}, t_{20}
  573. Intersect(q_4, s_4) → D_{16}
  574. Intersect(e_7, g_7) → F_{16}
  575. Intersect(d_7, e_7) → G_{16}
  576. Intersect(d_7, j_7) → H_{16}
  577. Intersect(i_7, j_7) → I_{16}
  578. Intersect(k_7, m_7) → J_{16}
  579. Intersect(k_7, s_7) → K_{16}
  580. Intersect(q_7, s_7) → L_{16}
  581. Intersect(a_5, b_5) → M_{16}
  582. Point(g_5) → N_{16}
  583. Intersect(g_5, h_5) → O_{16}
  584. Intersect(d_5, h_5) → P_{16}
  585. Intersect(l_4, m_4) → Q_{16}
  586. Intersect(m_4, p_4) → R_{16}
  587. Intersect(p_4, q_4) → S_{16}
  588. Polygon(D_{16}, T_{15}, N_{16}, O_{16}, P_{16}, Q_{16}, R_{16}, S_{16}, F_{16}, G_{16}, H_{16}, I_{16}, J_{16}, K_{16}, L_{16}, M_{16}) → poly12, d_{24}, m_{23}, n_{24}, o_{16}, p_{22}, q_{22}, r_{22}, s_{21}, t_{21}, f_{22}, g_{22}, h_{23}, i_{23}, j_{22}, k_{22}, l_{22}
  589. Intersect(a_9, c_9) → T_{16}
  590. Intersect(t_8, a_9) → U_{16}
  591. Intersect(r_8, t_8) → V_{16}
  592. Intersect(q_8, r_8) → W_{16}
  593. Intersect(i_{11}, k_{11}) → Z_{16}
  594. Intersect(h_{11}, i_{11}) → A_{17}
  595. Intersect(h_{11}, n_{11}) → B_{17}
  596. Intersect(m_{11}, n_{11}) → C_{17}
  597. Intersect(p_{11}, r_{11}) → D_{17}
  598. Intersect(p_{11}, c_{12}) → E_{17}
  599. Intersect(a_{12}, c_{12}) → F_{17}
  600. Intersect(e_9, f_9) → G_{17}
  601. Intersect(e_9, i_9) → H_{17}
  602. Intersect(i_9, j_9) → I_{17}
  603. Intersect(j_9, l_9) → J_{17}
  604. Polygon(E_{15}, T_{16}, E_{17}, F_{17}, G_{17}, H_{17}, I_{17}, J_{17}, U_{16}, V_{16}, W_{16}, Z_{16}, A_{17}, B_{17}, C_{17}, D_{17}) → poly13, e_{22}, d_{25}, e_{23}, f_{23}, g_{23}, h_{24}, i_{24}, j_{23}, t_{22}, u_{16}, v_{16}, w_{16}, z_{16}, a_{23}, b_{23}, c_{23}
  605. Intersect(f_7, h_7) → K_{17}
  606. Intersect(s_6, a_7) → L_{17}
  607. Intersect(r_6, s_6) → M_{17}
  608. Point(r_6) → N_{17}
  609. Point(k_9) → O_{17}
  610. Intersect(g_9, k_9) → P_{17}
  611. Intersect(f_9, g_9) → Q_{17}
  612. Intersect(f_9, h_9) → R_{17}
  613. Intersect(h_9, i_9) → S_{17}
  614. Intersect(m_9, p_9) → T_{17}
  615. Intersect(m_9, a_{10}) → U_{17}
  616. Intersect(s_9, a_{10}) → V_{17}
  617. Intersect(c_7, d_7) → W_{17}
  618. Intersect(c_7, i_7) → Z_{17}
  619. Intersect(h_7, i_7) → A_{18}
  620. Polygon(K_{17}, P_{15}, T_{17}, U_{17}, V_{17}, W_{17}, Z_{17}, A_{18}, L_{17}, M_{17}, N_{17}, O_{17}, P_{17}, Q_{17}, R_{17}, S_{17}) → poly14, k_{23}, s_{22}, t_{23}, u_{17}, v_{17}, w_{17}, z_{17}, a_{24}, p_{23}, l_{23}, m_{24}, n_{25}, o_{17}, p_{24}, q_{23}, r_{23}
  621. Intersect(i_9, k_9) → B_{18}
  622. Intersect(k_9, l_9) → C_{18}
  623. Intersect(f_9, l_9) → D_{18}
  624. Intersect(r_{11}, t_{11}) → E_{18}
  625. Intersect(q_{11}, r_{11}) → F_{18}
  626. Intersect(q_{11}, c_{12}) → G_{18}
  627. Intersect(b_{12}, c_{12}) → H_{18}
  628. Intersect(d_{12}, f_{12}) → I_{18}
  629. Intersect(d_{12}, g_{12}) → J_{18}
  630. Intersect(g_{12}, i_{12}) → K_{18}
  631. Intersect(m_9, n_9) → L_{18}
  632. Intersect(m_9, t_9) → M_{18}
  633. Intersect(s_9, t_9) → N_{18}
  634. Intersect(q_9, s_9) → O_{18}
  635. Polygon(S_{17}, B_{18}, J_{18}, K_{18}, L_{18}, M_{18}, N_{18}, O_{18}, C_{18}, D_{18}, G_{17}, E_{18}, F_{18}, G_{18}, H_{18}, I_{18}) → poly15, s_{23}, i_{25}, j_{24}, k_{24}, l_{24}, m_{25}, n_{26}, o_{18}, b_{24}, c_{24}, d_{26}, g_{24}, e_{24}, f_{24}, g_{25}, h_{25}
  636. Intersect(p_9, r_9) → P_{18}
  637. Intersect(n_9, p_9) → Q_{18}
  638. Intersect(n_9, a_{10}) → R_{18}
  639. Intersect(t_9, a_{10}) → S_{18}
  640. Intersect(b_{10}, d_{10}) → T_{18}
  641. Intersect(b_{10}, e_{10}) → U_{18}
  642. Intersect(e_{10}, g_{10}) → V_{18}
  643. Intersect(k_7, l_7) → W_{18}
  644. Intersect(k_7, r_7) → Z_{18}
  645. Intersect(q_7, r_7) → A_{19}
  646. Intersect(n_7, q_7) → B_{19}
  647. Intersect(g_7, i_7) → C_{19}
  648. Intersect(f_7, g_7) → D_{19}
  649. Intersect(d_7, f_7) → E_{19}
  650. Polygon(W_{17}, P_{18}, A_{19}, B_{19}, I_{16}, C_{19}, D_{19}, E_{19}, Q_{18}, R_{18}, S_{18}, T_{18}, U_{18}, V_{18}, W_{18}, Z_{18}) → poly16, w_2, z_{18}, a_{25}, b_{25}, i_{26}, c_{25}, d_{27}, e_{25}, p_{25}, q_{24}, r_{24}, s_{24}, t_{24}, u_{18}, v_{18}, w_{18}
  651. Intersect(f_{12}, j_{12}) → F_{19}
  652. Intersect(e_{12}, f_{12}) → G_{19}
  653. Intersect(e_{12}, g_{12}) → H_{19}
  654. Intersect(g_{12}, h_{12}) → I_{19}
  655. Intersect(l_{12}, n_{12}) → J_{19}
  656. Intersect(l_{12}, t_{12}) → K_{19}
  657. Intersect(r_{12}, t_{12}) → L_{19}
  658. Intersect(b_{10}, c_{10}) → M_{19}
  659. Intersect(b_{10}, f_{10}) → N_{19}
  660. Intersect(f_{10}, g_{10}) → O_{19}
  661. Intersect(g_{10}, i_{10}) → P_{19}
  662. Intersect(r_9, t_9) → Q_{19}
  663. Intersect(q_9, r_9) → R_{19}
  664. Intersect(n_9, q_9) → S_{19}
  665. Polygon(L_{18}, F_{19}, O_{19}, P_{19}, S_{18}, Q_{19}, R_{19}, S_{19}, G_{19}, H_{19}, I_{19}, J_{19}, K_{19}, L_{19}, M_{19}, N_{19}) → poly17, l_{25}, n_{27}, o_{19}, p_{26}, s_{25}, q_{25}, r_{25}, s_{26}, f_{25}, g_{26}, h_{26}, i_{27}, j_{25}, k_{25}, l_{26}, m_{26}
  666. Intersect(h_{12}, j_{12}) → T_{19}
  667. Intersect(j_{12}, k_{12}) → U_{19}
  668. Intersect(e_{12}, k_{12}) → V_{19}
  669. Intersect(d_{12}, e_{12}) → W_{19}
  670. Intersect(q_{14}, s_{14}) → Z_{19}
  671. Intersect(p_{14}, q_{14}) → A_{20}
  672. Intersect(p_{14}, b_{15}) → B_{20}
  673. Intersect(a_{15}, b_{15}) → C_{20}
  674. Intersect(c_{15}, e_{15}) → D_{20}
  675. Intersect(c_{15}, j_{15}) → E_{20}
  676. Intersect(h_{15}, j_{15}) → F_{20}
  677. Intersect(l_{12}, m_{12}) → G_{20}
  678. Intersect(l_{12}, s_{12}) → H_{20}
  679. Intersect(r_{12}, s_{12}) → I_{20}
  680. Intersect(p_{12}, r_{12}) → J_{20}
  681. Polygon(I_{19}, T_{19}, E_{20}, F_{20}, G_{20}, H_{20}, I_{20}, J_{20}, U_{19}, V_{19}, W_{19}, Z_{19}, A_{20}, B_{20}, C_{20}, D_{20}) → poly18, i_{28}, d_{28}, e_{26}, f_{26}, g_{27}, h_{27}, i_{29}, j_{26}, t_{25}, u_{19}, v_{19}, w_{19}, z_{19}, a_{26}, b_{26}, c_{26}
  682. Intersect(n_{12}, q_{12}) → K_{20}
  683. Intersect(m_{12}, n_{12}) → L_{20}
  684. Intersect(m_{12}, t_{12}) → M_{20}
  685. Intersect(s_{12}, t_{12}) → N_{20}
  686. Intersect(a_{13}, c_{13}) → O_{20}
  687. Intersect(a_{13}, h_{13}) → P_{20}
  688. Intersect(f_{13}, h_{13}) → Q_{20}
  689. Intersect(q_{10}, r_{10}) → R_{20}
  690. Intersect(k_{10}, r_{10}) → S_{20}
  691. Intersect(k_{10}, l_{10}) → T_{20}
  692. Point(l_{10}) → U_{20}
  693. Intersect(e_{10}, f_{10}) → V_{20}
  694. Intersect(f_{10}, h_{10}) → W_{20}
  695. Intersect(h_{10}, i_{10}) → Z_{20}
  696. Intersect(c_{10}, i_{10}) → A_{21}
  697. Polygon(M_{19}, K_{20}, T_{20}, U_{20}, V_{20}, W_{20}, Z_{20}, A_{21}, L_{20}, M_{20}, N_{20}, O_{20}, P_{20}, Q_{20}, R_{20}, S_{20}) → poly19, m_{27}, s_{27}, t_{26}, u_{20}, v_{20}, w_{20}, z_{20}, a_{27}, k_{26}, l_{27}, m_{28}, n_{28}, o_{20}, p_{27}, q_{26}, r_{26}
  698. Intersect(s_{14}, a_{15}) → B_{21}
  699. Intersect(r_{14}, s_{14}) → C_{21}
  700. Intersect(p_{14}, r_{14}) → D_{21}
  701. Intersect(n_{14}, p_{14}) → E_{21}
  702. Intersect(c_{15}, d_{15}) → F_{21}
  703. Intersect(c_{15}, i_{15}) → G_{21}
  704. Intersect(h_{15}, i_{15}) → H_{21}
  705. Intersect(f_{15}, h_{15}) → I_{21}
  706. Polygon(C_{20}, B_{21}, C_{21}, D_{21}, E_{21}, F_{21}, G_{21}, H_{21}, I_{21}) → poly20, c_{27}, b_{27}, c_{28}, d_{29}, e_{27}, f_{27}, g_{28}, h_{28}, i_{30}
  707. Intersect(e_{15}, g_{15}) → J_{21}
  708. Intersect(c_{13}, e_{13}) → K_{21}
  709. Intersect(b_{13}, c_{13}) → L_{21}
  710. Intersect(b_{13}, h_{13}) → M_{21}
  711. Intersect(g_{13}, h_{13}) → N_{21}
  712. Intersect(j_{10}, k_{10}) → O_{21}
  713. Intersect(k_{10}, m_{10}) → P_{21}
  714. Intersect(m_{10}, n_{10}) → Q_{21}
  715. Intersect(n_{10}, q_{10}) → R_{21}
  716. Polygon(R_{20}, K_{21}, L_{21}, M_{21}, N_{21}, O_{21}, P_{21}, Q_{21}, R_{21}) → poly21, r_{27}, k_{27}, l_{28}, m_{29}, n_{29}, o_{21}, p_{28}, q_{27}, r_{28}
  717. Intersect(b_6, d_6) → S_{21}
  718. Intersect(a_6, b_6) → T_{21}
  719. Intersect(s_5, a_6) → U_{21}
  720. Intersect(r_5, s_5) → V_{21}
  721. Point(l_8) → W_{21}
  722. Intersect(i_8, j_8) → Z_{21}
  723. Intersect(i_8, p_8) → A_{22}
  724. Intersect(n_8, p_8) → B_{22}
  725. Intersect(q_8, s_8) → C_{22}
  726. Intersect(q_8, d_9) → D_{22}
  727. Intersect(b_9, d_9) → E_{22}
  728. Intersect(f_6, h_6) → F_{22}
  729. Intersect(h_6, i_6) → G_{22}
  730. Intersect(i_6, k_6) → H_{22}
  731. Polygon(J_{13}, S_{21}, D_{22}, E_{22}, A_{15}, F_{22}, G_{22}, H_{22}, T_{21}, U_{21}, V_{21}, W_{21}, Z_{21}, A_{22}, B_{22}, C_{22}) → poly22, j_{27}, c_{29}, d_{30}, e_{28}, a_{29}, f_{28}, g_{29}, h_{29}, s_{28}, t_{27}, u_{21}, v_{21}, w_{21}, z_{21}, a_{28}, b_{28}
  732. Intersect(f_4, j_4) → I_{22}
  733. Intersect(e_4, f_4) → J_{22}
  734. Intersect(e_4, g_4) → K_{22}
  735. Intersect(r_4, t_4) → L_{22}
  736. Intersect(l_4, r_4) → M_{22}
  737. Intersect(l_4, n_4) → N_{22}
  738. Intersect(s_2, b_3) → O_{22}
  739. Intersect(s_2, f_3) → P_{22}
  740. Intersect(e_3, f_3) → Q_{22}
  741. Intersect(c_3, e_3) → R_{22}
  742. Intersect(k_2, r_2) → S_{22}
  743. Intersect(p_2, r_2) → T_{22}
  744. Intersect(n_2, p_2) → U_{22}
  745. Intersect(m_2, n_2) → V_{22}
  746. Polygon(A_{14}, I_{22}, Q_{22}, R_{22}, S_{22}, T_{22}, U_{22}, V_{22}, J_{22}, K_{22}, Z_{15}, L_{22}, M_{22}, N_{22}, O_{22}, P_{22}) → poly23, a_{30}, p_{29}, q_{28}, r_{29}, s_{29}, t_{28}, u_{22}, v_{22}, i_{31}, j_{28}, k_{28}, z_2, l_{29}, m_{30}, n_{30}, o_{22}
  747. Intersect(a_6, c_6) → W_{22}
  748. Intersect(c_6, d_6) → Z_{22}
  749. Intersect(r_5, d_6) → A_{23}
  750. Intersect(m_8, p_8) → B_{23}
  751. Intersect(h_8, p_8) → C_{23}
  752. Intersect(h_8, j_8) → D_{23}
  753. Intersect(j_8, k_8) → E_{23}
  754. Polygon(S_{12}, W_{22}, Z_{22}, A_{23}, V_{21}, B_{23}, C_{23}, D_{23}, E_{23}) → poly24, s_{30}, w_{22}, z_{22}, a_{31}, v_1, b_{29}, c_{30}, d_{31}, e_{29}
  755. Intersect(l_2, p_2) → F_{23}
  756. Point(l_2) → G_{23}
  757. Intersect(k_2, m_2) → H_{23}
  758. Intersect(s_2, a_3) → I_{23}
  759. Intersect(s_2, t_2) → J_{23}
  760. Intersect(t_2, e_3) → K_{23}
  761. Intersect(d_3, e_3) → L_{23}
  762. Polygon(C_{13}, F_{23}, G_{23}, H_{23}, S_{22}, I_{23}, J_{23}, K_{23}, L_{23}) → poly25, c_{31}, f_{29}, g_{30}, h_{30}, s_{31}, i_{32}, j_{29}, k_{29}, l_{30}
  763. Intersect(l_8, n_8) → M_{23}
  764. Intersect(k_8, l_8) → N_{23}
  765. Intersect(i_8, k_8) → O_{23}
  766. Intersect(h_8, i_8) → P_{23}
  767. Intersect(a_{11}, c_{11}) → Q_{23}
  768. Intersect(t_{10}, a_{11}) → R_{23}
  769. Intersect(t_{10}, f_{11}) → S_{23}
  770. Intersect(e_{11}, f_{11}) → T_{23}
  771. Intersect(g_{11}, i_{11}) → U_{23}
  772. Intersect(l_{11}, n_{11}) → W_{23}
  773. Intersect(q_8, c_9) → Z_{23}
  774. Intersect(b_9, c_9) → A_{24}
  775. Intersect(t_8, b_9) → B_{24}
  776. Polygon(B_{22}, M_{23}, V_{23}, W_{23}, W_{16}, Z_{23}, A_{24}, B_{24}, N_{23}, O_{23}, P_{23}, Q_{23}, R_{23}, S_{23}, T_{23}, U_{23}) → poly26, b_{30}, u_{23}, v_{23}, w_{23}, w_3, z_{23}, a_{32}, b_{31}, m_{31}, n_{31}, o_{23}, p_{30}, q_{29}, r_{30}, s_{32}, t_{29}
  777. Intersect(p_4, t_4) → C_{24}
  778. Intersect(l_4, s_4) → E_{24}
  779. Intersect(a_5, c_5) → F_{24}
  780. Intersect(a_5, f_5) → G_{24}
  781. Intersect(f_5, h_5) → H_{24}
  782. Intersect(g_3, h_3) → I_{24}
  783. Intersect(g_3, k_3) → J_{24}
  784. Intersect(k_3, l_3) → K_{24}
  785. Intersect(l_3, n_3) → L_{24}
  786. Intersect(t_2, f_3) → M_{24}
  787. Intersect(d_3, f_3) → N_{24}
  788. Intersect(c_3, d_3) → O_{24}
  789. Intersect(b_3, c_3) → P_{24}
  790. Polygon(O_{22}, C_{24}, K_{24}, L_{24}, M_{24}, N_{24}, O_{24}, P_{24}, D_{24}, E_{24}, Q_{16}, F_{24}, G_{24}, H_{24}, I_{24}, J_{24}) → poly27, o_2, j_{30}, k_{30}, l_{31}, m_{32}, n_{32}, o_{24}, p_{31}, c_{32}, d_{32}, e_{30}, q_{30}, f_{30}, g_{31}, h_{31}, i_{33}
  791. Intersect(t_{11}, b_{12}) → Q_{24}
  792. Intersect(s_{11}, t_{11}) → R_{24}
  793. Intersect(q_{11}, s_{11}) → S_{24}
  794. Intersect(p_{11}, q_{11}) → T_{24}
  795. Intersect(h_{14}, j_{14}) → U_{24}
  796. Intersect(g_{14}, h_{14}) → V_{24}
  797. Intersect(g_{14}, m_{14}) → W_{24}
  798. Intersect(l_{14}, m_{14}) → Z_{24}
  799. Intersect(n_{14}, q_{14}) → A_{25}
  800. Intersect(n_{14}, b_{15}) → B_{25}
  801. Intersect(t_{14}, b_{15}) → C_{25}
  802. Intersect(d_{12}, h_{12}) → D_{25}
  803. Intersect(h_{12}, i_{12}) → E_{25}
  804. Intersect(i_{12}, k_{12}) → F_{25}
  805. Polygon(H_{18}, Q_{24}, B_{25}, C_{25}, W_{19}, D_{25}, E_{25}, F_{25}, R_{24}, S_{24}, T_{24}, U_{24}, V_{24}, W_{24}, Z_{24}, A_{25}) → poly28, h_{32}, a_{33}, b_{32}, c_{33}, w_4, d_{33}, e_{31}, f_{31}, q_{31}, r_{31}, s_{33}, t_{30}, u_{24}, v_{24}, w_{24}, z_{24}
  806. Intersect(l_7, n_7) → G_{25}
  807. Point(n_7) → H_{25}
  808. Intersect(p_7, r_7) → I_{25}
  809. Intersect(r_7, s_7) → J_{25}
  810. Intersect(c_8, e_8) → K_{25}
  811. Intersect(e_8, f_8) → L_{25}
  812. Point(f_8) → M_{25}
  813. Intersect(a_8, l_{10}) → N_{25}
  814. Intersect(j_{10}, l_{10}) → O_{25}
  815. Intersect(j_{10}, r_{10}) → P_{25}
  816. Intersect(p_{10}, r_{10}) → Q_{25}
  817. Intersect(c_{10}, e_{10}) → R_{25}
  818. Intersect(c_{10}, d_{10}) → S_{25}
  819. Intersect(d_{10}, h_{10}) → T_{25}
  820. Polygon(W_{18}, G_{25}, P_{25}, Q_{25}, V_{20}, R_{25}, S_{25}, T_{25}, H_{25}, I_{25}, J_{25}, K_{25}, L_{25}, M_{25}, N_{25}, O_{25}) → poly29, w_5, o_{25}, p_{32}, q_{32}, v_2, r_{32}, s_{34}, t_{31}, g_{32}, h_{33}, i_{34}, j_{31}, k_{31}, l_{32}, m_{33}, n_{33}
  821. Intersect(p_{11}, b_{12}) → U_{25}
  822. Intersect(a_{12}, b_{12}) → V_{25}
  823. Intersect(s_{11}, a_{12}) → W_{25}
  824. Intersect(k_{11}, m_{11}) → Z_{25}
  825. Intersect(j_{11}, k_{11}) → A_{26}
  826. Intersect(h_{11}, j_{11}) → B_{26}
  827. Intersect(g_{11}, h_{11}) → C_{26}
  828. Intersect(t_{13}, d_{14}) → D_{26}
  829. Intersect(s_{13}, t_{13}) → E_{26}
  830. Intersect(s_{13}, a_{14}) → F_{26}
  831. Intersect(a_{14}, b_{14}) → G_{26}
  832. Intersect(f_{14}, h_{14}) → H_{26}
  833. Intersect(f_{14}, m_{14}) → I_{26}
  834. Intersect(k_{14}, m_{14}) → J_{26}
  835. Polygon(T_{24}, U_{25}, E_{26}, F_{26}, G_{26}, H_{26}, I_{26}, J_{26}, V_{25}, W_{25}, C_{17}, Z_{25}, A_{26}, B_{26}, C_{26}, D_{26}) → poly30, t_{32}, d_{34}, e_{32}, f_{32}, g_{33}, h_{34}, i_{35}, j_{32}, u_{25}, v_{25}, w_{25}, c_{34}, z_{25}, a_{34}, b_{33}, c_{35}
  836. Intersect(m_7, p_7) → K_{26}
  837. Intersect(l_7, m_7) → L_{26}
  838. Intersect(l_7, s_7) → M_{26}
  839. Intersect(t_7, b_8) → N_{26}
  840. Intersect(t_7, g_8) → O_{26}
  841. Intersect(e_8, g_8) → P_{26}
  842. Intersect(i_5, j_5) → Q_{26}
  843. Intersect(i_5, p_5) → R_{26}
  844. Intersect(n_5, p_5) → S_{26}
  845. Intersect(l_5, n_5) → T_{26}
  846. Intersect(f_5, g_5) → U_{26}
  847. Intersect(e_5, g_5) → V_{26}
  848. Intersect(d_5, e_5) → W_{26}
  849. Intersect(b_5, d_5) → Z_{26}
  850. Polygon(M_{16}, K_{26}, S_{26}, T_{26}, U_{26}, V_{26}, W_{26}, Z_{26}, L_{26}, M_{26}, J_{25}, N_{26}, O_{26}, P_{26}, Q_{26}, R_{26}) → poly31, m_{34}, r_{33}, s_{35}, t_{33}, u_{26}, v_{26}, w_{26}, z_{26}, k_{32}, l_{33}, m_{35}, j_{33}, n_{34}, o_{26}, p_{33}, q_{33}
  851. Intersect(j_{11}, l_{11}) → A_{27}
  852. Intersect(l_{11}, m_{11}) → B_{27}
  853. Intersect(g_{11}, m_{11}) → C_{27}
  854. Intersect(a_{14}, c_{14}) → D_{27}
  855. Intersect(r_{13}, a_{14}) → E_{27}
  856. Intersect(r_{13}, t_{13}) → F_{27}
  857. Intersect(j_{13}, k_{13}) → G_{27}
  858. Intersect(j_{13}, q_{13}) → H_{27}
  859. Intersect(p_{13}, q_{13}) → I_{27}
  860. Intersect(m_{13}, p_{13}) → J_{27}
  861. Intersect(s_{10}, t_{10}) → K_{27}
  862. Intersect(t_{10}, b_{11}) → L_{27}
  863. Intersect(b_{11}, c_{11}) → M_{27}
  864. Intersect(c_{11}, e_{11}) → N_{27}
  865. Polygon(T_{23}, A_{27}, I_{27}, J_{27}, K_{27}, L_{27}, M_{27}, N_{27}, B_{27}, C_{27}, C_{26}, D_{27}, E_{27}, F_{27}, G_{27}, H_{27}) → poly32, t_{34}, h_{35}, i_{36}, j_{34}, k_{33}, l_{34}, m_{36}, n_{35}, a_{35}, b_{34}, c_{36}, c_{37}, d_{35}, e_{33}, f_{33}, g_{34}
  866. Intersect(c_5, e_5) → O_{27}
  867. Intersect(b_5, c_5) → P_{27}
  868. Intersect(b_5, f_5) → Q_{27}
  869. Intersect(i_5, k_5) → R_{27}
  870. Intersect(i_5, q_5) → S_{27}
  871. Intersect(n_5, q_5) → T_{27}
  872. Intersect(m_5, n_5) → U_{27}
  873. Intersect(p_3, c_4) → V_{27}
  874. Intersect(b_4, c_4) → W_{27}
  875. Intersect(a_4, b_4) → Z_{27}
  876. Intersect(j_3, k_3) → A_{28}
  877. Intersect(k_3, m_3) → B_{28}
  878. Intersect(m_3, n_3) → C_{28}
  879. Intersect(h_3, n_3) → D_{28}
  880. Polygon(I_{24}, O_{27}, W_{27}, Z_{27}, A_{28}, B_{28}, C_{28}, D_{28}, P_{27}, Q_{27}, U_{26}, R_{27}, S_{27}, T_{27}, U_{27}, V_{27}) → poly33, i_{37}, v_{27}, w_{27}, z_{27}, a_{36}, b_{35}, c_{38}, d_{36}, o_{27}, p_{34}, q_{34}, u_3, r_{34}, s_{36}, t_{35}, u_{27}
  881. Intersect(k_8, m_8) → E_{28}
  882. Intersect(m_8, n_8) → F_{28}
  883. Intersect(h_8, n_8) → G_{28}
  884. Intersect(d_{11}, f_{11}) → H_{28}
  885. Intersect(s_{10}, f_{11}) → I_{28}
  886. Intersect(s_{10}, a_{11}) → J_{28}
  887. Intersect(a_{11}, b_{11}) → K_{28}
  888. Polygon(E_{23}, E_{28}, F_{28}, G_{28}, P_{23}, H_{28}, I_{28}, J_{28}, K_{28}) → poly34, e_{34}, e_{35}, f_{34}, g_{35}, p_{35}, h_{36}, i_{38}, j_{35}, k_{34}
  889. Intersect(a_3, d_3) → L_{28}
  890. Intersect(a_3, b_3) → M_{28}
  891. Intersect(t_2, b_3) → N_{28}
  892. Intersect(g_3, i_3) → O_{28}
  893. Intersect(g_3, j_3) → P_{28}
  894. Intersect(j_3, l_3) → Q_{28}
  895. Intersect(l_3, m_3) → R_{28}
  896. Polygon(L_{23}, L_{28}, M_{28}, N_{28}, M_{24}, O_{28}, P_{28}, Q_{28}, R_{28}) → poly35, l_{35}, l_{36}, m_{37}, n_{36}, m_{38}, o_{28}, p_{36}, q_{35}, r_{35}
  897. Intersect(d_{15}, e_{15}) → S_{28}
  898. Intersect(d_{15}, j_{15}) → T_{28}
  899. Intersect(i_{15}, j_{15}) → U_{28}
  900. Intersect(k_{15}, m_{15}) → V_{28}
  901. Intersect(k_{15}, s_{15}) → W_{28}
  902. Intersect(q_{15}, s_{15}) → Z_{28}
  903. Intersect(a_{13}, b_{13}) → A_{29}
  904. Intersect(a_{13}, g_{13}) → B_{29}
  905. Intersect(f_{13}, g_{13}) → C_{29}
  906. Intersect(d_{13}, f_{13}) → D_{29}
  907. Intersect(q_{12}, s_{12}) → E_{29}
  908. Intersect(p_{12}, q_{12}) → F_{29}
  909. Intersect(m_{12}, p_{12}) → G_{29}
  910. Polygon(G_{20}, J_{21}, C_{29}, D_{29}, N_{20}, E_{29}, F_{29}, G_{29}, S_{28}, T_{28}, U_{28}, V_{28}, W_{28}, Z_{28}, A_{29}, B_{29}) → poly36, g_{36}, b_{36}, c_{39}, d_{37}, n_{37}, e_{36}, f_{35}, g_{37}, j_{36}, s_{37}, t_{36}, u_{28}, v_{28}, w_{28}, z_{28}, a_{37}
  911. Intersect(g_{15}, i_{15}) → H_{29}
  912. Intersect(f_{15}, g_{15}) → I_{29}
  913. Intersect(d_{15}, f_{15}) → J_{29}
  914. Intersect(k_{15}, l_{15}) → K_{29}
  915. Intersect(k_{15}, r_{15}) → L_{29}
  916. Intersect(q_{15}, r_{15}) → M_{29}
  917. Intersect(n_{15}, q_{15}) → N_{29}
  918. Polygon(U_{28}, H_{29}, I_{29}, J_{29}, F_{21}, K_{29}, L_{29}, M_{29}, N_{29}) → poly37, u_4, h_{37}, i_{39}, j_{37}, f_{36}, k_{35}, l_{37}, m_{39}, n_{38}
  919. Intersect(m_{15}, p_{15}) → O_{29}
  920. Intersect(l_{15}, m_{15}) → P_{29}
  921. Intersect(l_{15}, s_{15}) → Q_{29}
  922. Intersect(r_{15}, s_{15}) → R_{29}
  923. Intersect(e_{13}, g_{13}) → S_{29}
  924. Intersect(d_{13}, e_{13}) → T_{29}
  925. Intersect(b_{13}, d_{13}) → U_{29}
  926. Polygon(A_{29}, O_{29}, P_{29}, Q_{29}, R_{29}, N_{21}, S_{29}, T_{29}, U_{29}) → poly38, a_{38}, o_{29}, p_{37}, q_{36}, r_{36}, n_{39}, s_{38}, t_{37}, u_{29}
  927. Intersect(j_{14}, l_{14}) → V_{29}
  928. Intersect(i_{14}, j_{14}) → W_{29}
  929. Intersect(g_{14}, i_{14}) → Z_{29}
  930. Intersect(f_{14}, g_{14}) → A_{30}
  931. Intersect(n_{14}, a_{15}) → B_{30}
  932. Intersect(t_{14}, a_{15}) → C_{30}
  933. Intersect(r_{14}, t_{14}) → D_{30}
  934. Polygon(Z_{24}, V_{29}, W_{29}, Z_{29}, A_{30}, E_{21}, B_{30}, C_{30}, D_{30}) → poly39, z_3, v_{29}, w_{29}, z_{29}, a_{39}, e_{37}, b_{37}, c_{40}, d_{38}
  935. Intersect(m_{10}, p_{10}) → E_{30}
  936. Intersect(j_{10}, q_{10}) → G_{30}
  937. Intersect(f_8, g_8) → H_{30}
  938. Intersect(d_8, f_8) → I_{30}
  939. Intersect(c_8, d_8) → J_{30}
  940. Intersect(a_8, c_8) → K_{30}
  941. Polygon(N_{25}, E_{30}, F_{30}, G_{30}, O_{21}, H_{30}, I_{30}, J_{30}, K_{30}) → poly40, n_{40}, e_{38}, f_{37}, g_{38}, o_3, h_{38}, i_{40}, j_{38}, k_{36}
  942. Intersect(b_{14}, d_{14}) → L_{30}
  943. Intersect(d_{14}, e_{14}) → M_{30}
  944. Intersect(s_{13}, e_{14}) → N_{30}
  945. Intersect(r_{13}, s_{13}) → O_{30}
  946. Intersect(f_{14}, l_{14}) → P_{30}
  947. Intersect(k_{14}, l_{14}) → Q_{30}
  948. Intersect(i_{14}, k_{14}) → R_{30}
  949. Polygon(G_{26}, L_{30}, M_{30}, N_{30}, O_{30}, A_{30}, P_{30}, Q_{30}, R_{30}) → poly41, g_{39}, l_{38}, m_{40}, n_{41}, o_{30}, a_{40}, p_{38}, q_{37}, r_{37}
  950. Intersect(b_8, d_8) → S_{30}
  951. Intersect(a_8, b_8) → T_{30}
  952. Intersect(a_8, g_8) → U_{30}
  953. Intersect(p_5, q_5) → V_{30}
  954. Intersect(m_5, p_5) → W_{30}
  955. Intersect(l_5, m_5) → Z_{30}
  956. Intersect(j_5, l_5) → A_{31}
  957. Polygon(Q_{26}, S_{30}, T_{30}, U_{30}, H_{30}, V_{30}, W_{30}, Z_{30}, A_{31}) → poly42, q_{38}, s_{39}, t_{38}, u_{30}, h_{39}, v_{30}, w_{30}, z_{30}, a_{41}
  958. Intersect(p_{15}, r_{15}) → B_{31}
  959. Intersect(n_{15}, p_{15}) → C_{31}
  960. Intersect(l_{15}, n_{15}) → D_{31}
  961. Intersect(t_{15}, a_{16}) → E_{31}
  962. Polygon(R_{29}, B_{31}, C_{31}, D_{31}, K_{29}, E_{31}) → poly43, r_{38}, b_{38}, c_{41}, d_{39}, k_{37}, e_{39}
  963. Intersect(b_{11}, d_{11}) → F_{31}
  964. Intersect(d_{11}, e_{11}) → G_{31}
  965. Intersect(s_{10}, e_{11}) → H_{31}
  966. Intersect(j_{13}, l_{13}) → I_{31}
  967. Intersect(i_{13}, j_{13}) → J_{31}
  968. Intersect(i_{13}, p_{13}) → K_{31}
  969. Intersect(n_{13}, p_{13}) → L_{31}
  970. Polygon(K_{28}, F_{31}, G_{31}, H_{31}, K_{27}, I_{31}, J_{31}, K_{31}, L_{31}) → poly44, k_{38}, f_{38}, g_{40}, h_{40}, k_{39}, i_{41}, j_{39}, k_{40}, l_{39}
  971. Intersect(k_5, m_5) → M_{31}
  972. Intersect(j_5, k_5) → N_{31}
  973. Intersect(j_5, q_5) → O_{31}
  974. Intersect(q_3, c_4) → P_{31}
  975. Intersect(t_3, c_4) → Q_{31}
  976. Intersect(t_3, a_4) → R_{31}
  977. Intersect(s_3, a_4) → S_{31}
  978. Polygon(U_{27}, M_{31}, N_{31}, O_{31}, V_{30}, P_{31}, Q_{31}, R_{31}, S_{31}) → poly45, u_5, m_{41}, n_{42}, o_{31}, v_3, p_{39}, q_{39}, r_{39}, s_{40}
  979. Intersect(k_{13}, m_{13}) → T_{31}
  980. Intersect(m_{13}, n_{13}) → U_{31}
  981. Intersect(n_{13}, q_{13}) → V_{31}
  982. Intersect(i_{13}, q_{13}) → W_{31}
  983. Intersect(b_{14}, c_{14}) → A_{32}
  984. Intersect(c_{14}, e_{14}) → B_{32}
  985. Polygon(G_{27}, T_{31}, U_{31}, V_{31}, W_{31}, O_{30}, Z_{31}, A_{32}, B_{32}) → poly46, g_{41}, t_{39}, u_{31}, v_{31}, w_{31}, o_4, z_{31}, a_{42}, b_{39}
  986. Intersect(i_3, m_3) → C_{32}
  987. Intersect(h_3, i_3) → D_{32}
  988. Intersect(h_3, j_3) → E_{32}
  989. Intersect(p_3, r_3) → F_{32}
  990. Intersect(p_3, q_3) → G_{32}
  991. Intersect(q_3, b_4) → H_{32}
  992. Intersect(t_3, b_4) → I_{32}
  993. Polygon(R_{28}, C_{32}, D_{32}, E_{32}, A_{28}, F_{32}, G_{32}, H_{32}, I_{32}) → poly47, r_{40}, c_{42}, d_{40}, e_{40}, a_{43}, f_{39}, g_{42}, h_{41}, i_{42}
  994. Intersect(l_{13}, n_{13}) → J_{32}
  995. Intersect(k_{13}, l_{13}) → K_{32}
  996. Intersect(i_{13}, k_{13}) → L_{32}
  997. Intersect(t_{15}, g_{16}) → M_{32}
  998. Polygon(L_{31}, J_{32}, K_{32}, L_{32}, W_{31}, M_{32}) → poly48, l_{40}, j_{40}, k_{41}, l_{41}, w_6, m_{42}
  999. Intersect(r_3, t_3) → N_{32}
  1000. Intersect(r_3, s_3) → O_{32}
  1001. Intersect(q_3, s_3) → P_{32}
  1002. Intersect(a_{16}, h_{16}) → Q_{32}
  1003. Polygon(I_{32}, N_{32}, O_{32}, P_{32}, P_{31}, Q_{32}) → poly49, i_{43}, n_{43}, o_{32}, p_{40}, p_{41}, q_{40}

AI 绘图提示语参考

绘制一个基于毕达哥拉斯定理的星形镶嵌图案。首先，创建两条垂直于给定线段的线，然后依次构造多个垂直线段和点，形成一系列正方形和矩形。最后，通过旋转和连接这些线段和点，形成一个复杂的星形镶嵌图案。
以上提示语为根据原始绘图命令整理而来，仅供参考。