三角形全等探索 by Tim Guindon

GeoGebra 命令及参数

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