ASA三角形全等探索：通过几何作图理解三角形全等条件

GeoGebra 命令及参数

1. Segment(A, B) → a
2. Circle(A, B) → c
3. Segment(A, C) → b
4. Segment(C, B) → d
5. Angle(C, A, B) → α
6. Angle(A, B, C) → β
7. Circle(D, a) → e
8. Point(e) → E
9. Segment(D, E) → f
10. Rotate(E, (-α), D) → E'
11. Angle(E', D, E) → γ
12. Line(D, E') → g
13. Rotate(D, β, E) → D'
14. Angle(D, E, D') → δ
15. Line(E, D') → h
16. Intersect(g, h) → F
17. Line(D, F) → i
18. Segment(E, F) → j
19. Segment(D, F) → k
20. Polygon(A, B, C) → poly1, c_1, a_1, b_1
21. Polygon(D, E, F) → poly2, f_1, d_1, e_1