SAS Congruence：利用几何与三角函数探索三角形性质

GeoGebra 命令及参数

1. Point(Circle[A, abs(AB)]) → B
2. Segment(A, B) → b
3. Point(Circle[D, abs(AB)]) → E
4. Segment(D, E) → c
5. Rotate(B, (-α), A) → B'_2
6. Angle(B, A, B'_2) → β
7. Rotate(E, α, D) → B_2
8. Angle(E, D, B_2) → γ
9. Line(A, B'_2) → d
10. Line(D, B_2) → e
11. Point(Circle[A, abs(AC)]) → D_1
12. Segment(A, D_1) → f
13. Point(Circle[D, abs(AC)]) → D_2
14. Segment(D, D_2) → g
15. Circle(A, D_1) → h
16. Circle(D, D_2) → k
17. Intersect(h, d) → C_1, C
18. Intersect(k, e) → E_1, F
19. Polygon(D, F, E) → triang2, b_0, a_0, c_0
20. Polygon(A, C, B) → triang1, i, j, l
21. Vector(A, D) → u
22. Translate(A, u) → A'
23. Translate(C, u) → C'
24. Translate(B, u) → B'
25. Polygon(A', C', B') → triang1', b'_1, a', c'
26. Angle(B', D, E) → δ
27. Rotate(A', δ, D) → A''
28. Rotate(C', δ, D) → C''
29. Rotate(B', δ, D) → B''
30. Polygon(A'', C'', B'') → triang1'', b'', a'', c''
31. Mirror(A'', c_0) → A'''
32. Mirror(C'', c_0) → C'''
33. Mirror(B'', c_0) → B'''
34. Polygon(A''', C''', B''') → triang1''', b''', a''', c'''
35. Angle(C, A, B) → ε
36. Angle(E, D, F) → ζ