正十二边形面积构造

GeoGebra 命令及参数

1. Mirror(B, A) → E
2. Circle(B, A) → d
3. Circle(A, B) → c
4. Intersect(d, c, 2) → C
5. Mirror(C, A) → G
6. Intersect(d, c, 1) → D
7. Mirror(D, A) → F
8. Vector(N, O) → z
9. LineBisector(C, B) → b
10. LineBisector(D, B) → f
11. LineBisector(C, F) → g
12. Intersect(c, b) → I, J
13. Intersect(c, g) → K, L
14. Intersect(c, f) → M, P
15. Polygon(B, G, L, D, M) → Q, b_1, g_1, l, d_1, m
16. Mirror(B, b_1) → B'
17. Mirror(G, b_1) → G'_1
18. Mirror(L, b_1) → L'
19. Mirror(D, b_1) → D'
20. Mirror(M, b_1) → M'
21. Polygon(B', G'_1, L', D', M') → Q', b', g'_1, l', d', m'
22. Mirror(B', d') → B''
23. Mirror(G'_1, d') → G'_1'
24. Mirror(L', d') → L''
25. Mirror(D', d') → D''
26. Mirror(M', d') → M''
27. Polygon(B'', G'_1', L'', D'', M'') → Q'', b'', g'_1', l'', d'', m''
28. Mirror(B'', b'') → B'''
29. Mirror(G'_1', b'') → G'_1''
30. Mirror(L'', b'') → L'''
31. Mirror(D'', b'') → D'''
32. Mirror(M'', b'') → M'''
33. Polygon(B''', G'_1'', L''', D''', M''') → Q''', b''', g'_1'', l''', d''', m'''
34. Polygon(A, L'', P, E, I, G, L') → R, a_1, l''_1, p, e_1, i, g_2, l'_1
35. Polygon(J, M', B) → S, b_2, j, m'_1
36. Polygon(J, C, M, B, K, F, P, E, I, G, L, D) → T, j_1, d_2, m_1, b_3, c_1, k, f_1, p_1, e_2, i_1, g_3, l_1
37. Angle(L', G, L) → α
38. Rotate(B', β, G) → B''_1
39. Rotate(G'_1, β, G) → G'_2
40. Rotate(L', β, G) → L''_1
41. Rotate(D', β, G) → D''_1
42. Rotate(M', β, G) → M''_1
43. Polygon(B''_1, G'_2, L''_1, D''_1, M''_1) → Q''_1, b''_1, g'_2, l''_2, d''_1, m''_1
44. Rotate(J, γ, G) → J'
45. Rotate(M', γ, G) → M''_2
46. Rotate(B, γ, G) → B'_1
47. Polygon(J', M''_2, B'_1) → S', b'_1, j', m''_2
48. Angle(J', M''_1, D''_1) → δ
49. Rotate(J', ε, M''_1) → J''
50. Rotate(M''_2, ε, M''_1) → M''_2'
51. Rotate(B'_1, ε, M''_1) → B'_1'
52. Polygon(J'', M''_2', B'_1') → S'', b'_1', j'', m''_2'
53. Line(C, J) → h
54. Line(B, M) → n
55. Intersect(n, h) → U
56. Angle(B, U, J) → ζ
57. Rotate(B''', η, U) → B''''
58. Rotate(G'_1'', η, U) → G'_1'''
59. Rotate(L''', η, U) → L''''
60. Rotate(D''', η, U) → D''''
61. Rotate(M''', η, U) → M''''
62. Polygon(B'''', G'_1''', L'''', D'''', M'''') → Q'''', b'''', g'_1''', l'''', d'''', m''''
63. Rotate(B'', θ, U) → B'''_1
64. Rotate(G'_1', θ, U) → G'_3
65. Rotate(L'', θ, U) → L'''_1
66. Rotate(D'', θ, U) → D'''_1
67. Rotate(M'', θ, U) → M'''_1
68. Polygon(B'''_1, G'_3, L'''_1, D'''_1, M'''_1) → Q'''_1, b'''_1, g'_3, l'''_1, d'''_1, m'''_1
69. Rotate(B'''_1, o, G'_1''') → B'''_1'
70. Rotate(G'_3, o, G'_1''') → G'_3'
71. Rotate(L'''_1, o, G'_1''') → L'''_1'
72. Rotate(D'''_1, o, G'_1''') → D'''_1'
73. Rotate(M'''_1, o, G'_1''') → M'''_1'
74. Polygon(B'''_1', G'_3', L'''_1', D'''_1', M'''_1') → Q'''_1', b'''_1', g'_3', l'''_1', d'''_1', m'''_1'
75. Angle(A, U, M) → ι
76. Rotate(A, κ, U) → A'
77. Rotate(L'', κ, U) → L'''_2
78. Rotate(P, κ, U) → P'
79. Rotate(E, κ, U) → E'
80. Rotate(I, κ, U) → I'
81. Rotate(G, κ, U) → G'
82. Rotate(L', κ, U) → L''_2
83. Polygon(A', L'''_2, P', E', I', G', L''_2) → R', a', l'''_2, p', e', i', g', l''_3
84. Translate(A', u) → A''
85. Translate(L'''_2, u) → L'''_2'
86. Translate(P', u) → P''
87. Translate(E', u) → E''
88. Translate(I', u) → I''
89. Translate(G', u) → G''
90. Translate(L''_2, u) → L''_2'
91. Polygon(A'', L'''_2', P'', E'', I'', G'', L''_2') → R'', a'', l'''_2', p'', e'', i'', g'', l''_2'