探索三角形的反射

GeoGebra 命令及参数

1. Polygon(A, B, C) → poly1, c_1, a_1, b_1
2. Mirror(A, a) → A'
3. Mirror(B, a) → B'
4. Mirror(C, a) → C'
5. Polygon(A', B', C') → poly1', c', a', b'
6. Mirror(A, b) → A'_1
7. Mirror(B, b) → B'_1
8. Mirror(C, b) → C'_1
9. Polygon(A'_1, B'_1, C'_1) → poly1R, c'_1, a'_1, b'_1
10. Mirror(A, c) → A'_2
11. Mirror(B, c) → B'_2
12. Mirror(C, c) → C'_2
13. Polygon(A'_2, B'_2, C'_2) → poly1G, c'_2, a'_2, b'_2
14. Mirror(A, f) → A'_3
15. Mirror(B, f) → B'_3
16. Mirror(C, f) → C'_3
17. Polygon(A'_3, B'_3, C'_3) → poly1'_1, c'_3, a'_3, b'_3
18. OrthogonalLine(A, a) → k
19. OrthogonalLine(C, a) → l
20. OrthogonalLine(B, a) → m
21. Intersect(a, k) → D
22. Segment(A, D) → n
23. Segment(A', D) → p
24. Intersect(a, m) → E
25. Segment(B, E) → q
26. Segment(E, B') → r
27. Intersect(a, l) → F
28. Segment(C, F) → s
29. Segment(F, C') → t
30. OrthogonalLine(A, b) → d_1
31. OrthogonalLine(B, b) → e_1
32. OrthogonalLine(C, b) → f_1
33. Intersect(b, e_1) → G
34. Segment(B, G) → g_1
35. Segment(C, G) → h_1
36. Segment(G, B'_1) → i_1
37. Segment(G, C'_1) → j_1
38. Intersect(b, d_1) → H
39. Segment(A'_1, H) → k_1
40. Segment(A, H) → l_1
41. OrthogonalLine(A, c) → m_1
42. OrthogonalLine(C, c) → n_1
43. Intersect(c, m_1) → I
44. Segment(A, I) → p_1
45. Segment(B, I) → q_1
46. Intersect(c, n_1) → J
47. Segment(C, J) → r_1
48. Segment(I, A'_2) → s_1
49. Segment(I, B'_2) → t_1
50. Segment(J, C'_2) → a_2
51. OrthogonalLine(A, f) → b_2
52. OrthogonalLine(B, f) → c_2
53. OrthogonalLine(C, f) → d_2
54. Intersect(f, b_2) → K
55. Segment(A, K) → e_2
56. Intersect(f, c_2) → L
57. Segment(B, L) → f_2
58. Intersect(f, d_2) → M
59. Segment(C, M) → g_2
60. Segment(K, A'_3) → h_2
61. Segment(M, C'_3) → i_2
62. Segment(L, B'_3) → j_2