三元组几何构造

GeoGebra 命令及参数

1. Polygon(A, B, C) → poly1, c, a, b
2. Midpoint(a) → D
3. Midpoint(c) → E
4. Midpoint(b) → F
5. Segment(A, D) → d
6. Segment(B, F) → e
7. Intersect(d, e) → G
8. Polygon(B, E, G) → poly2, g, b_1, e_1
9. Polygon(B, G, D) → poly3, d_1, b_2, g_1
10. Polygon(D, G, C) → poly4, c_1, d_2, g_2
11. Polygon(F, G, C) → poly5, c_2, f_1, g_3
12. Polygon(F, G, A) → poly6, a_1, f_2, g_4
13. Polygon(A, E, G) → poly7, g_5, a_2, e_2
14. Rotate(B, ((-f(t)) * Angle[B, D, G]), D) → B'
15. Rotate(G, ((-f(t)) * Angle[B, D, G]), D) → G'
16. Rotate(D, ((-f(t)) * Angle[B, D, G]), D) → D'
17. Polygon(B', G', D') → poly3', d', b', g'
18. Rotate(D, (f(t) * Angle[G, D, C]), D) → D'_1
19. Rotate(G, (f(t) * Angle[G, D, C]), D) → G'_1
20. Rotate(C, (f(t) * Angle[G, D, C]), D) → C'
21. Polygon(D'_1, G'_1, C') → poly4', c', d'_1, g'_1
22. Rotate(F, ((-f(t)) * Angle[C, F, G]), F) → F'
23. Rotate(G, ((-f(t)) * Angle[C, F, G]), F) → G'_2
24. Rotate(C, ((-f(t)) * Angle[C, F, G]), F) → C'_1
25. Polygon(F', G'_2, C'_1) → poly5', c'_1, f', g'_2
26. Rotate(F, (f(t) * Angle[G, F, A]), F) → F'_1
27. Rotate(G, (f(t) * Angle[G, F, A]), F) → G'_3
28. Rotate(A, (f(t) * Angle[G, F, A]), F) → A'
29. Polygon(F'_1, G'_3, A') → poly6', a', f'_1, g'_3
30. Rotate(A, ((-f(t)) * Angle[A, E, G]), E) → A'_1
31. Rotate(E, ((-f(t)) * Angle[A, E, G]), E) → E'
32. Rotate(G, ((-f(t)) * Angle[A, E, G]), E) → G'_4
33. Polygon(A'_1, E', G'_4) → poly7', g'_4, a'_1, e'
34. Rotate(B, (f(t) * Angle[G, E, B]), E) → B'_1
35. Rotate(E, (f(t) * Angle[G, E, B]), E) → E'_1
36. Rotate(G, (f(t) * Angle[G, E, B]), E) → G'_5
37. Polygon(B'_1, E'_1, G'_5) → poly2', g'_5, b'_1, e'_1
38. Segment(C, E) → h
39. Angle(G'_4, A'_1, G'_5) → α
40. Angle(G', B', G'_1) → β
41. Angle(G'_2, C'_1, G'_3) → γ
42. Angle(G'_5, G'_4, A'_1) → δ
43. Angle(C'_1, G'_3, G'_2) → ε
44. Angle(B', G'_1, G') → ζ
45. Angle(G'_1, G', B') → η
46. Angle(A'_1, G'_5, G'_4) → θ
47. Angle(G'_3, G'_2, C'_1) → ι
48. Angle(G'_4, A'_1, J) → κ
49. Angle(G'_1, G', I) → λ
50. Angle(C'_1, G'_3, H) → μ
51. Rotate(A'_1, (f(t - 1.5) * κ), A'_1) → K
52. Rotate(E', (f(t - 1.5) * κ), A'_1) → E''
53. Rotate(G'_4, (f(t - 1.5) * κ), A'_1) → L
54. Polygon(K, E'', L) → poly7'', l, k, e''
55. Rotate(B'_1, (f(t - 1.5) * κ), A'_1) → M
56. Rotate(E'_1, (f(t - 1.5) * κ), A'_1) → N
57. Rotate(G'_5, (f(t - 1.5) * κ), A'_1) → O
58. Polygon(M, N, O) → poly2'', o, m, n
59. Rotate(B', (f(t - 1.5) * λ), G') → B''
60. Rotate(G', (f(t - 1.5) * λ), G') → G''
61. Rotate(D', (f(t - 1.5) * λ), G') → D''
62. Polygon(B'', G'', D'') → poly3'', d'', b'', g''
63. Rotate(D'_1, (f(t - 1.5) * λ), G') → P
64. Rotate(G'_1, (f(t - 1.5) * λ), G') → Q
65. Rotate(C', (f(t - 1.5) * λ), G') → C''
66. Polygon(P, Q, C'') → poly4'', c'', p, q
67. Rotate(F', (f(t - 1.5) * μ), G'_3) → F''
68. Rotate(G'_2, (f(t - 1.5) * μ), G'_3) → R
69. Rotate(C'_1, (f(t - 1.5) * μ), G'_3) → S
70. Polygon(F'', R, S) → poly5'', s, f'', r
71. Rotate(F'_1, (f(t - 1.5) * μ), G'_3) → T
72. Rotate(G'_3, (f(t - 1.5) * μ), G'_3) → U
73. Rotate(A', (f(t - 1.5) * μ), G'_3) → A''
74. Polygon(T, U, A'') → poly6'', a'', t_1, u
75. Line(B, F) → i
76. Mirror(A, i) → A'_2
77. Circle(B, A) → h_1
78. Circle(A, B) → k_1
79. Intersect(h_1, k_1, 1) → V