正方形与三角形几何谜题

正方形与三角形几何谜题
几何画板及绘图内容加载中,请稍等……
2020-03-13 15:55
①本范例通过交互式演示正方形和三角形之间的几何关系与构造;②涉及的核心数学概念包括平面图形、几何作图、坐标几何、三角函数等;③作图要点——从下方『构造摘要』提炼用到了Point(点)、Segment(线段)、Polygon(多边形)、OrthogonalLine(垂线)、Circle(圆)、Intersect(交点)等GeoGebra命令/对象;④适合高中及以上学生或数学爱好者用于探索几何构造与问题解决。

GeoGebra 命令及参数

  1. Point(Circle[H_2, AxisStepX[]]) → I_2
  2. Segment(H_2, I_2) → k_2
  3. Polygon(H_2, I_2, 4) → poly39, m_2, p_2, i_3, k_3, J_2, K_2
  4. Point(Circle[L_2, AxisStepX[]]) → M_2
  5. Segment(L_2, M_2) → l_3
  6. OrthogonalLine(L_2, l_3) → m_3
  7. Circle(L_2, AxisStepX[]) → p_3
  8. Intersect(p_3, m_3) → N_2, O_2
  9. Polygon(L_2, M_2, O_2) → poly40, o_5, l_4, m_4
  10. Polygon(Z_2, B_3, A_3, U_2, R_2, F_3, D_3, C_3, Q_2) → poly2, z_6, b_1, a_1, u_4, r_7, f_3, d_1, c_3, q_5
  11. Polygon(P_2, S_2, T_2, W_2, E_3, G_3, H_3, I_3, V_2) → poly3, p_4, s_6, t_5, w_6, e_1, g_1, h_3, i_4, v_4
  12. Polygon(J_3, K_3, R_3, V_3, U_3, T_3, S_3, L_3, M_3, Q_3, O_3, Z_3, P_3, W_3, A_4) → poly4, d, m, n, p, q, r, s, e, f, g, h, i, j, k, l
  13. Polygon(N_4, N_3, J_4, K_4, L_4, M_4, B_4, C_4, D_4, E_4, F_4, G_4, H_4, I_4) → poly1, n_4, i_1, j_4, k_4, l_1, m_1, n_3, b_2, c_4, d_2, e_4, f_4, g_4, h_4
  14. Polygon(I_5, J_5, W_5, B_6, A_6, K_5, P_5, Q_5, R_5, S_5, T_5, U_5, V_5) → poly13, i_5, v_5, w_5, b_6, a_6, j_5, k_5, p_5, q_1, r_5, s_5, t_2, u_5
  15. Polygon(E_5, F_5, Q_6, R_6, S_6, G_5, H_5, L_5, L_6, M_6, N_6, O_6, P_6) → poly6, e_5, p_6, q_6, r_6, s_1, f_5, g_5, h_5, l_5, l_6, m_6, n_6, o_6
  16. Polygon(O_4, P_4, A_5, B_5, C_5, D_5, Q_4, R_4, S_4, T_4, U_4, V_4, W_4, Z_4) → poly5, o_4, z_4, a_5, b_5, c_5, d_5, p_1, q_4, r_4, s_4, t_4, u_1, v_1, w_4
  17. Polygon(J_7, K_7, T_7, U_7, V_7, W_7, Z_7, A_8, B_8, L_7, M_7, N_7, O_7, P_7, Q_7, R_7, S_7) → poly8, j_7, s_7, t_7, u_7, v_7, w_7, z_7, a_8, b_8, k_7, l_7, m_7, n_7, o_7, p_7, q_7, r_1
  18. Polygon(Q_7, T_6, U_6) → poly7, u_6, q_2, t_6
  19. Point(Circle[H_7, AxisStepX[]]) → I_7
  20. Segment(H_7, I_7) → k_1
  21. Polygon(H_7, I_7, 4) → poly39_1, m_5, p_8, i_2, k_6, J_8, K_8
  22. Point(Circle[H_8, AxisStepX[]]) → I_8
  23. Segment(H_8, I_8) → k_8
  24. Polygon(H_8, I_8, 4) → poly39_2, m_8, p_9, i_6, k_9, J_9, K_9
  25. Point(Circle[H_9, AxisStepX[]]) → I_9
  26. Segment(H_9, I_9) → k_{10}
  27. Polygon(H_9, I_9, 4) → poly39_3, m_9, p_{10}, i_7, k_{11}, J_{10}, K_{10}
  28. Point(Circle[H_{10}, AxisStepX[]]) → I_{10}
  29. Point(Circle[H_{11}, AxisStepX[]]) → I_{11}
  30. Segment(H_{11}, I_{11}) → k_{14}
  31. Polygon(H_{11}, I_{11}, 4) → poly39_5, m_{11}, p_{12}, i_9, k_{15}, J_{12}, K_{12}
  32. Point(Circle[H_{12}, AxisStepX[]]) → I_{12}
  33. Segment(H_{12}, I_{12}) → k_{16}
  34. Polygon(H_{12}, I_{12}, 4) → poly39_6, m_{12}, p_{13}, i_{10}, k_{17}, J_{13}, K_{13}
  35. Point(Circle[H_{13}, AxisStepX[]]) → I_{13}
  36. Point(Circle[H_{14}, AxisStepX[]]) → I_{14}
  37. Segment(H_{14}, I_{14}) → k_{20}
  38. Point(Circle[H_{15}, AxisStepX[]]) → I_{15}
  39. Segment(H_{15}, I_{15}) → k_{22}
  40. Point(Circle[H_{16}, AxisStepX[]]) → I_{16}
  41. Segment(H_{16}, I_{16}) → k_{24}
  42. Polygon(H_{16}, I_{16}, 4) → poly39_{10}, m_{16}, p_{17}, i_{14}, k_{25}, J_{17}, K_{17}
  43. Point(Circle[H_{17}, AxisStepX[]]) → I_{17}
  44. Segment(H_{17}, I_{17}) → k_{26}
  45. Polygon(H_{17}, I_{17}, 4) → poly39_{11}, m_{17}, p_{18}, i_{15}, k_{27}, J_{18}, K_{18}
  46. Point(Circle[H_{18}, AxisStepX[]]) → I_{18}
  47. Segment(H_{18}, I_{18}) → k_{28}
  48. Polygon(H_{18}, I_{18}, 4) → poly39_{12}, m_{18}, p_{19}, i_{16}, k_{29}, J_{19}, K_{19}
  49. Point(Circle[H_{19}, AxisStepX[]]) → I_{19}
  50. Segment(H_{19}, I_{19}) → k_{30}
  51. Polygon(H_{19}, I_{19}, 4) → poly39_{13}, m_{19}, p_{20}, i_{17}, k_{31}, J_{20}, K_{20}
  52. Point(Circle[H_{20}, AxisStepX[]]) → I_{20}
  53. Segment(H_{20}, I_{20}) → k_{32}
  54. Point(Circle[H_{21}, AxisStepX[]]) → I_{21}
  55. Segment(H_{21}, I_{21}) → k_{34}
  56. Point(Circle[H_{22}, AxisStepX[]]) → I_{22}
  57. Segment(H_{22}, I_{22}) → k_{36}
  58. Point(Circle[H_{23}, AxisStepX[]]) → I_{23}
  59. Segment(H_{23}, I_{23}) → k_{38}
  60. Point(Circle[H_{24}, AxisStepX[]]) → I_{24}
  61. Segment(H_{24}, I_{24}) → k_{40}
  62. Point(Circle[H_{25}, AxisStepX[]]) → I_{25}
  63. Segment(H_{25}, I_{25}) → k_{42}
  64. Polygon(H_{25}, I_{25}, 4) → poly39_{19}, m_{25}, p_{26}, i_{23}, k_{43}, J_{26}, K_{26}
  65. Point(Circle[H_{26}, AxisStepX[]]) → I_{26}
  66. Segment(H_{26}, I_{26}) → k_{44}
  67. Polygon(H_{26}, I_{26}, 4) → poly39_{20}, m_{26}, p_{27}, i_{24}, k_{45}, J_{27}, K_{27}
  68. Point(Circle[H_{27}, AxisStepX[]]) → I_{27}
  69. Segment(H_{27}, I_{27}) → k_{46}
  70. Polygon(H_{27}, I_{27}, 4) → poly39_{21}, m_{27}, p_{28}, i_{25}, k_{47}, J_{28}, K_{28}
  71. Point(Circle[H_{28}, AxisStepX[]]) → I_{28}
  72. Point(Circle[H_{29}, AxisStepX[]]) → I_{29}
  73. Segment(H_{29}, I_{29}) → k_{50}
  74. Point(Circle[H_{30}, AxisStepX[]]) → I_{30}
  75. Point(Circle[H_{31}, AxisStepX[]]) → I_{31}
  76. Segment(H_{31}, I_{31}) → k_{54}
  77. Point(Circle[H_{32}, AxisStepX[]]) → I_{32}
  78. Segment(H_{32}, I_{32}) → k_{56}
  79. Point(Circle[H_{33}, AxisStepX[]]) → I_{33}
  80. Segment(H_{33}, I_{33}) → k_{12}
  81. Polygon(H_{33}, I_{33}, 4) → poly39_4, m_{10}, p_{11}, i_8, k_{13}, J_{11}, K_{11}
  82. Point(Circle[H_{34}, AxisStepX[]]) → I_{34}
  83. Segment(H_{34}, I_{34}) → k_{18}
  84. Polygon(H_{34}, I_{34}, 4) → poly39_7, m_{13}, p_{14}, i_{11}, k_{19}, J_{14}, K_{14}
  85. Point(Circle[H_{35}, AxisStepX[]]) → I_{35}
  86. Segment(H_{35}, I_{35}) → k_{21}
  87. Polygon(H_{35}, I_{35}, 4) → poly39_8, m_{14}, p_{15}, i_{12}, k_{23}, J_{15}, K_{15}
  88. Point(Circle[H_{36}, AxisStepX[]]) → I_{36}
  89. Segment(H_{36}, I_{36}) → k_{33}
  90. Polygon(H_{36}, I_{36}, 4) → poly39_9, m_{15}, p_{16}, i_{13}, k_{35}, J_{16}, K_{16}
  91. Point(Circle[H_{37}, AxisStepX[]]) → I_{37}
  92. Segment(H_{37}, I_{37}) → k_{37}
  93. Polygon(H_{37}, I_{37}, 4) → poly39_{14}, m_{20}, p_{21}, i_{18}, k_{39}, J_{21}, K_{21}
  94. Point(Circle[H_{38}, AxisStepX[]]) → I_{38}
  95. Segment(H_{38}, I_{38}) → k_{41}
  96. Polygon(H_{38}, I_{38}, 4) → poly39_{15}, m_{21}, p_{22}, i_{19}, k_{48}, J_{22}, K_{22}
  97. Point(Circle[H_{39}, AxisStepX[]]) → I_{39}
  98. Segment(H_{39}, I_{39}) → k_{49}
  99. Polygon(H_{39}, I_{39}, 4) → poly39_{16}, m_{22}, p_{23}, i_{20}, k_{51}, J_{23}, K_{23}
  100. Point(Circle[H_{40}, AxisStepX[]]) → I_{40}
  101. Segment(H_{40}, I_{40}) → k_{52}
  102. Polygon(H_{40}, I_{40}, 4) → poly39_{17}, m_{23}, p_{24}, i_{21}, k_{53}, J_{24}, K_{24}
  103. Point(Circle[H_{41}, AxisStepX[]]) → I_{41}
  104. Segment(H_{41}, I_{41}) → k_{55}
  105. Polygon(H_{41}, I_{41}, 4) → poly39_{18}, m_{24}, p_{25}, i_{22}, k_{57}, J_{25}, K_{25}
  106. Point(Circle[H_{42}, AxisStepX[]]) → I_{42}
  107. Segment(H_{42}, I_{42}) → k_{58}
  108. Polygon(H_{42}, I_{42}, 4) → poly39_{22}, m_{28}, p_{29}, i_{26}, k_{59}, J_{29}, K_{29}
  109. Point(Circle[H_{43}, AxisStepX[]]) → I_{43}
  110. Point(Circle[H_{44}, AxisStepX[]]) → I_{44}
  111. Segment(H_{44}, I_{44}) → k_{60}
  112. Polygon(H_{44}, I_{44}, 4) → poly39_{23}, m_{29}, p_{30}, i_{27}, k_{61}, J_{30}, K_{30}
  113. Point(Circle[H_{45}, AxisStepX[]]) → I_{45}
  114. Segment(H_{45}, I_{45}) → k_{62}
  115. Polygon(H_{45}, I_{45}, 4) → poly39_{24}, m_{30}, p_{31}, i_{28}, k_{63}, J_{31}, K_{31}
  116. Point(Circle[H_{46}, AxisStepX[]]) → I_{46}
  117. Segment(H_{46}, I_{46}) → k_{64}
  118. Polygon(H_{46}, I_{46}, 4) → poly39_{25}, m_{31}, p_{32}, i_{29}, k_{65}, J_{32}, K_{32}
  119. Point(Circle[H_{47}, AxisStepX[]]) → I_{47}
  120. Segment(H_{47}, I_{47}) → k_{66}
  121. Polygon(H_{47}, I_{47}, 4) → poly39_{26}, m_{32}, p_{33}, i_{30}, k_{67}, J_{33}, K_{33}
  122. Point(Circle[H_{48}, AxisStepX[]]) → I_{48}
  123. Point(Circle[H_{49}, AxisStepX[]]) → I_{49}
  124. Segment(H_{49}, I_{49}) → k_{70}
  125. Polygon(H_{49}, I_{49}, 4) → poly39_{28}, m_{34}, p_{35}, i_{32}, k_{71}, J_{35}, K_{35}
  126. Point(Circle[H_{50}, AxisStepX[]]) → I_{50}
  127. Segment(H_{50}, I_{50}) → k_{68}
  128. Polygon(H_{50}, I_{50}, 4) → poly39_{27}, m_{33}, p_{34}, i_{31}, k_{69}, J_{34}, K_{34}
  129. Point(Circle[L_8, AxisStepX[]]) → M_8
  130. Segment(L_8, M_8) → l_2
  131. OrthogonalLine(L_8, l_2) → m_{36}
  132. Circle(L_8, AxisStepX[]) → p_{36}
  133. Intersect(p_{36}, m_{36}) → N_8, O_8
  134. Polygon(L_8, M_8, O_8) → poly40_1, o_1, l_8, m_{35}
  135. Point(Circle[L_9, AxisStepX[]]) → M_9
  136. Segment(L_9, M_9) → l_9
  137. OrthogonalLine(L_9, l_9) → m_{38}
  138. Circle(L_9, AxisStepX[]) → p_{37}
  139. Intersect(p_{37}, m_{38}) → N_9, O_9
  140. Polygon(L_9, M_9, O_9) → poly40_2, o_2, l_{10}, m_{37}
  141. Point(Circle[L_{10}, AxisStepX[]]) → M_{10}
  142. Segment(L_{10}, M_{10}) → l_{11}
  143. OrthogonalLine(L_{10}, l_{11}) → m_{40}
  144. Circle(L_{10}, AxisStepX[]) → p_{38}
  145. Intersect(p_{38}, m_{40}) → N_{10}, O_{10}
  146. Polygon(L_{10}, M_{10}, O_{10}) → poly40_3, o_3, l_{12}, m_{39}
  147. Point(Circle[L_{11}, AxisStepX[]]) → M_{11}
  148. Segment(L_{11}, M_{11}) → l_{13}
  149. OrthogonalLine(L_{11}, l_{13}) → m_{42}
  150. Circle(L_{11}, AxisStepX[]) → p_{39}
  151. Intersect(p_{39}, m_{42}) → N_{11}, O_{11}
  152. Polygon(L_{11}, M_{11}, O_{11}) → poly40_4, o_8, l_{14}, m_{41}
  153. Point(Circle[L_{12}, AxisStepX[]]) → M_{12}
  154. Segment(L_{12}, M_{12}) → l_{15}
  155. OrthogonalLine(L_{12}, l_{15}) → m_{44}
  156. Circle(L_{12}, AxisStepX[]) → p_{40}
  157. Intersect(p_{40}, m_{44}) → N_{12}, O_{12}
  158. Polygon(L_{12}, M_{12}, O_{12}) → poly40_5, o_9, l_{16}, m_{43}
  159. Point(Circle[L_{13}, AxisStepX[]]) → M_{13}
  160. Segment(L_{13}, M_{13}) → l_{17}
  161. OrthogonalLine(L_{13}, l_{17}) → m_{46}
  162. Circle(L_{13}, AxisStepX[]) → p_{41}
  163. Intersect(p_{41}, m_{46}) → N_{13}, O_{13}
  164. Polygon(L_{13}, M_{13}, O_{13}) → poly40_6, o_{10}, l_{18}, m_{45}
  165. Point(Circle[L_{14}, AxisStepX[]]) → M_{14}
  166. Segment(L_{14}, M_{14}) → l_{19}
  167. OrthogonalLine(L_{14}, l_{19}) → m_{48}
  168. Circle(L_{14}, AxisStepX[]) → p_{42}
  169. Intersect(p_{42}, m_{48}) → N_{14}, O_{14}
  170. Polygon(L_{14}, M_{14}, O_{14}) → poly40_7, o_{11}, l_{20}, m_{47}
  171. Point(Circle[L_{15}, AxisStepX[]]) → M_{15}
  172. Circle(L_{15}, AxisStepX[]) → p_{43}
  173. Point(Circle[L_{16}, AxisStepX[]]) → M_{16}
  174. Segment(L_{16}, M_{16}) → l_{23}
  175. OrthogonalLine(L_{16}, l_{23}) → m_{52}
  176. Circle(L_{16}, AxisStepX[]) → p_{44}
  177. Intersect(p_{44}, m_{52}) → N_{16}, O_{16}
  178. Polygon(L_{16}, M_{16}, O_{16}) → poly40_9, o_{13}, l_{24}, m_{51}
  179. Point(Circle[L_{17}, AxisStepX[]]) → M_{17}
  180. Segment(L_{17}, M_{17}) → l_{25}
  181. OrthogonalLine(L_{17}, l_{25}) → m_{54}
  182. Circle(L_{17}, AxisStepX[]) → p_{45}
  183. Intersect(p_{45}, m_{54}) → N_{17}, O_{17}
  184. Polygon(L_{17}, M_{17}, O_{17}) → poly40_{10}, o_{14}, l_{26}, m_{53}
  185. Point(Circle[L_{18}, AxisStepX[]]) → M_{18}
  186. Segment(L_{18}, M_{18}) → l_{27}
  187. OrthogonalLine(L_{18}, l_{27}) → m_{56}
  188. Circle(L_{18}, AxisStepX[]) → p_{46}
  189. Intersect(p_{46}, m_{56}) → N_{18}, O_{18}
  190. Polygon(L_{18}, M_{18}, O_{18}) → poly40_{11}, o_{15}, l_{28}, m_{55}
  191. Point(Circle[L_{19}, AxisStepX[]]) → M_{19}
  192. Circle(L_{19}, AxisStepX[]) → p_{47}
  193. Point(Circle[L_{20}, AxisStepX[]]) → M_{20}
  194. Segment(L_{20}, M_{20}) → l_{31}
  195. OrthogonalLine(L_{20}, l_{31}) → m_{60}
  196. Circle(L_{20}, AxisStepX[]) → p_{48}
  197. Intersect(p_{48}, m_{60}) → N_{20}, O_{20}
  198. Polygon(L_{20}, M_{20}, O_{20}) → poly40_{13}, o_{17}, l_{32}, m_{59}
  199. Point(Circle[L_{21}, AxisStepX[]]) → M_{21}
  200. Segment(L_{21}, M_{21}) → l_{21}
  201. OrthogonalLine(L_{21}, l_{21}) → m_{50}
  202. Circle(L_{21}, AxisStepX[]) → p_{49}
  203. Intersect(p_{49}, m_{50}) → N_{15}, O_{15}
  204. Polygon(L_{21}, M_{21}, O_{15}) → poly40_8, o_{12}, l_{22}, m_{49}
  205. Point(Circle[L_{22}, AxisStepX[]]) → M_{22}
  206. Segment(L_{22}, M_{22}) → l_{29}
  207. OrthogonalLine(L_{22}, l_{29}) → m_{58}
  208. Circle(L_{22}, AxisStepX[]) → p_{50}
  209. Intersect(p_{50}, m_{58}) → N_{19}, O_{19}
  210. Polygon(L_{22}, M_{22}, O_{19}) → poly40_{12}, o_{16}, l_{30}, m_{57}
  211. Point(Circle[L_{23}, AxisStepX[]]) → M_{23}
  212. Segment(L_{23}, M_{23}) → l_{33}
  213. OrthogonalLine(L_{23}, l_{33}) → m_{62}
  214. Circle(L_{23}, AxisStepX[]) → p_{51}
  215. Intersect(p_{51}, m_{62}) → N_{21}, O_{21}
  216. Polygon(L_{23}, M_{23}, O_{21}) → poly40_{14}, o_{18}, l_{34}, m_{61}
  217. Point(Circle[L_{24}, AxisStepX[]]) → M_{24}
  218. Segment(L_{24}, M_{24}) → l_{35}
  219. OrthogonalLine(L_{24}, l_{35}) → m_{64}
  220. Circle(L_{24}, AxisStepX[]) → p_{52}
  221. Intersect(p_{52}, m_{64}) → N_{22}, O_{22}
  222. Polygon(L_{24}, M_{24}, O_{22}) → poly40_{15}, o_{19}, l_{36}, m_{63}
  223. Point(Circle[L_{25}, AxisStepX[]]) → M_{25}
  224. Segment(L_{25}, M_{25}) → l_{37}
  225. OrthogonalLine(L_{25}, l_{37}) → m_{66}
  226. Circle(L_{25}, AxisStepX[]) → p_{53}
  227. Intersect(p_{53}, m_{66}) → N_{23}, O_{23}
  228. Polygon(L_{25}, M_{25}, O_{23}) → poly40_{16}, o_{20}, l_{38}, m_{65}
  229. Point(Circle[L_{26}, AxisStepX[]]) → M_{26}
  230. Segment(L_{26}, M_{26}) → l_{39}
  231. OrthogonalLine(L_{26}, l_{39}) → m_{68}
  232. Circle(L_{26}, AxisStepX[]) → p_{54}
  233. Intersect(p_{54}, m_{68}) → N_{24}, O_{24}
  234. Polygon(L_{26}, M_{26}, O_{24}) → poly40_{17}, o_{21}, l_{40}, m_{67}
  235. Point(Circle[L_{27}, AxisStepX[]]) → M_{27}
  236. Segment(L_{27}, M_{27}) → l_{41}
  237. OrthogonalLine(L_{27}, l_{41}) → m_{70}
  238. Circle(L_{27}, AxisStepX[]) → p_{55}
  239. Intersect(p_{55}, m_{70}) → N_{25}, O_{25}
  240. Polygon(L_{27}, M_{27}, O_{25}) → poly40_{18}, o_{22}, l_{42}, m_{69}
  241. Point(Circle[L_{28}, AxisStepX[]]) → M_{28}
  242. Segment(L_{28}, M_{28}) → l_{43}
  243. OrthogonalLine(L_{28}, l_{43}) → m_{72}
  244. Circle(L_{28}, AxisStepX[]) → p_{56}
  245. Intersect(p_{56}, m_{72}) → N_{26}, O_{26}
  246. Polygon(L_{28}, M_{28}, O_{26}) → poly40_{19}, o_{23}, l_{44}, m_{71}
  247. Point(Circle[L_{29}, AxisStepX[]]) → M_{29}
  248. Segment(L_{29}, M_{29}) → l_{45}
  249. OrthogonalLine(L_{29}, l_{45}) → m_{74}
  250. Circle(L_{29}, AxisStepX[]) → p_{57}
  251. Intersect(p_{57}, m_{74}) → N_{27}, O_{27}
  252. Polygon(L_{29}, M_{29}, O_{27}) → poly40_{20}, o_{24}, l_{46}, m_{73}
  253. Point(Circle[L_{30}, AxisStepX[]]) → M_{30}
  254. Segment(L_{30}, M_{30}) → l_{47}
  255. OrthogonalLine(L_{30}, l_{47}) → m_{76}
  256. Circle(L_{30}, AxisStepX[]) → p_{58}
  257. Intersect(p_{58}, m_{76}) → N_{28}, O_{28}
  258. Polygon(L_{30}, M_{30}, O_{28}) → poly40_{21}, o_{25}, l_{48}, m_{75}
  259. Point(Circle[L_{31}, AxisStepX[]]) → M_{31}
  260. Segment(L_{31}, M_{31}) → l_{49}
  261. OrthogonalLine(L_{31}, l_{49}) → m_{78}
  262. Circle(L_{31}, AxisStepX[]) → p_{59}
  263. Intersect(p_{59}, m_{78}) → N_{29}, O_{29}
  264. Polygon(L_{31}, M_{31}, O_{29}) → poly40_{22}, o_{26}, l_{50}, m_{77}
  265. Point(Circle[L_{32}, AxisStepX[]]) → M_{32}
  266. Segment(L_{32}, M_{32}) → l_{51}
  267. OrthogonalLine(L_{32}, l_{51}) → m_{80}
  268. Circle(L_{32}, AxisStepX[]) → p_{60}
  269. Intersect(p_{60}, m_{80}) → N_{30}, O_{30}
  270. Polygon(L_{32}, M_{32}, O_{30}) → poly40_{23}, o_{27}, l_{52}, m_{79}
  271. Point(Circle[L_{33}, AxisStepX[]]) → M_{33}
  272. Segment(L_{33}, M_{33}) → l_{53}
  273. OrthogonalLine(L_{33}, l_{53}) → m_{82}
  274. Circle(L_{33}, AxisStepX[]) → p_{61}
  275. Intersect(p_{61}, m_{82}) → N_{31}, O_{31}
  276. Polygon(L_{33}, M_{33}, O_{31}) → poly40_{24}, o_{28}, l_{54}, m_{81}
  277. Point(Circle[L_{34}, AxisStepX[]]) → M_{34}
  278. Segment(L_{34}, M_{34}) → l_{55}
  279. OrthogonalLine(L_{34}, l_{55}) → m_{84}
  280. Circle(L_{34}, AxisStepX[]) → p_{62}
  281. Intersect(p_{62}, m_{84}) → N_{32}, O_{32}
  282. Polygon(L_{34}, M_{34}, O_{32}) → poly40_{25}, o_{29}, l_{56}, m_{83}
  283. Point(Circle[L_{35}, AxisStepX[]]) → M_{35}
  284. Segment(L_{35}, M_{35}) → l_{57}
  285. OrthogonalLine(L_{35}, l_{57}) → m_{86}
  286. Circle(L_{35}, AxisStepX[]) → p_{63}
  287. Intersect(p_{63}, m_{86}) → N_{33}, O_{33}
  288. Polygon(L_{35}, M_{35}, O_{33}) → poly40_{26}, o_{30}, l_{58}, m_{85}
  289. Point(Circle[L_{36}, AxisStepX[]]) → M_{36}
  290. Segment(L_{36}, M_{36}) → l_{59}
  291. OrthogonalLine(L_{36}, l_{59}) → m_{88}
  292. Circle(L_{36}, AxisStepX[]) → p_{64}
  293. Intersect(p_{64}, m_{88}) → N_{34}, O_{34}
  294. Polygon(L_{36}, M_{36}, O_{34}) → poly40_{27}, o_{31}, l_{60}, m_{87}
  295. Point(Circle[L_{37}, AxisStepX[]]) → M_{37}
  296. Segment(L_{37}, M_{37}) → l_{61}
  297. OrthogonalLine(L_{37}, l_{61}) → m_{90}
  298. Circle(L_{37}, AxisStepX[]) → p_{65}
  299. Intersect(p_{65}, m_{90}) → N_{35}, O_{35}
  300. Polygon(L_{37}, M_{37}, O_{35}) → poly40_{28}, o_{32}, l_{62}, m_{89}
  301. Point(Circle[L_{38}, AxisStepX[]]) → M_{38}
  302. Circle(L_{38}, AxisStepX[]) → p_{66}
  303. Point(Circle[H_{51}, AxisStepX[]]) → I_{51}
  304. Segment(H_{51}, I_{51}) → k_{72}
  305. Polygon(H_{51}, I_{51}, 4) → poly39_{29}, m_{91}, p_{67}, i_{33}, k_{73}, J_{36}, K_{36}
  306. Point(Circle[H_{52}, AxisStepX[]]) → I_{52}
  307. Segment(H_{52}, I_{52}) → k_{74}
  308. Polygon(H_{52}, I_{52}, 4) → poly39_{30}, m_{92}, p_{68}, i_{34}, k_{75}, J_{37}, K_{37}
  309. Point(Circle[H_{53}, AxisStepX[]]) → I_{53}
  310. Segment(H_{53}, I_{53}) → k_{76}
  311. Polygon(H_{53}, I_{53}, 4) → poly39_{31}, m_{93}, p_{69}, i_{35}, k_{77}, J_{38}, K_{38}
  312. Point(Circle[H_{54}, AxisStepX[]]) → I_{54}
  313. Segment(H_{54}, I_{54}) → k_{78}
  314. Polygon(H_{54}, I_{54}, 4) → poly39_{32}, m_{94}, p_{70}, i_{36}, k_{79}, J_{39}, K_{39}
  315. Point(Circle[L_{39}, AxisStepX[]]) → M_{39}
  316. Segment(L_{39}, M_{39}) → l_{63}
  317. OrthogonalLine(L_{39}, l_{63}) → m_{96}
  318. Circle(L_{39}, AxisStepX[]) → p_{71}
  319. Intersect(p_{71}, m_{96}) → N_{36}, O_{36}
  320. Polygon(L_{39}, M_{39}, O_{36}) → poly40_{29}, o_{33}, l_{64}, m_{95}
  321. Point(Circle[L_{40}, AxisStepX[]]) → M_{40}
  322. Circle(L_{40}, AxisStepX[]) → p_{72}
  323. Point(Circle[L_{41}, AxisStepX[]]) → M_{41}
  324. Segment(L_{41}, M_{41}) → l_{65}
  325. OrthogonalLine(L_{41}, l_{65}) → m_{98}
  326. Circle(L_{41}, AxisStepX[]) → p_{73}
  327. Intersect(p_{73}, m_{98}) → N_{37}, O_{37}
  328. Polygon(L_{41}, M_{41}, O_{37}) → poly40_{30}, o_{34}, l_{66}, m_{97}
  329. Point(Circle[L_{42}, AxisStepX[]]) → M_{42}
  330. Segment(L_{42}, M_{42}) → l_{67}
  331. OrthogonalLine(L_{42}, l_{67}) → m_{100}
  332. Circle(L_{42}, AxisStepX[]) → p_{74}
  333. Intersect(p_{74}, m_{100}) → N_{38}, O_{38}
  334. Polygon(L_{42}, M_{42}, O_{38}) → poly40_{31}, o_{35}, l_{68}, m_{99}
  335. Point(Circle[L_{43}, AxisStepX[]]) → M_{43}
  336. Segment(L_{43}, M_{43}) → l_{69}
  337. OrthogonalLine(L_{43}, l_{69}) → m_{102}
  338. Circle(L_{43}, AxisStepX[]) → p_{75}
  339. Intersect(p_{75}, m_{102}) → N_{39}, O_{39}
  340. Polygon(L_{43}, M_{43}, O_{39}) → poly40_{32}, o_{36}, l_{70}, m_{101}
  341. Point(Circle[L_{44}, AxisStepX[]]) → M_{44}
  342. Segment(L_{44}, M_{44}) → l_{71}
  343. OrthogonalLine(L_{44}, l_{71}) → m_{104}
  344. Circle(L_{44}, AxisStepX[]) → p_{76}
  345. Intersect(p_{76}, m_{104}) → N_{40}, O_{40}
  346. Polygon(L_{44}, M_{44}, O_{40}) → poly40_{33}, o_{37}, l_{72}, m_{103}
  347. Point(Circle[L_{45}, AxisStepX[]]) → M_{45}
  348. Segment(L_{45}, M_{45}) → l_{73}
  349. OrthogonalLine(L_{45}, l_{73}) → m_{106}
  350. Circle(L_{45}, AxisStepX[]) → p_{77}
  351. Intersect(p_{77}, m_{106}) → N_{41}, O_{41}
  352. Polygon(L_{45}, M_{45}, O_{41}) → poly40_{34}, o_{38}, l_{74}, m_{105}
  353. Point(Circle[L_{46}, AxisStepX[]]) → M_{46}
  354. Segment(L_{46}, M_{46}) → l_{75}
  355. OrthogonalLine(L_{46}, l_{75}) → m_{108}
  356. Circle(L_{46}, AxisStepX[]) → p_{78}
  357. Intersect(p_{78}, m_{108}) → N_{42}, O_{42}
  358. Polygon(L_{46}, M_{46}, O_{42}) → poly40_{35}, o_{39}, l_{76}, m_{107}
  359. Point(Circle[L_{47}, AxisStepX[]]) → M_{47}
  360. Segment(L_{47}, M_{47}) → l_{77}
  361. OrthogonalLine(L_{47}, l_{77}) → m_{110}
  362. Circle(L_{47}, AxisStepX[]) → p_{79}
  363. Intersect(p_{79}, m_{110}) → N_{43}, O_{43}
  364. Polygon(L_{47}, M_{47}, O_{43}) → poly40_{36}, o_{40}, l_{78}, m_{109}
  365. Point(Circle[L_{48}, AxisStepX[]]) → M_{48}
  366. Segment(L_{48}, M_{48}) → l_{79}
  367. OrthogonalLine(L_{48}, l_{79}) → m_{112}
  368. Circle(L_{48}, AxisStepX[]) → p_{80}
  369. Intersect(p_{80}, m_{112}) → N_{44}, O_{44}
  370. Polygon(L_{48}, M_{48}, O_{44}) → poly40_{37}, o_{41}, l_{80}, m_{111}
  371. Point(Circle[L_{49}, AxisStepX[]]) → M_{49}
  372. Segment(L_{49}, M_{49}) → l_{81}
  373. OrthogonalLine(L_{49}, l_{81}) → m_{114}
  374. Circle(L_{49}, AxisStepX[]) → p_{81}
  375. Intersect(p_{81}, m_{114}) → N_{45}, O_{45}
  376. Polygon(L_{49}, M_{49}, O_{45}) → poly40_{38}, o_{42}, l_{82}, m_{113}
  377. Point(Circle[L_{50}, AxisStepX[]]) → M_{50}
  378. Segment(L_{50}, M_{50}) → l_{83}
  379. OrthogonalLine(L_{50}, l_{83}) → m_{116}
  380. Circle(L_{50}, AxisStepX[]) → p_{82}
  381. Intersect(p_{82}, m_{116}) → N_{46}, O_{46}
  382. Polygon(L_{50}, M_{50}, O_{46}) → poly40_{39}, o_{43}, l_{84}, m_{115}
  383. Point(Circle[L_{51}, AxisStepX[]]) → M_{51}
  384. Segment(L_{51}, M_{51}) → l_{85}
  385. OrthogonalLine(L_{51}, l_{85}) → m_{118}
  386. Circle(L_{51}, AxisStepX[]) → p_{83}
  387. Intersect(p_{83}, m_{118}) → N_{47}, O_{47}
  388. Polygon(L_{51}, M_{51}, O_{47}) → poly40_{40}, o_{44}, l_{86}, m_{117}
  389. Point(Circle[L_{52}, AxisStepX[]]) → M_{52}
  390. Segment(L_{52}, M_{52}) → l_{87}
  391. OrthogonalLine(L_{52}, l_{87}) → m_{120}
  392. Circle(L_{52}, AxisStepX[]) → p_{84}
  393. Intersect(p_{84}, m_{120}) → N_{48}, O_{48}
  394. Polygon(L_{52}, M_{52}, O_{48}) → poly40_{41}, o_{45}, l_{88}, m_{119}
  395. Point(Circle[L_{53}, AxisStepX[]]) → M_{53}
  396. Segment(L_{53}, M_{53}) → l_{89}
  397. OrthogonalLine(L_{53}, l_{89}) → m_{122}
  398. Circle(L_{53}, AxisStepX[]) → p_{85}
  399. Intersect(p_{85}, m_{122}) → N_{49}, O_{49}
  400. Polygon(L_{53}, M_{53}, O_{49}) → poly40_{42}, o_{46}, l_{90}, m_{121}
  401. Point(Circle[L_{54}, AxisStepX[]]) → M_{54}
  402. Segment(L_{54}, M_{54}) → l_{91}
  403. OrthogonalLine(L_{54}, l_{91}) → m_{124}
  404. Circle(L_{54}, AxisStepX[]) → p_{86}
  405. Intersect(p_{86}, m_{124}) → N_{50}, O_{50}
  406. Polygon(L_{54}, M_{54}, O_{50}) → poly40_{43}, o_{47}, l_{92}, m_{123}
  407. Point(Circle[L_{55}, AxisStepX[]]) → M_{55}
  408. Segment(L_{55}, M_{55}) → l_{93}
  409. OrthogonalLine(L_{55}, l_{93}) → m_{126}
  410. Circle(L_{55}, AxisStepX[]) → p_{87}
  411. Intersect(p_{87}, m_{126}) → N_{51}, O_{51}
  412. Polygon(L_{55}, M_{55}, O_{51}) → poly40_{44}, o_{48}, l_{94}, m_{125}
  413. Point(Circle[L_{56}, AxisStepX[]]) → M_{56}
  414. Segment(L_{56}, M_{56}) → l_{95}
  415. OrthogonalLine(L_{56}, l_{95}) → m_{128}
  416. Circle(L_{56}, AxisStepX[]) → p_{88}
  417. Intersect(p_{88}, m_{128}) → N_{52}, O_{52}
  418. Polygon(L_{56}, M_{56}, O_{52}) → poly40_{45}, o_{49}, l_{96}, m_{127}
  419. Point(Circle[L_{57}, AxisStepX[]]) → M_{57}
  420. Segment(L_{57}, M_{57}) → l_{97}
  421. OrthogonalLine(L_{57}, l_{97}) → m_{130}
  422. Circle(L_{57}, AxisStepX[]) → p_{89}
  423. Intersect(p_{89}, m_{130}) → N_{53}, O_{53}
  424. Polygon(L_{57}, M_{57}, O_{53}) → poly40_{46}, o_{50}, l_{98}, m_{129}
  425. Circle(L_{58}, AxisStepX[]) → p_{90}