MathPlotAI Logo MathPlotAI

Pythagorean Tiling by Edgardo Alandete (3)

Pythagorean Tiling by Edgardo Alandete (3)
Loading the math board and drawing, please wait…
2015-01-11 04:18
TriangleCirclePolygonGeometric Construction
This example demonstrates the application of the Pythagorean theorem in geometric constructions, involving triangles, circles, and polygons. Key mathematical concepts include the Pythagorean theorem, trigonometric functions, and geometric construction methods. Construction involves GeoGebra commands such as Line, OrthogonalLine, Point, Intersect, etc. Suitable for middle or high school mathematics education to understand geometric relationships and function graphs.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

This is a geometric construction diagram based on the Pythagorean theorem, featuring triangles, circles, and polygons. The figure is composed of multiple lines and perpendicular lines, with key points defined by their intersections. These points are connected to form various line segments and regions. The overall diagram illustrates the application of the Pythagorean theorem in geometry, highlighting the geometric relationships between triangles, circles, and polygons.
The prompt above was compiled from the original drawing commands and is for reference only.