等边三角形中的全等三角形构造与验证

GeoGebra 命令及参数

1. Polygon(A, B, 3, xOyPlane) → poly1, f, g, h, C
2. Midpoint(f) → D
3. Midpoint(h) → E
4. Midpoint(g) → F
5. Segment(D, F) → i
6. Segment(D, E) → j
7. Segment(E, F) → k
8. Polygon(D, B, F) → t1, f_1, d, b
9. Rotate(t1, If[a < 3.14, (-a), (-π)], i) → t1'
10. Rotate(t1', If[3.14 < a < (2 * π), (-(a - π)), (-π)], j) → t1''
11. Rotate(t1'', If[(2 * π) < a < (3 * π), a - (2 * π), π], j) → t1'''
12. Rotate(t1''', If[(3 * π) < a < (4 * π), (-(a - (3 * π))), (-π)], k) → t2
13. Rotate(t2, If[(4 * π) < a < (5 * π), a - (4 * π), π], k) → t2'
14. Rotate(t1', If[(5 * π) < a < (6 * π), a - (5 * π), π], i) → t2''
15. Segment(B, D) → l
16. Polygon(F, D, E) → t3, e, f_2, d_1
17. Polygon(F, E, C) → t4, c, f_3, e_1
18. Polygon(D, E, A) → t5, a_1, d_2, e_2