探索角边角（ASA）定理

GeoGebra 命令及参数

1. Polygon(A, B, C) → poly1, c, a, b
2. Circle(A', Segment[B, A]) → d
3. Point(d) → B'
4. Segment(A', B') → e
5. Point(c) → D
6. Point(b) → E
7. Circle(A', Segment[E, A]) → f
8. Circle(A', Segment[D, A]) → g
9. Intersect(g, e, 1) → F
10. Circle(F, Segment[E, D]) → h
11. Intersect(f, h, 1) → G
12. Ray(A', G) → i
13. Point(i) → C'_2
14. Segment(A', C'_2) → j
15. Point(a) → I
16. Point(c) → J
17. Circle(B', Segment[I, B]) → k
18. Circle(B', Segment[J, B]) → p
19. Intersect(p, e, 1) → K
20. Circle(K, Segment[I, J]) → q
21. Intersect(k, q, 2) → L
22. Ray(B', L) → l
23. Point(l) → C'_1
24. Segment(C'_1, B') → m
25. Intersect(j, m) → C'
26. Angle(B, A, C) → α
27. Angle(A, C, B) → β
28. Angle(C, B, A) → γ
29. Angle(A', C', B') → ε
30. Distance(c, b) → n
31. Distance(B', A') → distanceB'A'
32. Distance(A', C') → distanceA'C'
33. Distance(C', B') → distanceC'B'
34. Angle(C'_1, B', A') → δ
35. Angle(B', A', C'_2) → ζ
36. Polygon(A', B', C') → poly2, c', a', b'