多步变换证明三角形全等 by Tim Brzezinski

GeoGebra 命令及参数

1. Polygon(A, B, C) → t1, c, a, b
2. Mirror(A, yAxis) → A'_{1}
3. Mirror(B, yAxis) → B'_{1}
4. Mirror(C, yAxis) → C'_{1}
5. Polygon(A'_{1}, B'_{1}, C'_{1}) → t1', c', a', b'
6. Segment(C'_{1}, B'_{1}) → f
7. Segment(B'_{1}, A'_{1}) → g
8. Segment(A'_{1}, C'_{1}) → h
9. Mirror(C'_{1}, y = -1) → D
10. Mirror(B'_{1}, y = -1) → E
11. Segment(D, E) → f'
12. Mirror(B'_{1}, y = -1) → F
13. Mirror(A'_{1}, y = -1) → G
14. Segment(F, G) → g'
15. Mirror(A'_{1}, y = -1) → H
16. Mirror(C'_{1}, y = -1) → I
17. Segment(H, I) → h'