矩形的对角线性质探究

GeoGebra 命令及参数

1. Line(A, B) → a
2. OrthogonalLine(B, a) → b
3. OrthogonalLine(A, a) → c
4. Point(c) → C
5. OrthogonalLine(C, c) → d
6. Intersect(b, d) → D
7. Polygon(A, B, D, C) → poly1, a_1, b_1, d_1, c_1
8. Segment(C, B) → e
9. Segment(D, A) → f
10. Intersect(e, f) → E
11. Distance(C, E) → distanceCE
12. Distance(E, B) → distanceEB
13. Distance(D, E) → distanceDE
14. Distance(E, A) → distanceEA
15. Line(F, G) → g
16. OrthogonalLine(G, g) → h
17. OrthogonalLine(F, g) → i
18. Point(i) → H
19. OrthogonalLine(H, i) → j
20. Intersect(h, j) → I
21. Polygon(H, I, G, F) → poly2, h_1, i_1, g_1, f_1
22. Segment(H, G) → k
23. Segment(I, F) → l
24. Intersect(k, l) → J
25. Angle(I, J, H) → α
26. Angle(H, J, F) → β
27. Angle(F, J, G) → γ
28. Angle(G, J, I) → δ