积极 AI Logo 积极 AI

分数比较 by sonom

分数比较 by sonom
几何画板及绘图内容加载中，请稍等……
2014-07-07 05:48
几何作图
所属专题 CBSE Class VI Maths Fraction Skills
①本范例通过动态演示比较不同分数的大小；②涉及核心数学概念包括分数、百分比、割线、矩形、二次方程和条件概率；③作图要点：使用了Vector（向量）、Translate（平移）、Rotate（旋转）、Circle（圆）、Segment（线段）、CircleSector（圆扇形）等GeoGebra命令和对象；④适合初中及以上数学学习者用于理解分数比较和几何变换。

GeoGebra 命令及参数

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

AI 绘图提示语参考

画一个动态演示分数比较的图形，包含核心数学概念如分数、百分比、割线、矩形、二次方程和条件概率。图形通过向量、平移、旋转、圆、线段和扇形构造，适合中学生及以上理解分数比较和几何变换。
以上提示语为根据原始绘图命令整理而来，仅供参考。