Polygonal Spiral

Polygonal Spiral
Loading the math board and drawing, please wait…
2020-03-16 18:49
This is an example of a polygonal spiral. It demonstrates the process of generating a spiral through rotation and distance transformation. Commands used include circle, line, intersect, rotate, distance, angle, and segment. Suitable for middle school and above students to learn about geometric transformations and spiral generation.

GeoGebra Commands & Parameters

  1. Circle(P0, r0) → c0
  2. Line(P0, P0_1) → s0
  3. Intersect(c0, s0, 2) → P1
  4. Circle(P1, Pc) → cP1
  5. Intersect(cP1, s0, 2) → Be1
  6. Circle(Be1, Pc) → cBe1
  7. Intersect(cBe1, s0, 2) → Be2
  8. Circle(P0, Be1) → ce1
  9. Circle(Be2, Pc) → cBe2
  10. Circle(P0, Be2) → ce2
  11. Intersect(cBe2, s0, 2) → Be3
  12. Circle(P0, Be3) → ce3
  13. Circle(Be3, Pc) → cBe3
  14. Intersect(cBe3, s0, 2) → Be4
  15. Circle(Be4, Pc) → cBe4
  16. Intersect(cBe4, s0, 2) → Be5
  17. Circle(P0, Be5) → ce5
  18. Circle(Be5, Pc) → cBe5
  19. Intersect(cBe5, s0, 2) → Be6
  20. Circle(Be6, Pc) → cBe6
  21. Intersect(cBe6, s0, 2) → Be7
  22. Circle(P0, Be7) → ce7
  23. Circle(Be7, Pc) → cBe7
  24. Intersect(cBe7, s0, 2) → Be8
  25. Circle(Be8, Pc) → cBe8
  26. Intersect(cBe8, s0, 2) → Be9
  27. Circle(P0, Be9) → ce9
  28. Circle(Be9, Pc) → cBe9
  29. Intersect(cBe9, s0, 2) → Be10
  30. Circle(Be10, Pc) → cBe10
  31. Intersect(cBe10, s0, 2) → Be11
  32. Circle(P0, Be11) → ce11
  33. Circle(Be11, Pc) → cBe11
  34. Intersect(cBe11, s0, 2) → Be12
  35. Circle(Be12, Pc) → cBe12
  36. Intersect(cBe12, s0, 2) → Be13
  37. Circle(P0, Be13) → ce13
  38. Circle(Be13, Pc) → cBe13
  39. Intersect(cBe13, s0, 2) → Be14
  40. Circle(Be14, Pc) → cBe14
  41. Intersect(cBe14, s0, 2) → Be15
  42. Circle(P0, Be15) → ce15
  43. Circle(Be15, Pc) → cBe15
  44. Intersect(cBe15, s0, 2) → Be16
  45. Circle(Be16, Pc) → cBe16
  46. Intersect(cBe16, s0, 2) → Be17
  47. Circle(P0, Be17) → ce17
  48. Circle(Be17, Pc) → cBe17
  49. Intersect(cBe17, s0, 2) → Be18
  50. Circle(Be18, Pc) → cBe18
  51. Intersect(cBe18, s0, 2) → Be19
  52. Circle(P0, Be19) → ce19
  53. Circle(Be19, Pc) → cBe19
  54. Intersect(cBe19, s0, 2) → Be20
  55. Circle(Be20, Pc) → cBe20
  56. Intersect(cBe20, s0, 2) → Be21
  57. Circle(P0, Be21) → ce21
  58. Circle(Be21, Pc) → cBe21
  59. Intersect(cBe21, s0, 2) → Be22
  60. Circle(Be22, Pc) → cBe22
  61. Intersect(cBe22, s0, 2) → Be23
  62. Circle(P0, Be23) → ce23
  63. Circle(Be23, Pc) → cBe23
  64. Intersect(cBe23, s0, 2) → Be24
  65. Circle(Be24, Pc) → cBe24
  66. Intersect(cBe24, s0, 2) → Be25
  67. Circle(P0, Be25) → ce25
  68. Circle(Be25, Pc) → cBe25
  69. Intersect(cBe25, s0, 2) → Be26
  70. Circle(Be26, Pc) → cBe26
  71. Intersect(cBe26, s0, 2) → Be27
  72. Circle(P0, Be27) → ce27
  73. Circle(Be27, Pc) → cBe27
  74. Intersect(cBe27, s0, 2) → Be28
  75. Circle(Be28, Pc) → cBe28
  76. Intersect(cBe28, s0, 2) → Be29
  77. Circle(P0, Be29) → ce29
  78. Circle(Be29, Pc) → cBe29
  79. Intersect(cBe29, s0, 2) → Be30
  80. Circle(Be30, Pc) → cBe30
  81. Intersect(cBe30, s0, 2) → Be31
  82. Circle(P0, Be31) → ce31
  83. Circle(Be31, Pc) → cBe31
  84. Intersect(cBe31, s0, 2) → Be32
  85. Circle(Be32, Pc) → cBe32
  86. Intersect(cBe32, s0, 2) → Be33
  87. Circle(P0, Be33) → ce33
  88. Circle(Be33, Pc) → cBe33
  89. Intersect(cBe33, s0, 2) → Be34
  90. Circle(Be34, Pc) → cBe34
  91. Intersect(cBe34, s0, 2) → Be35
  92. Circle(P0, Be35) → ce35
  93. Circle(P0, Be34) → ce34
  94. Circle(P0, Be32) → ce32
  95. Circle(P0, Be30) → ce30
  96. Circle(P0, Be28) → ce28
  97. Circle(P0, Be26) → ce26
  98. Circle(P0, Be24) → ce24
  99. Circle(P0, Be22) → ce22
  100. Circle(P0, Be20) → ce20
  101. Circle(P0, Be18) → ce18
  102. Circle(P0, Be16) → ce16
  103. Circle(P0, Be14) → ce14
  104. Circle(P0, Be12) → ce12
  105. Circle(P0, Be10) → ce10
  106. Circle(P0, Be8) → ce8
  107. Circle(P0, Be6) → ce6
  108. Circle(P0, Be4) → ce4
  109. Rotate(P0_1, α, P1) → P1_1
  110. Line(P1, P1_1) → rP1
  111. Line(Be34, rP1) → rBe34
  112. Intersect(ce35, rBe34, 2) → Fe34
  113. Distance(Be34, Fe34) → De34
  114. Intersect(ce1, rP1, 2) → We1
  115. Angle(Be1, P0, We1) → εe1
  116. Line(Be33, rP1) → rBe33
  117. Intersect(ce34, rBe33, 2) → Fe33
  118. Distance(Be33, Fe33) → De33
  119. Line(Be32, rP1) → rBe32
  120. Intersect(ce33, rBe32, 2) → Fe32
  121. Distance(Be32, Fe32) → De32
  122. Line(Be31, rP1) → rBe31
  123. Intersect(ce32, rBe31, 2) → Fe31
  124. Distance(Be31, Fe31) → De31
  125. Line(Be30, rP1) → rBe30
  126. Intersect(ce31, rBe30, 2) → Fe30
  127. Distance(Be30, Fe30) → De30
  128. Line(Be29, rP1) → rBe29
  129. Intersect(ce30, rBe29, 2) → Fe29
  130. Distance(Be29, Fe29) → De29
  131. Line(Be28, rP1) → rBe28
  132. Intersect(ce29, rBe28, 2) → Fe28
  133. Distance(Be28, Fe28) → De28
  134. Line(Be27, rP1) → rBe27
  135. Intersect(ce28, rBe27, 2) → Fe27
  136. Distance(Be27, Fe27) → De27
  137. Line(Be26, rP1) → rBe26
  138. Intersect(ce27, rBe26, 2) → Fe26
  139. Distance(Be26, Fe26) → De26
  140. Line(Be25, rP1) → rBe25
  141. Intersect(ce26, rBe25, 2) → Fe25
  142. Distance(Be25, Fe25) → De25
  143. Line(Be24, rP1) → rBe24
  144. Intersect(ce25, rBe24, 2) → Fe24
  145. Distance(Be24, Fe24) → De24
  146. Line(Be23, rP1) → rBe23
  147. Intersect(ce24, rBe23, 2) → Fe23
  148. Distance(Be23, Fe23) → De23
  149. Line(Be22, rP1) → rBe22
  150. Intersect(ce23, rBe22, 2) → Fe22
  151. Distance(Be22, Fe22) → De22
  152. Line(Be21, rP1) → rBe21
  153. Intersect(ce22, rBe21, 2) → Fe21
  154. Distance(Be21, Fe21) → De21
  155. Line(Be20, rP1) → rBe20
  156. Intersect(ce21, rBe20, 2) → Fe20
  157. Distance(Be20, Fe20) → De20
  158. Line(Be19, rP1) → rBe19
  159. Intersect(ce20, rBe19, 2) → Fe19
  160. Distance(Be19, Fe19) → De19
  161. Line(Be18, rP1) → rBe18
  162. Intersect(ce19, rBe18, 2) → Fe18
  163. Distance(Be18, Fe18) → De18
  164. Line(Be17, rP1) → rBe17
  165. Intersect(ce18, rBe17, 2) → Fe17
  166. Distance(Be17, Fe17) → De17
  167. Line(Be16, rP1) → rBe16
  168. Intersect(ce17, rBe16, 2) → Fe16
  169. Distance(Be16, Fe16) → De16
  170. Line(Be15, rP1) → rBe15
  171. Intersect(ce16, rBe15, 2) → Fe15
  172. Distance(Be15, Fe15) → De15
  173. Line(Be14, rP1) → rBe14
  174. Intersect(ce15, rBe14, 2) → Fe14
  175. Distance(Be14, Fe14) → De14
  176. Line(Be13, rP1) → rBe13
  177. Intersect(ce14, rBe13, 2) → Fe13
  178. Distance(Be13, Fe13) → De13
  179. Line(Be12, rP1) → rBe12
  180. Intersect(ce13, rBe12, 2) → Fe12
  181. Distance(Be12, Fe12) → De12
  182. Line(Be11, rP1) → rBe11
  183. Intersect(ce12, rBe11, 2) → Fe11
  184. Distance(Be11, Fe11) → De11
  185. Line(Be10, rP1) → rBe10
  186. Intersect(ce11, rBe10, 2) → Fe10
  187. Distance(Be10, Fe10) → De10
  188. Line(Be9, rP1) → rBe9
  189. Intersect(ce10, rBe9, 2) → Fe9
  190. Distance(Be9, Fe9) → De9
  191. Line(Be8, rP1) → rBe8
  192. Intersect(ce9, rBe8, 2) → Fe8
  193. Distance(Be8, Fe8) → De8
  194. Line(Be7, rP1) → rBe7
  195. Intersect(ce8, rBe7, 2) → Fe7
  196. Distance(Be7, Fe7) → De7
  197. Line(Be6, rP1) → rBe6
  198. Intersect(ce7, rBe6, 2) → Fe6
  199. Distance(Be6, Fe6) → De6
  200. Line(Be5, rP1) → rBe5
  201. Intersect(ce6, rBe5, 2) → Fe5
  202. Distance(Be5, Fe5) → De5
  203. Line(Be4, rP1) → rBe4
  204. Intersect(ce5, rBe4, 2) → Fe4
  205. Distance(Be4, Fe4) → De4
  206. Line(Be3, rP1) → rBe3
  207. Intersect(ce4, rBe3, 2) → Fe3
  208. Distance(Be3, Fe3) → De3
  209. Line(Be2, rP1) → rBe2
  210. Intersect(ce3, rBe2, 2) → Fe2
  211. Distance(Be2, Fe2) → De2
  212. Line(Be1, rP1) → rBe1
  213. Intersect(ce2, rBe1, 2) → Fe1
  214. Distance(Be1, Fe1) → De1
  215. Rotate(Ke1, εe1 + α, We1) → We2
  216. Angle(Be2, P0, We2) → εe2
  217. Rotate(Ke2, εe2 + α, We2) → We3
  218. Angle(Be3, P0, We3) → εe3
  219. Rotate(Ke3, εe3 + α, We3) → We4
  220. Angle(Be4, P0, We4) → εe4
  221. Rotate(Ke4, εe4 + α, We4) → We5
  222. Angle(Be5, P0, We5) → εe5
  223. Rotate(Ke5, εe5 + α, We5) → We6
  224. Angle(Be6, P0, We6) → εe6
  225. Rotate(Ke6, εe6 + α, We6) → We7
  226. Angle(Be7, P0, We7) → εe7
  227. Rotate(Ke7, εe7 + α, We7) → We8
  228. Angle(Be8, P0, We8) → εe8
  229. Rotate(Ke8, εe8 + α, We8) → We9
  230. Angle(Be9, P0, We9) → εe9
  231. Rotate(Ke9, εe9 + α, We9) → We10
  232. Angle(Be10, P0, We10) → εe10
  233. Rotate(Ke10, εe10 + α, We10) → We11
  234. Angle(Be11, P0, We11) → εe11
  235. Rotate(Ke11, εe11 + α, We11) → We12
  236. Angle(Be12, P0, We12) → εe12
  237. Rotate(Ke12, εe12 + α, We12) → We13
  238. Angle(Be13, P0, We13) → εe13
  239. Rotate(Ke13, εe13 + α, We13) → We14
  240. Angle(Be14, P0, We14) → εe14
  241. Rotate(Ke14, εe14 + α, We14) → We15
  242. Angle(Be15, P0, We15) → εe15
  243. Rotate(Ke15, εe15 + α, We15) → We16
  244. Angle(Be16, P0, We16) → εe16
  245. Rotate(Ke16, εe16 + α, We16) → We17
  246. Angle(Be17, P0, We17) → εe17
  247. Rotate(Ke17, εe17 + α, We17) → We18
  248. Angle(Be18, P0, We18) → εe18
  249. Rotate(Ke18, εe18 + α, We18) → We19
  250. Angle(Be19, P0, We19) → εe19
  251. Rotate(Ke19, εe19 + α, We19) → We20
  252. Angle(Be20, P0, We20) → εe20
  253. Rotate(Ke20, εe20 + α, We20) → We21
  254. Angle(Be20, P0, We21) → εe21
  255. Rotate(Ke21, εe21 + α, We21) → We22
  256. Angle(Be22, P0, We22) → εe22
  257. Rotate(Ke22, εe22 + α, We22) → We23
  258. Angle(Be23, P0, We23) → εe23
  259. Rotate(Ke23, εe23 + α, We23) → We24
  260. Angle(Be24, P0, We24) → εe24
  261. Rotate(Ke24, εe24 + α, We24) → We25
  262. Angle(Be25, P0, We25) → εe25
  263. Rotate(Ke25, εe25 + α, We25) → We26
  264. Angle(Be26, P0, We26) → εe26
  265. Rotate(Ke26, εe26 + α, We26) → We27
  266. Angle(Be27, P0, We27) → εe27
  267. Rotate(Ke27, εe27 + α, We27) → We28
  268. Angle(Be28, P0, We28) → εe28
  269. Rotate(Ke28, εe28 + α, We28) → We29
  270. Angle(Be29, P0, We29) → εe29
  271. Rotate(Ke29, εe29 + α, We29) → We30
  272. Angle(Be30, P0, We30) → εe30
  273. Rotate(Ke30, εe30 + α, We30) → We31
  274. Angle(Be31, P0, We31) → εe31
  275. Rotate(Ke31, εe31 + α, We31) → We32
  276. Angle(Be32, P0, We32) → εe32
  277. Rotate(Ke32, εe32 + α, We32) → We33
  278. Angle(Be33, P0, We33) → εe33
  279. Rotate(Ke33, εe33 + α, We33) → We34
  280. Angle(Be34, P0, We34) → εe34
  281. Rotate(Ke34, εe34 + α, We34) → We35
  282. Circle(Be35, Pc) → cBe35
  283. Intersect(cBe35, s0, 2) → Be36
  284. Circle(P0, Be36) → ce36
  285. Line(Be35, rP1) → rBe35
  286. Intersect(ce36, rBe35, 2) → Fe35
  287. Segment(Be2, Fe2) → Spe3
  288. Segment(Be3, Fe3) → Spe4
  289. Segment(Be4, Fe4) → Spe5
  290. Segment(Be5, Fe5) → Spe6
  291. Segment(Be6, Fe6) → Spe7
  292. Segment(Be7, Fe7) → Spe8
  293. Segment(Be8, Fe8) → Spe9
  294. Segment(Be9, Fe9) → Spe10
  295. Segment(Be10, Fe10) → Spe11
  296. Segment(Be11, Fe11) → Spe12
  297. Segment(Be12, Fe12) → Spe13
  298. Segment(Be13, Fe13) → Spe14
  299. Segment(Be14, Fe14) → Spe15
  300. Segment(Be15, Fe15) → Spe16
  301. Segment(Be16, Fe16) → Spe17
  302. Segment(Be17, Fe17) → Spe18
  303. Segment(Be18, Fe18) → Spe19
  304. Segment(Be19, Fe19) → Spe20
  305. Segment(Be20, Fe20) → Spe21
  306. Segment(Be21, Fe21) → Spe22
  307. Segment(Be22, Fe22) → Spe23
  308. Segment(Be23, Fe23) → Spe24
  309. Segment(Be24, Fe24) → Spe25
  310. Segment(Be25, Fe25) → Spe26
  311. Segment(Be26, Fe26) → Spe27
  312. Segment(Be27, Fe27) → Spe28
  313. Segment(Be28, Fe28) → Spe29
  314. Segment(Be29, Fe29) → Spe30
  315. Segment(Be30, Fe30) → Spe31
  316. Segment(Be31, Fe31) → Spe32
  317. Segment(Be32, Fe32) → Spe33
  318. Segment(Be33, Fe33) → Spe34
  319. Segment(Be34, Fe34) → Spe35
  320. Segment(Be35, Fe35) → Spe36
  321. Segment(P1, We1) → SPpe1
  322. Segment(Be1, Fe1) → Spe2
  323. Distance(Be35, Fe35) → De35
  324. Angle(Be35, P0, We35) → εe35
  325. Rotate(Ke35, εe35 + α, We35) → We36
  326. Segment(We1, We2) → SPpe2
  327. Segment(We2, We3) → SPpe3
  328. Segment(We3, We4) → SPpe4
  329. Segment(We4, We5) → SPpe5
  330. Segment(We5, We6) → SPpe6
  331. Segment(We6, We7) → SPpe7
  332. Segment(We7, We8) → SPpe8
  333. Segment(We8, We9) → SPpe9
  334. Segment(We9, We10) → SPpe10
  335. Segment(We10, We11) → SPpe11
  336. Segment(We11, We12) → SPpe12
  337. Segment(We12, We13) → SPpe13
  338. Segment(We13, We14) → SPpe14
  339. Segment(We14, We15) → SPpe15
  340. Segment(We15, We16) → SPpe16
  341. Segment(We16, We17) → SPpe17
  342. Segment(We17, We18) → SPpe18
  343. Segment(We18, We19) → SPpe19
  344. Segment(We19, We20) → SPpe20
  345. Segment(We20, We21) → SPpe21
  346. Segment(We21, We22) → SPpe22
  347. Segment(We22, We23) → SPpe23
  348. Segment(We23, We24) → SPpe24
  349. Segment(We24, We25) → SPpe25
  350. Segment(We25, We26) → SPpe26
  351. Segment(We26, We27) → SPpe27
  352. Segment(We27, We28) → SPpe28
  353. Segment(We28, We29) → SPpe29
  354. Segment(We29, We30) → SPpe30
  355. Segment(We30, We31) → SPpe31
  356. Segment(We31, We32) → SPpe32
  357. Segment(We32, We33) → SPpe33
  358. Segment(We33, We34) → SPpe34
  359. Segment(We34, We35) → SPpe35
  360. Segment(We35, We36) → SPpe36
  361. Segment(P1, We1) → Spe1
  362. Intersect(cP1, s0, 1) → Bi1
  363. Line(Bi1, rP1) → rBi1
  364. Circle(P0, Bi1) → ci1
  365. Circle(Bi1, Pc) → cBi1
  366. Intersect(cBi1, s0, 1) → Bi2
  367. Circle(P0, Bi2) → ci2
  368. Intersect(ci1, rP1, 1) → Wi1
  369. Intersect(ci2, rBi1, 1) → Fi1
  370. Segment(Bi1, Fi1) → Spi2
  371. Line(Bi2, rP1) → rBi2
  372. Circle(Bi2, Pc) → cBi2
  373. Intersect(cBi2, s0, 1) → Bi3
  374. Circle(P0, Bi3) → ci3
  375. Intersect(ci3, rBi2, 1) → Fi2
  376. Segment(Bi2, Fi2) → Spi3
  377. Line(Bi3, rP1) → rBi3
  378. Circle(Bi3, Pc) → cBi3
  379. Intersect(cBi3, s0, 1) → Bi4
  380. Circle(P0, Bi4) → ci4
  381. Intersect(ci4, rBi3, 1) → Fi3
  382. Segment(Bi3, Fi3) → Spi4
  383. Line(Bi4, rP1) → rBi4
  384. Circle(Bi4, Pc) → cBi4
  385. Intersect(cBi4, s0, 1) → Bi5
  386. Circle(P0, Bi5) → ci5
  387. Intersect(ci5, rBi4, 1) → Fi4
  388. Segment(Bi4, Fi4) → Spi5
  389. Line(Bi5, rP1) → rBi5
  390. Circle(Bi5, Pc) → cBi5
  391. Intersect(cBi5, s0, 1) → Bi6
  392. Circle(P0, Bi6) → ci6
  393. Intersect(ci6, rBi5, 1) → Fi5
  394. Segment(Bi5, Fi5) → Spi6
  395. Line(Bi6, rP1) → rBi6
  396. Circle(Bi6, Pc) → cBi6
  397. Intersect(cBi6, s0, 1) → Bi7
  398. Circle(P0, Bi7) → ci7
  399. Intersect(ci7, rBi6, 1) → Fi6
  400. Segment(Bi6, Fi6) → Spi7
  401. Line(Bi7, rP1) → rBi7
  402. Circle(Bi7, Pc) → cBi7
  403. Intersect(cBi7, s0, 1) → Bi8
  404. Circle(P0, Bi8) → ci8
  405. Intersect(ci8, rBi7, 1) → Fi7
  406. Segment(Bi7, Fi7) → Spi8
  407. Segment(P1, Wi1) → SPpi1
  408. Segment(P1, Wi1) → Spi1
  409. Line(Bi8, rP1) → rBi8
  410. Circle(Bi8, Pc) → cBi8
  411. Intersect(cBi8, s0, 1) → Bi9
  412. Circle(P0, Bi9) → ci9
  413. Intersect(ci9, rBi8, 1) → Fi8
  414. Segment(Bi8, Fi8) → Spi9
  415. Line(Bi9, rP1) → rBi9
  416. Circle(Bi9, Pc) → cBi9
  417. Intersect(cBi9, s0, 1) → Bi10
  418. Circle(P0, Bi10) → ci10
  419. Intersect(ci10, rBi9, 1) → Fi9
  420. Segment(Bi9, Fi9) → Spi10
  421. Line(Bi10, rP1) → rBi10
  422. Circle(Bi10, Pc) → cBi10
  423. Intersect(cBi10, s0, 1) → Bi11
  424. Circle(P0, Bi11) → ci11
  425. Intersect(ci11, rBi10, 1) → Fi10
  426. Segment(Bi10, Fi10) → Spi11
  427. Line(Bi11, rP1) → rBi11
  428. Circle(Bi11, Pc) → cBi11
  429. Intersect(cBi11, s0, 1) → Bi12
  430. Circle(P0, Bi12) → ci12
  431. Intersect(ci12, rBi11, 1) → Fi11
  432. Segment(Bi11, Fi11) → Spi12
  433. Line(Bi12, rP1) → rBi12
  434. Circle(Bi12, Pc) → cBi12
  435. Intersect(cBi12, s0, 1) → Bi13
  436. Circle(P0, Bi13) → ci13
  437. Intersect(ci13, rBi12, 1) → Fi12
  438. Segment(Bi12, Fi12) → Spi13
  439. Line(Bi13, rP1) → rBi13
  440. Circle(Bi13, Pc) → cBi13
  441. Intersect(cBi13, s0, 1) → Bi14
  442. Circle(P0, Bi14) → ci14
  443. Intersect(ci14, rBi13, 1) → Fi13
  444. Segment(Bi13, Fi13) → Spi14
  445. Line(Bi14, rP1) → rBi14
  446. Circle(Bi14, Pc) → cBi14
  447. Intersect(cBi14, s0, 1) → Bi15
  448. Circle(P0, Bi15) → ci15
  449. Intersect(ci15, rBi14, 1) → Fi14
  450. Segment(Bi14, Fi14) → Spi15
  451. Line(Bi15, rP1) → rBi15
  452. Circle(Bi15, Pc) → cBi15
  453. Intersect(cBi15, s0, 1) → Bi16
  454. Circle(P0, Bi16) → ci16
  455. Intersect(ci16, rBi15, 1) → Fi15
  456. Segment(Bi15, Fi15) → Spi16
  457. Line(Bi16, rP1) → rBi16
  458. Circle(Bi16, Pc) → cBi16
  459. Intersect(cBi16, s0, 1) → Bi17
  460. Circle(P0, Bi17) → ci17
  461. Intersect(ci17, rBi16, 1) → Fi16
  462. Segment(Bi16, Fi16) → Spi17
  463. Line(Bi17, rP1) → rBi17
  464. Circle(Bi17, Pc) → cBi17
  465. Intersect(cBi17, s0, 1) → Bi18
  466. Circle(P0, Bi18) → ci18
  467. Intersect(ci18, rBi17, 1) → Fi17
  468. Segment(Bi17, Fi17) → Spi18
  469. Line(Bi18, rP1) → rBi18
  470. Circle(Bi18, Pc) → cBi18
  471. Intersect(cBi18, s0, 1) → Bi19
  472. Circle(P0, Bi19) → ci19
  473. Intersect(ci19, rBi18, 1) → Fi18
  474. Segment(Bi18, Fi18) → Spi19
  475. Line(Bi19, rP1) → rBi19
  476. Circle(Bi19, Pc) → cBi19
  477. Intersect(cBi19, s0, 1) → Bi20
  478. Circle(P0, Bi20) → ci20
  479. Intersect(ci20, rBi19, 1) → Fi19
  480. Segment(Bi19, Fi19) → Spi20
  481. Line(Bi20, rP1) → rBi20
  482. Circle(Bi20, Pc) → cBi20
  483. Intersect(cBi20, s0, 1) → Bi21
  484. Circle(P0, Bi21) → ci21
  485. Intersect(ci21, rBi20, 1) → Fi20
  486. Segment(Bi20, Fi20) → Spi21
  487. Line(Bi21, rP1) → rBi21
  488. Circle(Bi21, Pc) → cBi21
  489. Intersect(cBi21, s0, 1) → Bi22
  490. Circle(P0, Bi22) → ci22
  491. Intersect(ci22, rBi21, 1) → Fi21
  492. Segment(Bi21, Fi21) → Spi22
  493. Line(Bi22, rP1) → rBi22
  494. Circle(Bi22, Pc) → cBi22
  495. Intersect(cBi22, s0, 1) → Bi23
  496. Circle(P0, Bi23) → ci23
  497. Intersect(ci23, rBi22, 1) → Fi22
  498. Segment(Bi22, Fi22) → Spi23
  499. Line(Bi23, rP1) → rBi23
  500. Circle(Bi23, Pc) → cBi23
  501. Intersect(cBi23, s0, 1) → Bi24
  502. Circle(P0, Bi24) → ci24
  503. Intersect(ci24, rBi23, 1) → Fi23
  504. Segment(Bi23, Fi23) → Spi24
  505. Line(Bi24, rP1) → rBi24
  506. Circle(Bi24, Pc) → cBi24
  507. Intersect(cBi24, s0, 1) → Bi25
  508. Circle(P0, Bi25) → ci25
  509. Intersect(ci25, rBi24, 1) → Fi24
  510. Segment(Bi24, Fi24) → Spi25
  511. Line(Bi25, rP1) → rBi25
  512. Circle(Bi25, Pc) → cBi25
  513. Intersect(cBi25, s0, 1) → Bi26
  514. Circle(P0, Bi26) → ci26
  515. Intersect(ci26, rBi25, 1) → Fi25
  516. Segment(Bi25, Fi25) → Spi26
  517. Line(Bi26, rP1) → rBi26
  518. Circle(Bi26, Pc) → cBi26
  519. Intersect(cBi26, s0, 1) → Bi27
  520. Circle(P0, Bi27) → ci27
  521. Intersect(ci27, rBi26, 1) → Fi26
  522. Segment(Bi26, Fi26) → Spi27
  523. Line(Bi27, rP1) → rBi27
  524. Circle(Bi27, Pc) → cBi27
  525. Intersect(cBi27, s0, 1) → Bi28
  526. Circle(P0, Bi28) → ci28
  527. Intersect(ci28, rBi27, 1) → Fi27
  528. Segment(Bi27, Fi27) → Spi28
  529. Line(Bi28, rP1) → rBi28
  530. Circle(Bi28, Pc) → cBi28
  531. Intersect(cBi28, s0, 1) → Bi29
  532. Circle(P0, Bi29) → ci29
  533. Intersect(ci29, rBi28, 1) → Fi28
  534. Segment(Bi28, Fi28) → Spi29
  535. Line(Bi29, rP1) → rBi29
  536. Circle(Bi29, Pc) → cBi29
  537. Intersect(cBi29, s0, 1) → Bi30
  538. Circle(P0, Bi30) → ci30
  539. Intersect(ci30, rBi29, 1) → Fi29
  540. Segment(Bi29, Fi29) → Spi30
  541. Line(Bi30, rP1) → rBi30
  542. Circle(Bi30, Pc) → cBi30
  543. Intersect(cBi30, s0, 1) → Bi31
  544. Circle(P0, Bi31) → ci31
  545. Intersect(ci31, rBi30, 1) → Fi30
  546. Segment(Bi30, Fi30) → Spi31
  547. Line(Bi31, rP1) → rBi31
  548. Circle(Bi31, Pc) → cBi31
  549. Intersect(cBi31, s0, 1) → Bi32
  550. Circle(P0, Bi32) → ci32
  551. Intersect(ci32, rBi31, 1) → Fi31
  552. Segment(Bi31, Fi31) → Spi32
  553. Line(Bi32, rP1) → rBi32
  554. Circle(Bi32, Pc) → cBi32
  555. Intersect(cBi32, s0, 1) → Bi33
  556. Circle(P0, Bi33) → ci33
  557. Intersect(ci33, rBi32, 1) → Fi32
  558. Segment(Bi32, Fi32) → Spi33
  559. Line(Bi33, rP1) → rBi33
  560. Circle(Bi33, Pc) → cBi33
  561. Intersect(cBi33, s0, 1) → Bi34
  562. Circle(P0, Bi34) → ci34
  563. Intersect(ci34, rBi33, 1) → Fi33
  564. Segment(Bi33, Fi33) → Spi34
  565. Line(Bi34, rP1) → rBi34
  566. Circle(Bi34, Pc) → cBi34
  567. Intersect(cBi34, s0, 1) → Bi35
  568. Circle(P0, Bi35) → ci35
  569. Intersect(ci35, rBi34, 1) → Fi34
  570. Segment(Bi34, Fi34) → Spi35
  571. Line(Bi35, rP1) → rBi35
  572. Circle(Bi35, Pc) → cBi35
  573. Intersect(cBi35, s0, 1) → Bi36
  574. Circle(P0, Bi36) → ci36
  575. Intersect(ci36, rBi35, 1) → Fi35
  576. Segment(Bi35, Fi35) → Spi36
  577. Angle(Bi1, P0, Wi1) → εi1
  578. Distance(Bi1, Fi1) → Di1
  579. Distance(Bi2, Fi2) → Di2
  580. Distance(Bi3, Fi3) → Di3
  581. Distance(Bi4, Fi4) → Di4
  582. Distance(Bi5, Fi5) → Di5
  583. Distance(Bi6, Fi6) → Di6
  584. Distance(Bi7, Fi7) → Di7
  585. Distance(Bi8, Fi8) → Di8
  586. Distance(Bi9, Fi9) → Di9
  587. Distance(Bi10, Fi10) → Di10
  588. Distance(Bi11, Fi11) → Di11
  589. Distance(Bi12, Fi12) → Di12
  590. Distance(Bi13, Fi13) → Di13
  591. Distance(Bi14, Fi14) → Di14
  592. Distance(Bi15, Fi15) → Di15
  593. Distance(Bi16, Fi16) → Di16
  594. Distance(Bi17, Fi17) → Di17
  595. Distance(Bi18, Fi18) → Di18
  596. Distance(Bi19, Fi19) → Di19
  597. Distance(Bi20, Fi20) → Di20
  598. Distance(Bi21, Fi21) → Di21
  599. Distance(Bi22, Fi22) → Di22
  600. Distance(Bi23, Fi23) → Di23
  601. Distance(Bi24, Fi24) → Di24
  602. Distance(Bi25, Fi25) → Di25
  603. Distance(Bi26, Fi26) → Di26
  604. Distance(Bi27, Fi27) → Di27
  605. Distance(Bi28, Fi28) → Di28
  606. Distance(Bi29, Fi29) → Di29
  607. Distance(Bi30, Fi30) → Di30
  608. Distance(Bi31, Fi31) → Di31
  609. Distance(Bi32, Fi32) → Di32
  610. Distance(Bi33, Fi33) → Di33
  611. Distance(Bi34, Fi34) → Di34
  612. Distance(Bi35, Fi35) → Di35
  613. Rotate(Ki1, εi1 + α, Wi1) → Wi2
  614. Angle(Bi2, P0, Wi2) → εi2
  615. Rotate(Ki2, εi2 + α, Wi2) → Wi3
  616. Angle(Bi3, P0, Wi3) → εi3
  617. Rotate(Ki3, εi3 + α, Wi3) → Wi4
  618. Angle(Bi4, P0, Wi4) → εi4
  619. Rotate(Ki4, εi4 + α, Wi4) → Wi5
  620. Angle(Bi5, P0, Wi5) → εi5
  621. Rotate(Ki5, εi5 + α, Wi5) → Wi6
  622. Angle(Bi6, P0, Wi6) → εi6
  623. Rotate(Ki6, εi6 + α, Wi6) → Wi7
  624. Angle(Bi7, P0, Wi7) → εi7
  625. Rotate(Ki7, εi7 + α, Wi7) → Wi8
  626. Angle(Bi8, P0, Wi8) → εi8
  627. Rotate(Ki8, εi8 + α, Wi8) → Wi9
  628. Angle(Bi9, P0, Wi9) → εi9
  629. Rotate(Ki9, εi9 + α, Wi9) → Wi10
  630. Angle(Bi10, P0, Wi10) → εi10
  631. Rotate(Ki10, εi10 + α, Wi10) → Wi11
  632. Angle(Bi11, P0, Wi11) → εi11
  633. Rotate(Ki11, εi11 + α, Wi11) → Wi12
  634. Angle(Bi12, P0, Wi12) → εi12
  635. Rotate(Ki12, εi12 + α, Wi12) → Wi13
  636. Angle(Bi13, P0, Wi13) → εi13
  637. Rotate(Ki13, εi13 + α, Wi13) → Wi14
  638. Angle(Bi14, P0, Wi14) → εi14
  639. Rotate(Ki14, εi14 + α, Wi14) → Wi15
  640. Angle(Bi15, P0, Wi15) → εi15
  641. Rotate(Ki15, εi15 + α, Wi15) → Wi16
  642. Angle(Bi16, P0, Wi16) → εi16
  643. Rotate(Ki16, εi16 + α, Wi16) → Wi17
  644. Angle(Bi17, P0, Wi17) → εi17
  645. Rotate(Ki17, εi17 + α, Wi17) → Wi18
  646. Angle(Bi18, P0, Wi18) → εi18
  647. Rotate(Ki18, εi18 + α, Wi18) → Wi19
  648. Angle(Bi19, P0, Wi19) → εi19
  649. Rotate(Ki19, εi19 + α, Wi19) → Wi20
  650. Angle(Bi20, P0, Wi20) → εi20
  651. Rotate(Ki20, εi20 + α, Wi20) → Wi21
  652. Angle(Bi21, P0, Wi21) → εi21
  653. Rotate(Ki21, εi21 + α, Wi21) → Wi22
  654. Angle(Bi22, P0, Wi22) → εi22
  655. Rotate(Ki22, εi22 + α, Wi22) → Wi23
  656. Angle(Bi23, P0, Wi23) → εi23
  657. Rotate(Ki23, εi23 + α, Wi23) → Wi24
  658. Angle(Bi24, P0, Wi24) → εi24
  659. Rotate(Ki24, εi24 + α, Wi24) → Wi25
  660. Angle(Bi25, P0, Wi25) → εi25
  661. Rotate(Ki25, εi25 + α, Wi25) → Wi26
  662. Angle(Bi26, P0, Wi26) → εi26
  663. Rotate(Ki26, εi26 + α, Wi26) → Wi27
  664. Angle(Bi27, P0, Wi27) → εi27
  665. Rotate(Ki27, εi27 + α, Wi27) → Wi28
  666. Angle(Bi28, P0, Wi28) → εi28
  667. Rotate(Ki28, εi28 + α, Wi28) → Wi29
  668. Angle(Bi29, P0, Wi29) → εi29
  669. Rotate(Ki29, εi29 + α, Wi29) → Wi30
  670. Angle(Bi30, P0, Wi30) → εi30
  671. Rotate(Ki30, εi30 + α, Wi30) → Wi31
  672. Angle(Bi31, P0, Wi31) → εi31
  673. Rotate(Ki31, εi31 + α, Wi31) → Wi32
  674. Angle(Bi32, P0, Wi32) → εi32
  675. Rotate(Ki32, εi32 + α, Wi32) → Wi33
  676. Angle(Bi33, P0, Wi33) → εi33
  677. Rotate(Ki33, εi33 + α, Wi33) → Wi34
  678. Angle(Bi34, P0, Wi34) → εi34
  679. Rotate(Ki34, εi34 + α, Wi34) → Wi35
  680. Angle(Bi35, P0, Wi35) → εi35
  681. Rotate(Ki35, εi35 + α, Wi35) → Wi36
  682. Segment(Wi1, Wi2) → SPpi2
  683. Segment(Wi2, Wi3) → SPpi3
  684. Segment(Wi3, Wi4) → SPpi4
  685. Segment(Wi4, Wi5) → SPpi5
  686. Segment(Wi5, Wi6) → SPpi6
  687. Segment(Wi6, Wi7) → SPpi7
  688. Segment(Wi7, Wi8) → SPpi8
  689. Segment(Wi8, Wi9) → SPpi9
  690. Segment(Wi9, Wi10) → SPpi10
  691. Segment(Wi10, Wi11) → SPpi11
  692. Segment(Wi11, Wi12) → SPpi12
  693. Segment(Wi12, Wi13) → SPpi13
  694. Segment(Wi13, Wi14) → SPpi14
  695. Segment(Wi14, Wi15) → SPpi15
  696. Segment(Wi15, Wi16) → SPpi16
  697. Segment(Wi16, Wi17) → SPpi17
  698. Segment(Wi17, Wi18) → SPpi18
  699. Segment(Wi18, Wi19) → SPpi19
  700. Segment(Wi19, Wi20) → SPpi20
  701. Segment(Wi20, Wi21) → SPpi21
  702. Segment(Wi21, Wi22) → SPpi22
  703. Segment(Wi22, Wi23) → SPpi23
  704. Segment(Wi23, Wi24) → SPpi24
  705. Segment(Wi24, Wi25) → SPpi25
  706. Segment(Wi25, Wi26) → SPpi26
  707. Segment(Wi26, Wi27) → SPpi27
  708. Segment(Wi27, Wi28) → SPpi28
  709. Segment(Wi28, Wi29) → SPpi29
  710. Segment(Wi29, Wi30) → SPpi30
  711. Segment(Wi30, Wi31) → SPpi31
  712. Segment(Wi31, Wi32) → SPpi32
  713. Segment(Wi32, Wi33) → SPpi33
  714. Segment(Wi33, Wi34) → SPpi34
  715. Segment(Wi34, Wi35) → SPpi35
  716. Segment(Wi35, Wi36) → SPpi36