翻滑变换的几何演示：含垂直向量与轨迹构造

GeoGebra 命令及参数

1. Line(A, B) → f
2. Vector(B, A) → u
3. OrthogonalLine(C, u) → a
4. Polygon(F, G, H, I) → preimage, f_1, g_1, h_1, i_1
5. Mirror(F, a) → F'
6. Mirror(G, a) → G'
7. Mirror(H, a) → H'
8. Mirror(I, a) → I'
9. Mirror(preimageList, a) → reflectedList
10. Translate(reflectedList, u) → ReflTranslList
11. Polygon(reflectedList) → RTreflectedShape
12. Polygon(ReflTranslList) → RTtranslated
13. OrthogonalLine(D, f) → b
14. Intersect(f, b) → E
15. Circle(E, abs(u) / 2) → c_{1}
16. Intersect(c_{1}, f, 1) → J
17. OrthogonalLine(J, f) → c
18. If(animator < 1, animator, 0) → animatorR
19. If(animator > 1, animator - 1, 0) → animatorT
20. Polygon(AnimRTtranslList) → AnimRTTransl
21. Polygon(AnimRTreflectedList) → AnimRTrefl
22. Mirror(RTreflectedShape, b) → RTintermediaryTransl
23. Translate(preimageList, u) → TRtranslatedList
24. Mirror(TRtranslatedList, a) → TRreflectedList
25. Polygon(TRtranslatedList) → TRtranslatedShape
26. Polygon(TRreflectedList) → TRreflectedShape
27. Polygon(AnimTRtranslList) → AnimTRtranslShape
28. Polygon(AnimTRreflList) → AnimTRreflectedShape
29. Mirror(F, b) → F'_{1}
30. Mirror(G, b) → G'_{1}
31. Mirror(H, b) → H'_{1}
32. Mirror(I, b) → I'_{1}
33. Polygon(F'_{1}, G'_{1}, H'_{1}, I'_{1}) → TRIntermediarTransl, f'_{1}, g'_{1}, h'_{1}, i'_{1}