SAS 公理在三角形全等判定中的应用

GeoGebra 命令及参数

1. Point(Circle[A, abs(a)]) → B
2. Point(Circle[C, abs(a)]) → D
3. Angle(A, B, J) → β
4. Segment(B, J) → a_1
5. Segment(A, B) → c
6. Segment(C, D) → d
7. Rotate(C, β, D) → C'
8. Angle(C, D, C') → γ
9. Ray(D, C') → h
10. Circle(D, a_1) → f
11. Intersect(f, h) → E,
12. Polygon(C, D, E) → poly2, e_1, c_2, d_2
13. Angle(E, C, D) → ε
14. Angle(D, E, C) → η
15. Polygon(A, B, G) → poly3, g_1, a_2, b_2
16. Circle(D, a_2) → k
17. Angle(B, A, G) → θ
18. Rotate(D, (-θ), C) → D'
19. Angle(D', C, D) → ι
20. Ray(C, D') → i
21. Intersect(k, i) → H, I
22. Polygon(C, H, D) → poly4, d_3, c_3, h_1
23. Polygon(C, D, I) → poly5, i_1, c_4, d_4
24. Angle(A, J, B) → ζ
25. Angle(J, A, B) → δ
26. Segment(A, J) → e
27. Segment(I, D) → b