梯形的性质 by kjmillikan

GeoGebra 命令及参数

1. Segment(A, B) → a
2. Segment(C_1, D_1) → b
3. Mirror(A, b) → D
4. Mirror(B, b) → C
5. Segment(D, C) → a'
6. Segment(A, D) → c
7. Segment(B, C) → d
8. Segment(A, C) → e
9. Segment(B, D) → f
10. Intersect(e, f) → E
11. Segment(F, G) → g
12. Line(H, g) → h
13. Point(h) → I
14. Segment(H, I) → i
15. Segment(F, H) → j
16. Segment(G, I) → k
17. Segment(F, I) → l
18. Segment(G, H) → m
19. Intersect(m, l) → J
20. Distance(A, D) → distanceAD
21. Distance(B, C) → distanceBC
22. Distance(A, B) → distanceAB
23. Distance(D, C) → distanceDC
24. Distance(F, G) → distanceFG
25. Distance(H, I) → distanceHI
26. Distance(F, H) → distanceFH
27. Distance(G, I) → distanceGI
28. Distance(A, C) → distanceAC
29. Distance(D, B) → distanceDB
30. Distance(F, I) → distanceFI
31. Distance(H, G) → distanceHG
32. Angle(B, A, D) → α
33. Angle(C, B, A) → β
34. Angle(D, C, B) → γ
35. Angle(A, D, C) → δ
36. Angle(H, F, G) → ε
37. Angle(I, H, F) → ζ
38. Angle(G, I, H) → η
39. Angle(F, G, I) → θ
40. Angle(C, A, D) → ι
41. Angle(A, D, B) → κ
42. Angle(C, B, D) → λ
43. Angle(A, C, B) → μ
44. Angle(I, F, G) → ν
45. Angle(F, G, H) → ξ
46. Angle(I, H, G) → ο
47. Angle(F, I, H) → ρ