梯形对角线交点与中垂线的性质

GeoGebra 命令及参数

1. Point(xAxis) → C
2. Line(B_1, xAxis) → a
3. Point(a) → B
4. Point(a) → A
5. Line(D, A) → b
6. Line(C, B) → c
7. Segment(A, B) → d
8. Intersect(c, b) → F
9. Segment(D, F) → e
10. Segment(C, F) → f
11. Segment(B, D) → g
12. Segment(A, C) → h
13. Intersect(g, h) → E
14. Midpoint(d) → I
15. Midpoint(D, C) → J
16. OrthogonalLine(E, f) → i
17. Intersect(i, f) → M
18. Segment(E, M) → j_1
19. Segment(I, J) → k
20. Segment(I, M) → l
21. Segment(M, J) → m
22. Angle(I, M, E) → α
23. Angle(E, M, J) → β
24. Segment(D, C) → j_2
25. Midpoint(j_2) → j
26. Angle(E, M, C) → γ
27. Segment(j, F) → n