梯形面积 by Chip Rollinson

GeoGebra 命令及参数

1. Point(a) → A
2. Point(a) → B
3. Segment(A, B) → b_1
4. Point(c) → D
5. Segment(A, C) → d
6. Segment(C, D) → b_2
7. Segment(D, B) → f
8. OrthogonalLine(C, a) → g
9. Intersect(a, g) → E
10. Angle(C, E, A) → α
11. Segment(C, E) → h
12. Midpoint(f) → F
13. OrthogonalLine(F, f) → e
14. Mirror(A, e) → A'
15. Mirror(C, e) → C'
16. Mirror(D, e) → D'
17. Mirror(B, e) → B'
18. Polygon(A', C', D', B') → poly1', a', c', d', b'
19. Mirror(A', f) → A''
20. Mirror(C', f) → C''
21. Mirror(D', f) → D''
22. Mirror(B', f) → B''
23. Polygon(A'', C'', D'', B'') → poly1'', a'', c'', d'', b''
24. Midpoint(d) → G
25. OrthogonalLine(D, b_1) → j
26. Intersect(j, b_1) → H
27. Angle(D, H, B) → β
28. Segment(D, H) → k
29. Polygon(A, E, C) → poly2, c_2, a_2, e_1
30. Polygon(H, D, B) → poly3, b_3, h_1, d_2
31. Polygon(H, E, C, D) → poly4, h_2, e_2, c_3, d_3
32. OrthogonalLine(A, c) → m
33. OrthogonalLine(B, c) → n
34. Intersect(c, m) → I
35. Intersect(c, n) → J
36. Angle(C, I, A) → γ
37. Angle(D, J, B) → δ
38. Segment(A, I) → p
39. Segment(B, J) → q
40. Segment(I, J) → r
41. Segment(I, C) → s
42. Segment(D, J) → t
43. Polygon(A, D, C) → poly5, c_4, a_3, d_4
44. Polygon(A, B, D) → poly6, d_5, a_4, b_4
45. Line(D, d) → f_1
46. Intersect(f_1, b_1) → K
47. Segment(K, D) → g_1
48. Polygon(A, K, D, C) → poly1, a_1, k_1, d_6, c_1
49. Polygon(K, B, D) → poly7, d_7, k_2, b
50. Segment(A, C) → i_1
51. Point(b_1) → L
52. Polygon(C, L, D) → poly8, d_8, c_5, l_1
53. Polygon(L, B, D) → poly9, d_9, l_2, b_5
54. Polygon(L, A, C) → poly10, c_6, l_3, a_5
55. Ray(A, C) → j_1
56. Ray(B, D) → m_1
57. Intersect(j_1, m_1) → M
58. Segment(C, M) → n_1
59. Segment(M, D) → p_1
60. OrthogonalLine(M, b_2) → q_1
61. Intersect(q_1, b_2) → N
62. Intersect(q_1, b_1) → O
63. Segment(M, N) → r_1
64. Angle(M, N, C) → ε
65. Midpoint(d) → P
66. Midpoint(f) → Q
67. Ray(C, Q) → s_1
68. Intersect(a, s_1) → R
69. Segment(B, R) → t_1
70. Segment(C, R) → f_2
71. Segment(P, Q) → g_2
72. Segment(A, P) → i_2
73. Segment(P, C) → j_2
74. Segment(D, Q) → m_2
75. Segment(Q, B) → n_2
76. Polygon(C, R, A) → poly11, a_6, c_7, r_2
77. Segment(B, R) → p_2
78. Midpoint(d) → S
79. Midpoint(f) → T
80. Segment(A, S) → q_2
81. Segment(S, C) → s_2
82. Segment(D, T) → t_2
83. Segment(T, B) → e_3
84. Segment(T, S) → f_3
85. OrthogonalLine(S, b_1) → g_3
86. OrthogonalLine(T, b_1) → h_3
87. Intersect(c, g_3) → U
88. Intersect(c, h_3) → V
89. Intersect(g_3, b_1) → W
90. Intersect(h_3, b_1) → Z
91. Polygon(U, V, Z, W) → poly12, u_2, v_1, z_1, w_1
92. Polygon(C, D, T, S) → q1, c_8, d_{10}, t_3, s_3
93. Rotate(C, (-w_2), T) → C'_{1}
94. Rotate(D, (-w_2), T) → D'_{1}
95. Rotate(T, (-w_2), T) → T'
96. Rotate(S, (-w_2), T) → S'
97. Polygon(C'_{1}, D'_{1}, T', S') → q1', c'_{1}, d'_{1}, t', s'
98. Segment(B, C'_{1}) → i_3
99. Polygon(A, S, T, B) → q2, a_7, s_4, t_4, b_6
100. Intersect(h, f_3) → A_1
101. Segment(A_1, E) → j_3
102. Midpoint(f) → B_1
103. Polygon(A, C, D, B) → q3, a_8, c_9, d_{11}, b_7
104. Rotate(A, (-k_3), B_1) → A'_{1}
105. Rotate(C, (-k_3), B_1) → C'_{2}
106. Rotate(D, (-k_3), B_1) → D'_{2}
107. Rotate(B, (-k_3), B_1) → B'_{1}
108. Polygon(A'_{1}, C'_{2}, D'_{2}, B'_{1}) → q3', a'_{1}, c'_{2}, d'_{2}, b'_{1}
109. Line(B, d) → m_3
110. Line(D, b_1) → n_3
111. Intersect(m_3, n_3) → C_1
112. Segment(B, C_1) → p_3
113. Segment(D, C_1) → q_3
114. Polygon(D, B, C_1) → t1, r_3, d_{12}, b_8
115. Segment(A, C) → f_4
116. OrthogonalLine(B, n_3) → g_4
117. Segment(A, E) → h_4
118. Intersect(n_3, g_4) → D_1
119. Circle(D_1, h_4) → e_4
120. Intersect(e_4, n_3, 1) → E_1
121. Segment(B, E_1) → i_4
122. Polygon(B, E_1, D_1) → t2, j_4, b_9, k_4
123. Polygon(C, E, A) → t3, a_9, c_{10}, e_5
124. Angle(E_1, D_1, B) → ζ
125. Segment(D, E_1) → l_4
126. OrthogonalLine(D, b_1) → m_4
127. Midpoint(d) → F_1
128. Midpoint(f) → G_1
129. Segment(F_1, G_1) → p_4
130. OrthogonalLine(C, p_4) → q_4
131. OrthogonalLine(D, p_4) → r_4
132. OrthogonalLine(A, b_1) → f_5
133. OrthogonalLine(B, b_1) → g_5
134. Point(h) → H_1
135. Intersect(r_4, p_4) → I_1
136. Segment(C, H_1) → h_5
137. Segment(D, I_1) → i_5
138. Polygon(A, F_1, G_1, B) → q4, a_{10}, j_5, k_5, b_{10}
139. Polygon(C, H_1, I_1, D) → q5, c_{11}, l_5, m_5, d_{13}
140. Polygon(F_1, H_1, C) → t4, c_{12}, n_5, p_5
141. Polygon(I_1, G_1, D) → t5, d_{14}, q_5, r_5
142. Rotate(F_1, u_4, F_1) → J_1
143. Rotate(H_1, u_4, F_1) → K_1
144. Rotate(C, u_4, F_1) → C'_{3}
145. Polygon(J_1, K_1, C'_{3}) → t4', c'_{3}, s_5, t_5
146. Rotate(I_1, (-u_4), G_1) → L_1
147. Rotate(G_1, (-u_4), G_1) → M_1
148. Rotate(D, (-u_4), G_1) → D'_{3}
149. Polygon(L_1, M_1, D'_{3}) → t5', d'_{3}, f_6, g_6
150. OrthogonalLine(A, b_1) → h_6
151. OrthogonalLine(B, b_1) → i_6
152. Line(C, D) → j_6
153. Intersect(h_6, j_6) → N_1
154. Polygon(A, C, N_1) → t6, k_6, a_{11}, c_{13}
155. Polygon(A, C, D, B) → q6, a_{12}, c_{14}, d_{15}, b_{11}
156. Intersect(i_6, j_6) → O_1
157. Vector(N_1, O_1) → v_4
158. Polygon(D, B, O_1) → t7, l_6, d_{16}, b_{12}
159. Translate(A, Vector[(v_4 * w_4)]) → A'_{2}
160. Translate(C, Vector[(v_4 * w_4)]) → C'_{4}
161. Translate(N_1, Vector[(v_4 * w_4)]) → P_1
162. Polygon(A'_{2}, C'_{4}, P_1) → t6', m_6, a'_{2}, c'_{4}
163. Segment(J_1, M_1) → n_6
164. OrthogonalLine(B, b_1) → p_6
165. Line(J_1, M_1) → q_6
166. Line(C, D) → r_6
167. Intersect(p_6, r_6) → Q_1
168. Intersect(p_6, q_6) → R_1
169. Segment(Q_1, R_1) → s_6
170. Segment(R_1, B) → t_6
171. Polygon(C, M_1, J_1) → t8, e_6, c_{15}, f_7
172. Polygon(C, D, M_1) → t9, g_7, c_{16}, d_{17}
173. Polygon(A, M_1, J_1) → t10, h_7, a_{13}, i_7
174. Polygon(A, M_1, B) → t11, b_{13}, a_{14}, j_7