探索直角三角形的解法

GeoGebra 命令及参数

1. Line(A, B) → a
2. OrthogonalLine(A, a) → b
3. Point(b) → C
4. Segment(A, B) → c
5. Segment(A, C) → d
6. Segment(C, B) → e
7. Angle(C, B, A) → α
8. Angle(A, C, B) → β
9. Segment(C, B) → g
10. Segment(D, E) → i_1
11. OrthogonalLine(D, i_1) → j
12. Point(j) → F
13. Segment(D, F) → k
14. Segment(F, E) → l
15. Segment(D, F) → m
16. Angle(F, E, D) → γ
17. Angle(D, F, E) → δ
18. Segment(G, H) → p
19. OrthogonalLine(G, p) → q
20. Point(q) → I
21. Segment(G, I) → r
22. Segment(I, H) → s
23. Segment(I, G) → t
24. Segment(G, H) → a_1
25. Segment(H, I) → b_1
26. Angle(I, H, G) → ε
27. Angle(G, I, H) → ζ
28. Angle(H, G, I) → η
29. Angle(C, A, B) → θ
30. Angle(F, D, E) → ι
31. Polygon(C, A, B) → poly1, b_2, c_1, a_2
32. Polygon(F, D, E) → poly2, e_1, f_1, d_1
33. Polygon(H, G, I) → poly3, i_2, h_1, g_1