积极 AI Logo 积极 AI

火柴棱镜拼图的几何分解与相交构造

火柴棱镜拼图的几何分解与相交构造
几何画板及绘图内容加载中，请稍等……
2021-01-28 03:24
多边形立体几何变换几何作图
所属专题 ગણિત ની પઝલ્સ
该范例展示用“火柴式”边界与多边形分片，通过相交点与线段构造形成多种棱镜式拼图轮廓，并研究它们在构造规则下的几何可行性与匹配关系。核心数学概念包括：几何作图（点、线段、多边形的构造）、相交求点（Intersect）、以及以旋转/位置变化为思想的图形拼装（主题中涉及 Rotation、Prism）。作图要点可从构造摘要提炼：使用 GeoGebra 的 Point 创建关键点（如 l、A、A_1 等）、Polygon 绘制若干拼图面/多边形（poly1…poly5），用 Segment 连接边界（a、b、c…等线段对象），并通过 Intersect 计算相交产生的新点（如 B_1、C_1、D_1、E_1 等），从而得到多块面片的组合与对应位置。适合中学竞赛几何、几何作图与建模教学，也适合作为课堂活动或自学用来理解“规则拼图—几何约束—相交构造”的思路。

GeoGebra 命令及参数

  1. Point(Circle[A, l]) → A_1
  2. Polygon(A, A - (w * UnitOrthogonalVector[Segment[A, A_1]]), A_1 - (w * UnitOrthogonalVector[Segment[A, A_1]]), A_1 + (w * UnitOrthogonalVector[Segment[A, A_1]]), A + (w * UnitOrthogonalVector[Segment[A, A_1]])) → poly1, a, b, c, d, e
  3. Point(Circle[B, l]) → B_1
  4. Polygon(B, B - (w * UnitOrthogonalVector[Segment[B, B_1]]), B_1 - (w * UnitOrthogonalVector[Segment[B, B_1]]), B_1 + (w * UnitOrthogonalVector[Segment[B, B_1]]), B + (w * UnitOrthogonalVector[Segment[B, B_1]])) → poly2, b_1, f, g, h, i
  5. Point(Circle[C, l]) → C_1
  6. Polygon(C, C - (w * UnitOrthogonalVector[Segment[C, C_1]]), C_1 - (w * UnitOrthogonalVector[Segment[C, C_1]]), C_1 + (w * UnitOrthogonalVector[Segment[C, C_1]]), C + (w * UnitOrthogonalVector[Segment[C, C_1]])) → poly3, c_1, j, k, m, n
  7. Point(Circle[D, l]) → D_1
  8. Polygon(D, D - (w * UnitOrthogonalVector[Segment[D, D_1]]), D_1 - (w * UnitOrthogonalVector[Segment[D, D_1]]), D_1 + (w * UnitOrthogonalVector[Segment[D, D_1]]), D + (w * UnitOrthogonalVector[Segment[D, D_1]])) → poly4, d_1, p, q_1, r, s
  9. Point(Circle[E, l]) → E_1
  10. Polygon(E, E - (w * UnitOrthogonalVector[Segment[E, E_1]]), E_1 - (w * UnitOrthogonalVector[Segment[E, E_1]]), E_1 + (w * UnitOrthogonalVector[Segment[E, E_1]]), E + (w * UnitOrthogonalVector[Segment[E, E_1]])) → poly5, e_1, t, a_1, f_1, g_1
  11. Point(Circle[F, l]) → F_1
  12. Polygon(F, F - (w * UnitOrthogonalVector[Segment[F, F_1]]), F_1 - (w * UnitOrthogonalVector[Segment[F, F_1]]), F_1 + (w * UnitOrthogonalVector[Segment[F, F_1]]), F + (w * UnitOrthogonalVector[Segment[F, F_1]])) → poly6, f_2, h_1, i_1, j_1, k_1
  13. Point(Circle[G, l]) → G_1
  14. Polygon(G, G - (w * UnitOrthogonalVector[Segment[G, G_1]]), G_1 - (w * UnitOrthogonalVector[Segment[G, G_1]]), G_1 + (w * UnitOrthogonalVector[Segment[G, G_1]]), G + (w * UnitOrthogonalVector[Segment[G, G_1]])) → poly7, g_2, l_1, m_1, n_1, p_1
  15. Point(Ray[Z1, Z1 + (1, 0)]) → Z1'
  16. Point(Circle[A1, 2]) → A1_1
  17. Point(Circle[B1, 2]) → B1_1
  18. Polygon(B1, B1 - (w * UnitOrthogonalVector[Segment[B1, B1_1]]), B1_1 - (w * UnitOrthogonalVector[Segment[B1, B1_1]]), B1_1 + (w * UnitOrthogonalVector[Segment[B1, B1_1]]), B1 + (w * UnitOrthogonalVector[Segment[B1, B1_1]])) → poly8, b1, q, r_1, s_1, t_1
  19. Polygon(A1, A1 - (w * UnitOrthogonalVector[Segment[A1, A1_1]]), A1_1 - (w * UnitOrthogonalVector[Segment[A1, A1_1]]), A1_1 + (w * UnitOrthogonalVector[Segment[A1, A1_1]]), A1 + (w * UnitOrthogonalVector[Segment[A1, A1_1]])) → poly9, a1, a_2, b_2, c_2, d_2
  20. Point(Circle[C1, 2]) → C1_1
  21. Polygon(C1, C1 - (w * UnitOrthogonalVector[Segment[C1, C1_1]]), C1_1 - (w * UnitOrthogonalVector[Segment[C1, C1_1]]), C1_1 + (w * UnitOrthogonalVector[Segment[C1, C1_1]]), C1 + (w * UnitOrthogonalVector[Segment[C1, C1_1]])) → poly10, c1, e_2, h_2, i_2, j_2
  22. Point(Circle[D1, 2]) → D1_1
  23. Polygon(D1, D1 - (w * UnitOrthogonalVector[Segment[D1, D1_1]]), D1_1 - (w * UnitOrthogonalVector[Segment[D1, D1_1]]), D1_1 + (w * UnitOrthogonalVector[Segment[D1, D1_1]]), D1 + (w * UnitOrthogonalVector[Segment[D1, D1_1]])) → poly11, d1, k_2, l_2, m_2, n_2
  24. Point(Circle[E1, 2]) → E1_1
  25. Polygon(E1, E1 - (w * UnitOrthogonalVector[Segment[E1, E1_1]]), E1_1 - (w * UnitOrthogonalVector[Segment[E1, E1_1]]), E1_1 + (w * UnitOrthogonalVector[Segment[E1, E1_1]]), E1 + (w * UnitOrthogonalVector[Segment[E1, E1_1]])) → poly12, e1, p_2, q_2, r_2, s_2
  26. Point(Circle[F1, 2]) → F1_1
  27. Polygon(F1, F1 - (w * UnitOrthogonalVector[Segment[F1, F1_1]]), F1_1 - (w * UnitOrthogonalVector[Segment[F1, F1_1]]), F1_1 + (w * UnitOrthogonalVector[Segment[F1, F1_1]]), F1 + (w * UnitOrthogonalVector[Segment[F1, F1_1]])) → poly13, f1, t_2, a_3, b_3, c_3
  28. Point(Circle[G1, 2]) → G1_1
  29. Polygon(G1, G1 - (w * UnitOrthogonalVector[Segment[G1, G1_1]]), G1_1 - (w * UnitOrthogonalVector[Segment[G1, G1_1]]), G1_1 + (w * UnitOrthogonalVector[Segment[G1, G1_1]]), G1 + (w * UnitOrthogonalVector[Segment[G1, G1_1]])) → poly14, g1, d_3, e_3, f_3, g_3
  30. Point(Circle[H1, 2]) → H1_1
  31. Polygon(H1, H1 - (w * UnitOrthogonalVector[Segment[H1, H1_1]]), H1_1 - (w * UnitOrthogonalVector[Segment[H1, H1_1]]), H1_1 + (w * UnitOrthogonalVector[Segment[H1, H1_1]]), H1 + (w * UnitOrthogonalVector[Segment[H1, H1_1]])) → poly15, h1, h_3, i_3, j_3, k_3
  32. Point(Circle[A2, 1.7320508075688772]) → A2_1
  33. Polygon(A2, A2 - (w * UnitOrthogonalVector[Segment[A2, A2_1]]), A2_1 - (w * UnitOrthogonalVector[Segment[A2, A2_1]]), A2_1 + (w * UnitOrthogonalVector[Segment[A2, A2_1]]), A2 + (w * UnitOrthogonalVector[Segment[A2, A2_1]])) → poly16, a2, l_3, m_3, n_3, p_3
  34. Point(Circle[B2, 1.7320508075688772]) → B2_1
  35. Polygon(B2, B2 - (w * UnitOrthogonalVector[Segment[B2, B2_1]]), B2_1 - (w * UnitOrthogonalVector[Segment[B2, B2_1]]), B2_1 + (w * UnitOrthogonalVector[Segment[B2, B2_1]]), B2 + (w * UnitOrthogonalVector[Segment[B2, B2_1]])) → poly17, b2, q_3, r_3, s_3, t_3
  36. Point(Circle[C2, 1.7320508075688772]) → C2_1
  37. Polygon(C2, C2 - (w * UnitOrthogonalVector[Segment[C2, C2_1]]), C2_1 - (w * UnitOrthogonalVector[Segment[C2, C2_1]]), C2_1 + (w * UnitOrthogonalVector[Segment[C2, C2_1]]), C2 + (w * UnitOrthogonalVector[Segment[C2, C2_1]])) → poly18, c2, a_4, b_4, c_4, d_4
  38. Point(Circle[D2, 1.7320508075688772]) → D2_1
  39. Polygon(D2, D2 - (w * UnitOrthogonalVector[Segment[D2, D2_1]]), D2_1 - (w * UnitOrthogonalVector[Segment[D2, D2_1]]), D2_1 + (w * UnitOrthogonalVector[Segment[D2, D2_1]]), D2 + (w * UnitOrthogonalVector[Segment[D2, D2_1]])) → poly19, d2, e_4, f_4, g_4, h_4
  40. Point(Circle[E2, 1.7320508075688772]) → E2_1
  41. Polygon(E2, E2 - (w * UnitOrthogonalVector[Segment[E2, E2_1]]), E2_1 - (w * UnitOrthogonalVector[Segment[E2, E2_1]]), E2_1 + (w * UnitOrthogonalVector[Segment[E2, E2_1]]), E2 + (w * UnitOrthogonalVector[Segment[E2, E2_1]])) → poly20, e2, i_4, j_4, k_4, l_4
  42. Point(Circle[F2, 1.7320508075688772]) → F2_1
  43. Polygon(F2, F2 - (w * UnitOrthogonalVector[Segment[F2, F2_1]]), F2_1 - (w * UnitOrthogonalVector[Segment[F2, F2_1]]), F2_1 + (w * UnitOrthogonalVector[Segment[F2, F2_1]]), F2 + (w * UnitOrthogonalVector[Segment[F2, F2_1]])) → poly21, f2, m_4, n_4, p_4, q_4
  44. Point(Circle[G2, 1.7320508075688772]) → G2_1
  45. Polygon(G2, G2 - (w * UnitOrthogonalVector[Segment[G2, G2_1]]), G2_1 - (w * UnitOrthogonalVector[Segment[G2, G2_1]]), G2_1 + (w * UnitOrthogonalVector[Segment[G2, G2_1]]), G2 + (w * UnitOrthogonalVector[Segment[G2, G2_1]])) → poly22, g2, r_4, s_4, t_4, a_5
  46. Point(Circle[H2, 1.7320508075688772]) → H2_1
  47. Polygon(H2, H2 - (w * UnitOrthogonalVector[Segment[H2, H2_1]]), H2_1 - (w * UnitOrthogonalVector[Segment[H2, H2_1]]), H2_1 + (w * UnitOrthogonalVector[Segment[H2, H2_1]]), H2 + (w * UnitOrthogonalVector[Segment[H2, H2_1]])) → poly23, h2, b_5, c_5, d_5, e_5
  48. Point(Circle[I2, 1.7320508075688772]) → I2_1
  49. Polygon(I2, I2 - (w * UnitOrthogonalVector[Segment[I2, I2_1]]), I2_1 - (w * UnitOrthogonalVector[Segment[I2, I2_1]]), I2_1 + (w * UnitOrthogonalVector[Segment[I2, I2_1]]), I2 + (w * UnitOrthogonalVector[Segment[I2, I2_1]])) → poly24, i2, f_5, g_5, h_5, i_5
  50. Point(CircleArc[A0, A0 + ((sqrt(3) * sin(15°)), ((-sqrt(3)) * cos(15°))), Rotate[A0 + ((sqrt(3) * sin(15°)), ((-sqrt(3)) * cos(15°))), 350°, A0]]) → A0_1
  51. Polygon(A0, A0 - (w * UnitOrthogonalVector[Segment[A0, A0_1]]), A0_1 - (w * UnitOrthogonalVector[Segment[A0, A0_1]]), A0_1 + (w * UnitOrthogonalVector[Segment[A0, A0_1]]), A0 + (w * UnitOrthogonalVector[Segment[A0, A0_1]])) → poly25, a0, j_5, k_5, l_5, m_5
  52. Point(CircleArc[B0, B0 + (((-sqrt(3)) * sin(15°)), ((-sqrt(3)) * cos(15°))), Rotate[B0 + (((-sqrt(3)) * sin(15°)), ((-sqrt(3)) * cos(15°))), 350°, B0]]) → B0_1
  53. Polygon(B0, B0 - (w * UnitOrthogonalVector[Segment[B0, B0_1]]), B0_1 - (w * UnitOrthogonalVector[Segment[B0, B0_1]]), B0_1 + (w * UnitOrthogonalVector[Segment[B0, B0_1]]), B0 + (w * UnitOrthogonalVector[Segment[B0, B0_1]])) → poly26, b0, n_5, p_5, q_5, r_5
  54. Point(CircleArc[C0, C0 - (0, sqrt(3)), Rotate[C0 - (0, sqrt(3)), 350°, C0]]) → C0_1
  55. Polygon(C0, C0 - (w * UnitOrthogonalVector[Segment[C0, C0_1]]), C0_1 - (w * UnitOrthogonalVector[Segment[C0, C0_1]]), C0_1 + (w * UnitOrthogonalVector[Segment[C0, C0_1]]), C0 + (w * UnitOrthogonalVector[Segment[C0, C0_1]])) → poly27, c0, s_5, t_5, a_6, b_6
  56. Point(CircleArc[D0, D0 + (((-sqrt(3)) * sin(15°)), ((-sqrt(3)) * cos(15°))), Rotate[D0 + (((-sqrt(3)) * sin(15°)), ((-sqrt(3)) * cos(15°))), 350°, D0]]) → D0_1
  57. Polygon(D0, D0 - (w * UnitOrthogonalVector[Segment[D0, D0_1]]), D0_1 - (w * UnitOrthogonalVector[Segment[D0, D0_1]]), D0_1 + (w * UnitOrthogonalVector[Segment[D0, D0_1]]), D0 + (w * UnitOrthogonalVector[Segment[D0, D0_1]])) → poly28, d0, c_6, d_6, e_6, f_6
  58. Point(CircleArc[E0, E0 + (1.5, ((-sqrt(3))) / 2), Rotate[E0 + (1.5, ((-sqrt(3))) / 2), 350°, E0]]) → E0_1
  59. Polygon(E0, E0 - (w * UnitOrthogonalVector[Segment[E0, E0_1]]), E0_1 - (w * UnitOrthogonalVector[Segment[E0, E0_1]]), E0_1 + (w * UnitOrthogonalVector[Segment[E0, E0_1]]), E0 + (w * UnitOrthogonalVector[Segment[E0, E0_1]])) → poly29, e0, g_6, h_6, i_6, j_6
  60. Point(CircleArc[F0, F0 + ((sqrt(3) * sin(15°)), ((-sqrt(3)) * cos(15°))), Rotate[F0 + ((sqrt(3) * sin(15°)), ((-sqrt(3)) * cos(15°))), 350°, F0]]) → F0_1
  61. Polygon(F0, F0 - (w * UnitOrthogonalVector[Segment[F0, F0_1]]), F0_1 - (w * UnitOrthogonalVector[Segment[F0, F0_1]]), F0_1 + (w * UnitOrthogonalVector[Segment[F0, F0_1]]), F0 + (w * UnitOrthogonalVector[Segment[F0, F0_1]])) → poly30, f0, k_6, l_6, m_6, n_6
  62. Point(CircleArc[G0, G0 + (1.5, ((-sqrt(3))) / 2), Rotate[G0 + (1.5, ((-sqrt(3))) / 2), 350°, G0]]) → G0_1
  63. Polygon(G0, G0 - (w * UnitOrthogonalVector[Segment[G0, G0_1]]), G0_1 - (w * UnitOrthogonalVector[Segment[G0, G0_1]]), G0_1 + (w * UnitOrthogonalVector[Segment[G0, G0_1]]), G0 + (w * UnitOrthogonalVector[Segment[G0, G0_1]])) → poly31, g0, p_6, q_6, r_6, s_6
  64. Point(CircleArc[H0, H0 - (1.5, sqrt(3) / 2), Rotate[H0 - (1.5, sqrt(3) / 2), 350°, H0]]) → H0_1
  65. Polygon(H0, H0 - (w * UnitOrthogonalVector[Segment[H0, H0_1]]), H0_1 - (w * UnitOrthogonalVector[Segment[H0, H0_1]]), H0_1 + (w * UnitOrthogonalVector[Segment[H0, H0_1]]), H0 + (w * UnitOrthogonalVector[Segment[H0, H0_1]])) → poly32, h0, t_6, a_7, b_7, c_7
  66. Point(Circle[I0, 1.7320508075688772]) → I0_1
  67. Polygon(I0, I0 - (w * UnitOrthogonalVector[Segment[I0, I0_1]]), I0_1 - (w * UnitOrthogonalVector[Segment[I0, I0_1]]), I0_1 + (w * UnitOrthogonalVector[Segment[I0, I0_1]]), I0 + (w * UnitOrthogonalVector[Segment[I0, I0_1]])) → poly33, i0, d_7, e_7, f_7, g_7
  68. Point(CircleArc[J0, J0 + (0, sqrt(3)), Rotate[J0 + (0, sqrt(3)), 350°, J0]]) → J0_1
  69. Polygon(J0, J0 - (w * UnitOrthogonalVector[Segment[J0, J0_1]]), J0_1 - (w * UnitOrthogonalVector[Segment[J0, J0_1]]), J0_1 + (w * UnitOrthogonalVector[Segment[J0, J0_1]]), J0 + (w * UnitOrthogonalVector[Segment[J0, J0_1]])) → poly34, j0, h_7, i_7, j_7, k_7
  70. Point(Circle[K0, 1.7320508075688772]) → K0_1
  71. Polygon(K0, K0 - (w * UnitOrthogonalVector[Segment[K0, K0_1]]), K0_1 - (w * UnitOrthogonalVector[Segment[K0, K0_1]]), K0_1 + (w * UnitOrthogonalVector[Segment[K0, K0_1]]), K0 + (w * UnitOrthogonalVector[Segment[K0, K0_1]])) → poly35, k0, l_7, m_7, n_7, p_7
  72. Point(CircleArc[L0, L0 + (sqrt(3), 0), Rotate[L0 + (sqrt(3), 0), 350°, L0]]) → L0_1
  73. Polygon(L0, L0 - (w * UnitOrthogonalVector[Segment[L0, L0_1]]), L0_1 - (w * UnitOrthogonalVector[Segment[L0, L0_1]]), L0_1 + (w * UnitOrthogonalVector[Segment[L0, L0_1]]), L0 + (w * UnitOrthogonalVector[Segment[L0, L0_1]])) → poly36, l0, q_7, r_7, s_7, t_7
  74. Point(CircleArc[M0, M0 + (sqrt(3), 0), Rotate[M0 + (sqrt(3), 0), 350°, M0]]) → M0_1
  75. Polygon(M0, M0 - (w * UnitOrthogonalVector[Segment[M0, M0_1]]), M0_1 - (w * UnitOrthogonalVector[Segment[M0, M0_1]]), M0_1 + (w * UnitOrthogonalVector[Segment[M0, M0_1]]), M0 + (w * UnitOrthogonalVector[Segment[M0, M0_1]])) → poly37, m0, a_8, b_8, c_8, d_8
  76. Point(Circle[A3, 2]) → A3_1
  77. Polygon(A3, A3 - (w * UnitOrthogonalVector[Segment[A3, A3_1]]), A3_1 - (w * UnitOrthogonalVector[Segment[A3, A3_1]]), A3_1 + (w * UnitOrthogonalVector[Segment[A3, A3_1]]), A3 + (w * UnitOrthogonalVector[Segment[A3, A3_1]])) → poly38, a3, e_8, f_8, g_8, h_8
  78. Point(Circle[B3, 2]) → B3_1
  79. Polygon(B3, B3 - (w * UnitOrthogonalVector[Segment[B3, B3_1]]), B3_1 - (w * UnitOrthogonalVector[Segment[B3, B3_1]]), B3_1 + (w * UnitOrthogonalVector[Segment[B3, B3_1]]), B3 + (w * UnitOrthogonalVector[Segment[B3, B3_1]])) → poly39, b3, i_8, j_8, k_8, l_8
  80. Point(Circle[C3, 2]) → C3_1
  81. Polygon(C3, C3 - (w * UnitOrthogonalVector[Segment[C3, C3_1]]), C3_1 - (w * UnitOrthogonalVector[Segment[C3, C3_1]]), C3_1 + (w * UnitOrthogonalVector[Segment[C3, C3_1]]), C3 + (w * UnitOrthogonalVector[Segment[C3, C3_1]])) → poly40, c3, m_8, n_8, p_8, q_8
  82. Point(Circle[D3, 2]) → D3_1
  83. Polygon(D3, D3 - (w * UnitOrthogonalVector[Segment[D3, D3_1]]), D3_1 - (w * UnitOrthogonalVector[Segment[D3, D3_1]]), D3_1 + (w * UnitOrthogonalVector[Segment[D3, D3_1]]), D3 + (w * UnitOrthogonalVector[Segment[D3, D3_1]])) → poly41, d3, r_8, s_8, t_8, a_9
  84. Point(Circle[E3, 2]) → E3_1
  85. Polygon(E3, E3 - (w * UnitOrthogonalVector[Segment[E3, E3_1]]), E3_1 - (w * UnitOrthogonalVector[Segment[E3, E3_1]]), E3_1 + (w * UnitOrthogonalVector[Segment[E3, E3_1]]), E3 + (w * UnitOrthogonalVector[Segment[E3, E3_1]])) → poly42, e3, b_9, c_9, d_9, e_9
  86. Point(Circle[F3, 2]) → F3_1
  87. Polygon(F3, F3 - (w * UnitOrthogonalVector[Segment[F3, F3_1]]), F3_1 - (w * UnitOrthogonalVector[Segment[F3, F3_1]]), F3_1 + (w * UnitOrthogonalVector[Segment[F3, F3_1]]), F3 + (w * UnitOrthogonalVector[Segment[F3, F3_1]])) → poly43, f3, f_9, g_9, h_9, i_9
  88. Point(Circle[G3, 2]) → G3_1
  89. Polygon(G3, G3 - (w * UnitOrthogonalVector[Segment[G3, G3_1]]), G3_1 - (w * UnitOrthogonalVector[Segment[G3, G3_1]]), G3_1 + (w * UnitOrthogonalVector[Segment[G3, G3_1]]), G3 + (w * UnitOrthogonalVector[Segment[G3, G3_1]])) → poly44, g3, j_9, k_9, l_9, m_9
  90. Point(Circle[H3, 2]) → H3_1
  91. Polygon(H3, H3 - (w * UnitOrthogonalVector[Segment[H3, H3_1]]), H3_1 - (w * UnitOrthogonalVector[Segment[H3, H3_1]]), H3_1 + (w * UnitOrthogonalVector[Segment[H3, H3_1]]), H3 + (w * UnitOrthogonalVector[Segment[H3, H3_1]])) → poly45, h3, n_9, p_9, q_9, r_9
  92. Point(Circle[I3, 2]) → I3_1
  93. Polygon(I3, I3 - (w * UnitOrthogonalVector[Segment[I3, I3_1]]), I3_1 - (w * UnitOrthogonalVector[Segment[I3, I3_1]]), I3_1 + (w * UnitOrthogonalVector[Segment[I3, I3_1]]), I3 + (w * UnitOrthogonalVector[Segment[I3, I3_1]])) → poly46, i3, s_9, t_9, a_{10}, b_{10}
  94. Point(Circle[J3, 2]) → J3_1
  95. Polygon(J3, J3 - (w * UnitOrthogonalVector[Segment[J3, J3_1]]), J3_1 - (w * UnitOrthogonalVector[Segment[J3, J3_1]]), J3_1 + (w * UnitOrthogonalVector[Segment[J3, J3_1]]), J3 + (w * UnitOrthogonalVector[Segment[J3, J3_1]])) → poly47, j3, c_{10}, d_{10}, e_{10}, f_{10}
  96. Point(Circle[K3, 2]) → K3_1
  97. Polygon(K3, K3 - (w * UnitOrthogonalVector[Segment[K3, K3_1]]), K3_1 - (w * UnitOrthogonalVector[Segment[K3, K3_1]]), K3_1 + (w * UnitOrthogonalVector[Segment[K3, K3_1]]), K3 + (w * UnitOrthogonalVector[Segment[K3, K3_1]])) → poly48, k3, g_{10}, h_{10}, i_{10}, j_{10}
  98. Point(Circle[L3, 2]) → L3_1
  99. Polygon(L3, L3 - (w * UnitOrthogonalVector[Segment[L3, L3_1]]), L3_1 - (w * UnitOrthogonalVector[Segment[L3, L3_1]]), L3_1 + (w * UnitOrthogonalVector[Segment[L3, L3_1]]), L3 + (w * UnitOrthogonalVector[Segment[L3, L3_1]])) → poly49, l3, k_{10}, l_{10}, m_{10}, n_{10}
  100. Point(Circle[M3, 2]) → M3_1
  101. Polygon(M3, M3 - (w * UnitOrthogonalVector[Segment[M3, M3_1]]), M3_1 - (w * UnitOrthogonalVector[Segment[M3, M3_1]]), M3_1 + (w * UnitOrthogonalVector[Segment[M3, M3_1]]), M3 + (w * UnitOrthogonalVector[Segment[M3, M3_1]])) → poly50, m3, p_{10}, q_{10}, r_{10}, s_{10}
  102. Point(Circle[N3, 2]) → N3_1
  103. Polygon(N3, N3 - (w * UnitOrthogonalVector[Segment[N3, N3_1]]), N3_1 - (w * UnitOrthogonalVector[Segment[N3, N3_1]]), N3_1 + (w * UnitOrthogonalVector[Segment[N3, N3_1]]), N3 + (w * UnitOrthogonalVector[Segment[N3, N3_1]])) → poly51, n3, t_{10}, a_{11}, b_{11}, c_{11}
  104. Point(Circle[O3, 2]) → O3_1
  105. Polygon(O3, O3 - (w * UnitOrthogonalVector[Segment[O3, O3_1]]), O3_1 - (w * UnitOrthogonalVector[Segment[O3, O3_1]]), O3_1 + (w * UnitOrthogonalVector[Segment[O3, O3_1]]), O3 + (w * UnitOrthogonalVector[Segment[O3, O3_1]])) → poly52, o3, d_{11}, e_{11}, f_{11}, g_{11}
  106. Point(Circle[P3, 2]) → P3_1
  107. Polygon(P3, P3 - (w * UnitOrthogonalVector[Segment[P3, P3_1]]), P3_1 - (w * UnitOrthogonalVector[Segment[P3, P3_1]]), P3_1 + (w * UnitOrthogonalVector[Segment[P3, P3_1]]), P3 + (w * UnitOrthogonalVector[Segment[P3, P3_1]])) → poly53, p3, h_{11}, i_{11}, j_{11}, k_{11}
  108. Point(Circle[A4, 2]) → A4_1
  109. Polygon(A4, A4 - (w * UnitOrthogonalVector[Segment[A4, A4_1]]), A4_1 - (w * UnitOrthogonalVector[Segment[A4, A4_1]]), A4_1 + (w * UnitOrthogonalVector[Segment[A4, A4_1]]), A4 + (w * UnitOrthogonalVector[Segment[A4, A4_1]])) → poly54, a4, l_{11}, m_{11}, n_{11}, p_{11}
  110. Point(Circle[B4, 2]) → B4_1
  111. Polygon(B4, B4 - (w * UnitOrthogonalVector[Segment[B4, B4_1]]), B4_1 - (w * UnitOrthogonalVector[Segment[B4, B4_1]]), B4_1 + (w * UnitOrthogonalVector[Segment[B4, B4_1]]), B4 + (w * UnitOrthogonalVector[Segment[B4, B4_1]])) → poly55, b4, q_{11}, r_{11}, s_{11}, t_{11}
  112. Point(Circle[C4, 2]) → C4_1
  113. Polygon(C4, C4 - (w * UnitOrthogonalVector[Segment[C4, C4_1]]), C4_1 - (w * UnitOrthogonalVector[Segment[C4, C4_1]]), C4_1 + (w * UnitOrthogonalVector[Segment[C4, C4_1]]), C4 + (w * UnitOrthogonalVector[Segment[C4, C4_1]])) → poly56, c4, a_{12}, b_{12}, c_{12}, d_{12}
  114. Point(Circle[D4, 2]) → D4_1
  115. Polygon(D4, D4 - (w * UnitOrthogonalVector[Segment[D4, D4_1]]), D4_1 - (w * UnitOrthogonalVector[Segment[D4, D4_1]]), D4_1 + (w * UnitOrthogonalVector[Segment[D4, D4_1]]), D4 + (w * UnitOrthogonalVector[Segment[D4, D4_1]])) → poly57, d4, e_{12}, f_{12}, g_{12}, h_{12}
  116. Point(Circle[E4, 2]) → E4_1
  117. Polygon(E4, E4 - (w * UnitOrthogonalVector[Segment[E4, E4_1]]), E4_1 - (w * UnitOrthogonalVector[Segment[E4, E4_1]]), E4_1 + (w * UnitOrthogonalVector[Segment[E4, E4_1]]), E4 + (w * UnitOrthogonalVector[Segment[E4, E4_1]])) → poly58, e4, i_{12}, j_{12}, k_{12}, l_{12}
  118. Point(Circle[F4, 2]) → F4_1
  119. Polygon(F4, F4 - (w * UnitOrthogonalVector[Segment[F4, F4_1]]), F4_1 - (w * UnitOrthogonalVector[Segment[F4, F4_1]]), F4_1 + (w * UnitOrthogonalVector[Segment[F4, F4_1]]), F4 + (w * UnitOrthogonalVector[Segment[F4, F4_1]])) → poly59, f4, m_{12}, n_{12}, p_{12}, q_{12}
  120. Point(Circle[G4, 2]) → G4_1
  121. Polygon(G4, G4 - (w * UnitOrthogonalVector[Segment[G4, G4_1]]), G4_1 - (w * UnitOrthogonalVector[Segment[G4, G4_1]]), G4_1 + (w * UnitOrthogonalVector[Segment[G4, G4_1]]), G4 + (w * UnitOrthogonalVector[Segment[G4, G4_1]])) → poly60, g4, r_{12}, s_{12}, t_{12}, a_{13}
  122. Point(Circle[H4, 2]) → H4_1
  123. Polygon(H4, H4 - (w * UnitOrthogonalVector[Segment[H4, H4_1]]), H4_1 - (w * UnitOrthogonalVector[Segment[H4, H4_1]]), H4_1 + (w * UnitOrthogonalVector[Segment[H4, H4_1]]), H4 + (w * UnitOrthogonalVector[Segment[H4, H4_1]])) → poly61, h4, b_{13}, c_{13}, d_{13}, e_{13}
  124. Point(Circle[I4, 2]) → I4_1
  125. Polygon(I4, I4 - (w * UnitOrthogonalVector[Segment[I4, I4_1]]), I4_1 - (w * UnitOrthogonalVector[Segment[I4, I4_1]]), I4_1 + (w * UnitOrthogonalVector[Segment[I4, I4_1]]), I4 + (w * UnitOrthogonalVector[Segment[I4, I4_1]])) → poly62, i4, f_{13}, g_{13}, h_{13}, i_{13}
  126. Point(Circle[J4, 2]) → J4_1
  127. Polygon(J4, J4 - (w * UnitOrthogonalVector[Segment[J4, J4_1]]), J4_1 - (w * UnitOrthogonalVector[Segment[J4, J4_1]]), J4_1 + (w * UnitOrthogonalVector[Segment[J4, J4_1]]), J4 + (w * UnitOrthogonalVector[Segment[J4, J4_1]])) → poly63, j4, j_{13}, k_{13}, l_{13}, m_{13}
  128. Point(Circle[K4, 2]) → K4_1
  129. Polygon(K4, K4 - (w * UnitOrthogonalVector[Segment[K4, K4_1]]), K4_1 - (w * UnitOrthogonalVector[Segment[K4, K4_1]]), K4_1 + (w * UnitOrthogonalVector[Segment[K4, K4_1]]), K4 + (w * UnitOrthogonalVector[Segment[K4, K4_1]])) → poly64, k4, n_{13}, p_{13}, q_{13}, r_{13}
  130. Point(Circle[L4, 2]) → L4_1
  131. Polygon(L4, L4 - (w * UnitOrthogonalVector[Segment[L4, L4_1]]), L4_1 - (w * UnitOrthogonalVector[Segment[L4, L4_1]]), L4_1 + (w * UnitOrthogonalVector[Segment[L4, L4_1]]), L4 + (w * UnitOrthogonalVector[Segment[L4, L4_1]])) → poly65, l4, s_{13}, t_{13}, a_{14}, b_{14}
  132. Point(Circle[M4, 2]) → M4_1
  133. Polygon(M4, M4 - (w * UnitOrthogonalVector[Segment[M4, M4_1]]), M4_1 - (w * UnitOrthogonalVector[Segment[M4, M4_1]]), M4_1 + (w * UnitOrthogonalVector[Segment[M4, M4_1]]), M4 + (w * UnitOrthogonalVector[Segment[M4, M4_1]])) → poly66, m4, c_{14}, d_{14}, e_{14}, f_{14}
  134. Point(Circle[N4, 2]) → N4_1
  135. Polygon(N4, N4 - (w * UnitOrthogonalVector[Segment[N4, N4_1]]), N4_1 - (w * UnitOrthogonalVector[Segment[N4, N4_1]]), N4_1 + (w * UnitOrthogonalVector[Segment[N4, N4_1]]), N4 + (w * UnitOrthogonalVector[Segment[N4, N4_1]])) → poly67, n4, g_{14}, h_{14}, i_{14}, j_{14}
  136. Point(Circle[O4, 2]) → O4_1
  137. Polygon(O4, O4 - (w * UnitOrthogonalVector[Segment[O4, O4_1]]), O4_1 - (w * UnitOrthogonalVector[Segment[O4, O4_1]]), O4_1 + (w * UnitOrthogonalVector[Segment[O4, O4_1]]), O4 + (w * UnitOrthogonalVector[Segment[O4, O4_1]])) → poly68, o4, k_{14}, l_{14}, m_{14}, n_{14}
  138. Point(Circle[P4, 2]) → P4_1
  139. Polygon(P4, P4 - (w * UnitOrthogonalVector[Segment[P4, P4_1]]), P4_1 - (w * UnitOrthogonalVector[Segment[P4, P4_1]]), P4_1 + (w * UnitOrthogonalVector[Segment[P4, P4_1]]), P4 + (w * UnitOrthogonalVector[Segment[P4, P4_1]])) → poly69, p4, p_{14}, q_{14}, r_{14}, s_{14}
  140. Point(Circle[Q4, 2]) → Q4_1
  141. Polygon(Q4, Q4 - (w * UnitOrthogonalVector[Segment[Q4, Q4_1]]), Q4_1 - (w * UnitOrthogonalVector[Segment[Q4, Q4_1]]), Q4_1 + (w * UnitOrthogonalVector[Segment[Q4, Q4_1]]), Q4 + (w * UnitOrthogonalVector[Segment[Q4, Q4_1]])) → poly70, q4, t_{14}, a_{15}, b_{15}, c_{15}
  142. Point(Circle[R4, 2]) → R4_1
  143. Polygon(R4, R4 - (w * UnitOrthogonalVector[Segment[R4, R4_1]]), R4_1 - (w * UnitOrthogonalVector[Segment[R4, R4_1]]), R4_1 + (w * UnitOrthogonalVector[Segment[R4, R4_1]]), R4 + (w * UnitOrthogonalVector[Segment[R4, R4_1]])) → poly71, r4, d_{15}, e_{15}, f_{15}, g_{15}
  144. Point(Circle[A5, 1.7320508075688772]) → A5_1
  145. Polygon(A5, A5 - (w * UnitOrthogonalVector[Segment[A5, A5_1]]), A5_1 - (w * UnitOrthogonalVector[Segment[A5, A5_1]]), A5_1 + (w * UnitOrthogonalVector[Segment[A5, A5_1]]), A5 + (w * UnitOrthogonalVector[Segment[A5, A5_1]])) → poly72, a5, h_{15}, i_{15}, j_{15}, k_{15}
  146. Point(Circle[B5, 1.7320508075688772]) → B5_1
  147. Polygon(B5, B5 - (w * UnitOrthogonalVector[Segment[B5, B5_1]]), B5_1 - (w * UnitOrthogonalVector[Segment[B5, B5_1]]), B5_1 + (w * UnitOrthogonalVector[Segment[B5, B5_1]]), B5 + (w * UnitOrthogonalVector[Segment[B5, B5_1]])) → poly73, b5, l_{15}, m_{15}, n_{15}, p_{15}
  148. Point(Circle[C5, 1.7320508075688772]) → C5_1
  149. Polygon(C5, C5 - (w * UnitOrthogonalVector[Segment[C5, C5_1]]), C5_1 - (w * UnitOrthogonalVector[Segment[C5, C5_1]]), C5_1 + (w * UnitOrthogonalVector[Segment[C5, C5_1]]), C5 + (w * UnitOrthogonalVector[Segment[C5, C5_1]])) → poly74, c5, q_{15}, r_{15}, s_{15}, t_{15}
  150. Point(Circle[D5, 1.7320508075688772]) → D5_1
  151. Polygon(D5, D5 - (w * UnitOrthogonalVector[Segment[D5, D5_1]]), D5_1 - (w * UnitOrthogonalVector[Segment[D5, D5_1]]), D5_1 + (w * UnitOrthogonalVector[Segment[D5, D5_1]]), D5 + (w * UnitOrthogonalVector[Segment[D5, D5_1]])) → poly75, d5, a_{16}, b_{16}, c_{16}, d_{16}
  152. Point(Circle[E5, 1.7320508075688772]) → E5_1
  153. Polygon(E5, E5 - (w * UnitOrthogonalVector[Segment[E5, E5_1]]), E5_1 - (w * UnitOrthogonalVector[Segment[E5, E5_1]]), E5_1 + (w * UnitOrthogonalVector[Segment[E5, E5_1]]), E5 + (w * UnitOrthogonalVector[Segment[E5, E5_1]])) → poly76, e5, e_{16}, f_{16}, g_{16}, h_{16}
  154. Point(Circle[F5, 1.7320508075688772]) → F5_1
  155. Polygon(F5, F5 - (w * UnitOrthogonalVector[Segment[F5, F5_1]]), F5_1 - (w * UnitOrthogonalVector[Segment[F5, F5_1]]), F5_1 + (w * UnitOrthogonalVector[Segment[F5, F5_1]]), F5 + (w * UnitOrthogonalVector[Segment[F5, F5_1]])) → poly77, f5, i_{16}, j_{16}, k_{16}, l_{16}
  156. Point(Circle[G5, 1.7320508075688772]) → G5_1
  157. Polygon(G5, G5 - (w * UnitOrthogonalVector[Segment[G5, G5_1]]), G5_1 - (w * UnitOrthogonalVector[Segment[G5, G5_1]]), G5_1 + (w * UnitOrthogonalVector[Segment[G5, G5_1]]), G5 + (w * UnitOrthogonalVector[Segment[G5, G5_1]])) → poly78, g5, m_{16}, n_{16}, p_{16}, q_{16}
  158. Point(Circle[H5, 1.7320508075688772]) → H5_1
  159. Polygon(H5, H5 - (w * UnitOrthogonalVector[Segment[H5, H5_1]]), H5_1 - (w * UnitOrthogonalVector[Segment[H5, H5_1]]), H5_1 + (w * UnitOrthogonalVector[Segment[H5, H5_1]]), H5 + (w * UnitOrthogonalVector[Segment[H5, H5_1]])) → poly79, h5, r_{16}, s_{16}, t_{16}, a_{17}
  160. Point(Circle[I5, 1.7320508075688772]) → I5_1
  161. Polygon(I5, I5 - (w * UnitOrthogonalVector[Segment[I5, I5_1]]), I5_1 - (w * UnitOrthogonalVector[Segment[I5, I5_1]]), I5_1 + (w * UnitOrthogonalVector[Segment[I5, I5_1]]), I5 + (w * UnitOrthogonalVector[Segment[I5, I5_1]])) → poly80, i5, b_{17}, c_{17}, d_{17}, e_{17}
  162. Point(Circle[J5, 1.7320508075688772]) → J5_1
  163. Polygon(J5, J5 - (w * UnitOrthogonalVector[Segment[J5, J5_1]]), J5_1 - (w * UnitOrthogonalVector[Segment[J5, J5_1]]), J5_1 + (w * UnitOrthogonalVector[Segment[J5, J5_1]]), J5 + (w * UnitOrthogonalVector[Segment[J5, J5_1]])) → poly81, j5, f_{17}, g_{17}, h_{17}, i_{17}
  164. Point(Circle[K5, 1.7320508075688772]) → K5_1
  165. Polygon(K5, K5 - (w * UnitOrthogonalVector[Segment[K5, K5_1]]), K5_1 - (w * UnitOrthogonalVector[Segment[K5, K5_1]]), K5_1 + (w * UnitOrthogonalVector[Segment[K5, K5_1]]), K5 + (w * UnitOrthogonalVector[Segment[K5, K5_1]])) → poly82, k5, j_{17}, k_{17}, l_{17}, m_{17}
  166. Point(Circle[L5, 1.7320508075688772]) → L5_1
  167. Polygon(L5, L5 - (w * UnitOrthogonalVector[Segment[L5, L5_1]]), L5_1 - (w * UnitOrthogonalVector[Segment[L5, L5_1]]), L5_1 + (w * UnitOrthogonalVector[Segment[L5, L5_1]]), L5 + (w * UnitOrthogonalVector[Segment[L5, L5_1]])) → poly83, l5, n_{17}, p_{17}, q_{17}, r_{17}
  168. Point(Circle[M5, 1.7320508075688772]) → M5_1
  169. Polygon(M5, M5 - (w * UnitOrthogonalVector[Segment[M5, M5_1]]), M5_1 - (w * UnitOrthogonalVector[Segment[M5, M5_1]]), M5_1 + (w * UnitOrthogonalVector[Segment[M5, M5_1]]), M5 + (w * UnitOrthogonalVector[Segment[M5, M5_1]])) → poly84, m5, s_{17}, t_{17}, a_{18}, b_{18}
  170. Point(Circle[N5, 1.7320508075688772]) → N5_1
  171. Polygon(N5, N5 - (w * UnitOrthogonalVector[Segment[N5, N5_1]]), N5_1 - (w * UnitOrthogonalVector[Segment[N5, N5_1]]), N5_1 + (w * UnitOrthogonalVector[Segment[N5, N5_1]]), N5 + (w * UnitOrthogonalVector[Segment[N5, N5_1]])) → poly85, n5, c_{18}, d_{18}, e_{18}, f_{18}
  172. Point(Circle[O5, 1.7320508075688772]) → O5_1
  173. Polygon(O5, O5 - (w * UnitOrthogonalVector[Segment[O5, O5_1]]), O5_1 - (w * UnitOrthogonalVector[Segment[O5, O5_1]]), O5_1 + (w * UnitOrthogonalVector[Segment[O5, O5_1]]), O5 + (w * UnitOrthogonalVector[Segment[O5, O5_1]])) → poly86, o5, g_{18}, h_{18}, i_{18}, j_{18}
  174. Point(Circle[A6, 1.7320508075688772]) → A6_1
  175. Polygon(A6, A6 - (w * UnitOrthogonalVector[Segment[A6, A6_1]]), A6_1 - (w * UnitOrthogonalVector[Segment[A6, A6_1]]), A6_1 + (w * UnitOrthogonalVector[Segment[A6, A6_1]]), A6 + (w * UnitOrthogonalVector[Segment[A6, A6_1]])) → poly87, a6, k_{18}, l_{18}, m_{18}, n_{18}
  176. Point(Circle[B6, 1.7320508075688772]) → B6_1
  177. Polygon(B6, B6 - (w * UnitOrthogonalVector[Segment[B6, B6_1]]), B6_1 - (w * UnitOrthogonalVector[Segment[B6, B6_1]]), B6_1 + (w * UnitOrthogonalVector[Segment[B6, B6_1]]), B6 + (w * UnitOrthogonalVector[Segment[B6, B6_1]])) → poly88, b6, p_{18}, q_{18}, r_{18}, s_{18}
  178. Point(Circle[C6, 1.7320508075688772]) → C6_1
  179. Polygon(C6, C6 - (w * UnitOrthogonalVector[Segment[C6, C6_1]]), C6_1 - (w * UnitOrthogonalVector[Segment[C6, C6_1]]), C6_1 + (w * UnitOrthogonalVector[Segment[C6, C6_1]]), C6 + (w * UnitOrthogonalVector[Segment[C6, C6_1]])) → poly89, c6, t_{18}, a_{19}, b_{19}, c_{19}
  180. Point(Circle[D6, 1.7320508075688772]) → D6_1
  181. Polygon(D6, D6 - (w * UnitOrthogonalVector[Segment[D6, D6_1]]), D6_1 - (w * UnitOrthogonalVector[Segment[D6, D6_1]]), D6_1 + (w * UnitOrthogonalVector[Segment[D6, D6_1]]), D6 + (w * UnitOrthogonalVector[Segment[D6, D6_1]])) → poly90, d6, d_{19}, e_{19}, f_{19}, g_{19}
  182. Point(Circle[E6, 1.7320508075688772]) → E6_1
  183. Polygon(E6, E6 - (w * UnitOrthogonalVector[Segment[E6, E6_1]]), E6_1 - (w * UnitOrthogonalVector[Segment[E6, E6_1]]), E6_1 + (w * UnitOrthogonalVector[Segment[E6, E6_1]]), E6 + (w * UnitOrthogonalVector[Segment[E6, E6_1]])) → poly91, e6, h_{19}, i_{19}, j_{19}, k_{19}
  184. Point(Circle[F6, 1.7320508075688772]) → F6_1
  185. Polygon(F6, F6 - (w * UnitOrthogonalVector[Segment[F6, F6_1]]), F6_1 - (w * UnitOrthogonalVector[Segment[F6, F6_1]]), F6_1 + (w * UnitOrthogonalVector[Segment[F6, F6_1]]), F6 + (w * UnitOrthogonalVector[Segment[F6, F6_1]])) → poly92, f6, l_{19}, m_{19}, n_{19}, p_{19}
  186. Point(Circle[G6, 1.7320508075688772]) → G6_1
  187. Polygon(G6, G6 - (w * UnitOrthogonalVector[Segment[G6, G6_1]]), G6_1 - (w * UnitOrthogonalVector[Segment[G6, G6_1]]), G6_1 + (w * UnitOrthogonalVector[Segment[G6, G6_1]]), G6 + (w * UnitOrthogonalVector[Segment[G6, G6_1]])) → poly93, g6, q_{19}, r_{19}, s_{19}, t_{19}
  188. Point(Circle[H6, 1.7320508075688772]) → H6_1
  189. Polygon(H6, H6 - (w * UnitOrthogonalVector[Segment[H6, H6_1]]), H6_1 - (w * UnitOrthogonalVector[Segment[H6, H6_1]]), H6_1 + (w * UnitOrthogonalVector[Segment[H6, H6_1]]), H6 + (w * UnitOrthogonalVector[Segment[H6, H6_1]])) → poly94, h6, a_{20}, b_{20}, c_{20}, d_{20}
  190. Point(Circle[I6, 1.7320508075688772]) → I6_1
  191. Polygon(I6, I6 - (w * UnitOrthogonalVector[Segment[I6, I6_1]]), I6_1 - (w * UnitOrthogonalVector[Segment[I6, I6_1]]), I6_1 + (w * UnitOrthogonalVector[Segment[I6, I6_1]]), I6 + (w * UnitOrthogonalVector[Segment[I6, I6_1]])) → poly95, i6, e_{20}, f_{20}, g_{20}, h_{20}
  192. Point(Circle[J6, 1.7320508075688772]) → J6_1
  193. Polygon(J6, J6 - (w * UnitOrthogonalVector[Segment[J6, J6_1]]), J6_1 - (w * UnitOrthogonalVector[Segment[J6, J6_1]]), J6_1 + (w * UnitOrthogonalVector[Segment[J6, J6_1]]), J6 + (w * UnitOrthogonalVector[Segment[J6, J6_1]])) → poly96, j6, i_{20}, j_{20}, k_{20}, l_{20}
  194. Point(Circle[K6, 1.7320508075688772]) → K6_1
  195. Polygon(K6, K6 - (w * UnitOrthogonalVector[Segment[K6, K6_1]]), K6_1 - (w * UnitOrthogonalVector[Segment[K6, K6_1]]), K6_1 + (w * UnitOrthogonalVector[Segment[K6, K6_1]]), K6 + (w * UnitOrthogonalVector[Segment[K6, K6_1]])) → poly97, k6, m_{20}, n_{20}, p_{20}, q_{20}
  196. Point(Circle[L6, 1.7320508075688772]) → L6_1
  197. Polygon(L6, L6 - (w * UnitOrthogonalVector[Segment[L6, L6_1]]), L6_1 - (w * UnitOrthogonalVector[Segment[L6, L6_1]]), L6_1 + (w * UnitOrthogonalVector[Segment[L6, L6_1]]), L6 + (w * UnitOrthogonalVector[Segment[L6, L6_1]])) → poly98, l6, r_{20}, s_{20}, t_{20}, a_{21}
  198. Point(Ray[Z0, Z0 + (1, 0)]) → Z0'
  199. Point(Ray[Z2, Z2 + (1, 0)]) → Z2'
  200. Point(Ray[Z3, Z3 + (1, 0)]) → Z3'
  201. Point(Ray[Z4, Z4 + (1, 0)]) → Z4'
  202. Point(Ray[Z5, Z5 + (1, 0)]) → Z5'
  203. Point(Ray[Z6, Z6 + (1, 0)]) → Z6'
  204. Point(Ray[Z7, Z7 + (1, 0)]) → Z7'
  205. Segment((1.7320508075688772, 3), (3.4641016151377544, 3)) → b_{21}
  206. Segment((1.7320508075688772, 3), (0.2320508075688772, 2.1339745962155616)) → c_{21}
  207. Intersect(b_{21}, c_{21}) → I_0
  208. Segment(I_0, H_0) → d_{21}
  209. Segment(J_0, H_0) → e_{21}
  210. Segment(K_0, M_0) → f_{21}
  211. Segment(H_0, L_0) → g_{21}
  212. Segment(L_0, N_0) → h_{21}
  213. Segment(M_0, N_0) → i_{21}
  214. Segment(M_0, O_0) → j_{21}
  215. Segment(H_0, I) → k_{21}
  216. Segment(H_0, H) → l_{21}
  217. Segment(N_0, K) → m_{21}
  218. Segment(N_0, J) → n_{21}
  219. Segment(L, M) → p_{21}
  220. Segment(M, N) → q_{21}
  221. Segment(O, P) → s_{21}
  222. Segment(P, L) → t_{21}
  223. Segment(P, Q) → a_{22}
  224. Segment(Q, N) → b_{22}
  225. Segment(Q, R) → c_{22}
  226. Segment(S, T) → r_{21}
  227. Segment(U, S) → d_{22}
  228. Segment(U, V) → e_{22}
  229. Segment(V, W) → f_{22}
  230. Segment(V, Z) → g_{22}
  231. Segment(Z, H_1) → h_{22}
  232. Segment(Z, S) → i_{22}
  233. Segment(Z, I_1) → j_{22}
  234. Segment(J_1, K_1) → k_{22}
  235. Segment(K_1, L_1) → l_{22}
  236. Segment(L_1, M_1) → m_{22}
  237. Segment(M_1, N_1) → n_{22}
  238. Segment(N_1, O_1) → p_{22}
  239. Segment(O_1, P_1) → q_{22}
  240. Segment(P_1, Q_1) → r_{22}
  241. Segment(Q_1, R_1) → s_{22}
  242. Segment(R_1, J_1) → t_{22}
  243. Segment(S_1, T_1) → a_{23}
  244. Segment(T_1, U_1) → b_{23}
  245. Segment(S_1, V_1) → c_{23}
  246. Segment(V_1, T_1) → d_{23}
  247. Segment(V_1, W_1) → e_{23}
  248. Segment(W_1, Z_1) → f_{23}
  249. Segment(Z_1, V_1) → g_{23}
  250. Segment(Z_1, T_1) → h_{23}
  251. Segment(U_1, Z_1) → i_{23}
  252. Segment(Z_1, A_2) → j_{23}
  253. Segment(A_2, U_1) → k_{23}
  254. Segment(Z_1, B_2) → l_{23}
  255. Segment(B_2, W_1) → m_{23}
  256. Segment(B_2, A_2) → n_{23}
  257. Segment(A_2, C_2) → p_{23}
  258. Segment(C_2, B_2) → q_{23}
  259. Segment(D_2, E_2) → r_{23}
  260. Segment(E_2, F_2) → s_{23}
  261. Segment(F_2, D_2) → t_{23}
  262. Segment(G_2, D_2) → a_{24}
  263. Segment(D_2, H_2) → b_{24}
  264. Segment(H_2, G_2) → c_{24}
  265. Segment(F_2, I_2) → d_{24}
  266. Segment(I_2, J_2) → e_{24}
  267. Segment(J_2, F_2) → f_{24}
  268. Segment(J_2, K_2) → g_{24}
  269. Segment(K_2, L_2) → h_{24}
  270. Segment(L_2, J_2) → i_{24}
  271. Segment(K_2, M_2) → j_{24}
  272. Segment(M_2, N_2) → k_{24}
  273. Segment(N_2, K_2) → l_{24}
  274. Segment(M_2, H_2) → m_{24}
  275. Segment(H_2, O_2) → n_{24}
  276. Segment(O_2, M_2) → p_{24}

AI 绘图提示语参考

该图形由多个多边形构成，这些多边形通过共享的边和交点连接，形成一个棱柱状的复合形状。图形中包含许多点、线段和多边形，这些元素通过交点相互连接，构成一个整体结构。
以上提示语为根据原始绘图命令整理而来，仅供参考。