探索梯形的性质

GeoGebra 命令及参数

1. Segment(A, B) → a
2. LineBisector(a) → b
3. Intersect(b, a) → C_1
4. Segment(A, D) → c
5. Mirror(D, b) → C
6. Segment(C, B) → d
7. Segment(C, D) → e
8. Angle(B, A, D) → α
9. Angle(A, D, C) → β
10. Angle(D, C, B) → γ
11. Angle(C, B, A) → δ
12. Distance(A, D) → distanceAD
13. Distance(D, C) → distanceDD'
14. Distance(C, B) → distanceD'B
15. Distance(B, A) → distanceBA
16. Slope(e) → m
17. Slope(a) → m_1
18. Segment(A, C) → i
19. Segment(B, D) → j
20. Intersect(i, j) → E
21. Angle(E, A, D) → ε
22. Angle(A, D, E) → ζ
23. Angle(E, D, C) → η
24. Angle(D, C, E) → θ
25. Angle(E, C, B) → ι
26. Angle(C, B, E) → κ
27. Angle(E, B, A) → λ
28. Angle(B, A, E) → μ
29. Distance(A, E) → distanceAE
30. Distance(E, C) → distanceED'
31. Distance(B, E) → distanceBE
32. Distance(E, D) → distanceED
33. Distance(A, C) → distanceAD'
34. Distance(D, B) → distanceDB
35. Line(F, G) → p
36. Line(H, I) → q
37. OrthogonalLine(H, q) → r
38. OrthogonalLine(I, q) → s
39. Point(q) → J
40. Circle(H, J) → t
41. Intersect(t, r, 2) → K
42. CircleArc(H, J, K) → c_1
43. Point(c_1) → L
44. Line(L, q) → a_1
45. Intersect(a_1, s) → M
46. Segment(L, M) → b_1
47. Point(b_1) → N
48. Segment(H, L) → d_1
49. Segment(L, N) → e_1
50. Segment(N, I) → f_1
51. Segment(H, I) → g_1
52. Angle(N, I, H) → ν
53. Angle(I, H, L) → ξ
54. Angle(H, L, N) → ο
55. Angle(L, N, I) → ρ
56. Distance(H, L) → distanceHL
57. Distance(L, N) → distanceLN
58. Distance(N, I) → distanceNI
59. Distance(I, H) → distanceIH
60. Slope(e_1) → m_2
61. Slope(g_1) → m_3
62. Segment(L, I) → h_1
63. Segment(N, H) → i_1
64. Intersect(h_1, i_1) → O
65. Angle(C, E, D) → σ
66. Angle(B, E, C) → τ
67. Angle(H, L, O) → υ
68. Angle(O, L, N) → ϕ
69. Angle(L, N, O) → χ
70. Angle(N, I, O) → ψ
71. Angle(O, N, I) → ω
72. Angle(O, I, H) → α_1
73. Angle(I, H, O) → β_1
74. Angle(O, H, L) → γ_1
75. Distance(L, O) → distanceLO
76. Distance(O, N) → distanceON
77. Distance(O, I) → distanceOI
78. Distance(O, H) → distanceOH
79. Distance(L, I) → distanceLI
80. Distance(N, H) → distanceNH
81. Angle(L, O, H) → δ_1
82. Angle(N, O, L) → ε_1