平移反射变换 - 步行

GeoGebra 命令及参数

1. Line(A, B) → a
2. Mirror(pic9, a) → pic9'
3. Line(C, a) → b
4. Point(b) → D
5. Vector(C, D) → u
6. If(o ≤ 1, o, 1) → e
7. If((o ≥ 1.5) ∧ (o ≤ 2.5), o - 1.5, If[o < 1.5, 0, 1]) → f
8. If((o ≥ 2.5) ∧ (o ≤ 3.5), o - 2.5, If[o < 2.5, 0, 1]) → g
9. If((o ≥ 4) ∧ (o ≤ 5), o - 4, If[o < 4, 0, 1]) → h
10. If((o ≥ 5) ∧ (o ≤ 6), o - 5, If[o < 5, 0, 1]) → i
11. If((o ≥ 6.5) ∧ (o ≤ 7.5), o - 6.5, If[o < 6.5, 0, 1]) → j
12. Mirror(pic9', a) → r
13. Translate(pic9', Vector[(u * d)]) → l
14. Translate(r, Vector[(u * e)]) → r'
15. Translate(r', Vector[(u * f)]) → r1
16. Translate(l, Vector[(u * g)]) → l'
17. Translate(l', Vector[(u * h)]) → l1
18. Translate(r1, Vector[(u * i)]) → r1'
19. Translate(r1', Vector[(u * j)]) → r2
20. If((o ≥ 7.5) ∧ (o ≤ 8.5), o - 7.5, If[o < 7.5, 0, 1]) → c
21. If((o ≥ 9) ∧ (o ≤ 10), o - 9, If[o < 9, 0, 1]) → m
22. Translate(l1, Vector[(u * c)]) → l1'
23. Translate(l1', Vector[(u * m)]) → l2
24. If((o ≥ 10) ∧ (o ≤ 11), o - 10, If[o < 10, 0, 1]) → k
25. If((o ≥ 11.5) ∧ (o ≤ 12.5), o - 11.5, If[o < 11.5, 0, 1]) → n
26. Translate(r2, Vector[(u * k)]) → r2'
27. Translate(r2', Vector[(u * n)]) → r2''
28. Translate(pic8, u) → pic2
29. Translate(pic7, Vector[(2 * u)]) → pic3
30. Translate(pic8, Vector[(3 * u)]) → pic4
31. Translate(pic7, Vector[(4 * u)]) → pic5
32. Polygon(Corner[1], (x(Corner[1]) + (0.35 * Distance[Corner[1], Corner[2]]), y(Corner[1])), (x(Corner[4]) + (0.35 * Distance[Corner[1], Corner[2]]), y(Corner[4])), Corner[4]) → poly1, p, q, s, t
33. Translate(pic8, Vector[(5 * u)]) → pic6
34. Translate(l1', Vector[(u * m)]) → l2'