探索坐标平面中的旋转变换

GeoGebra 命令及参数

1. Vector(D, E) → u
2. Translate(pic1, u) → pic1'
3. Translate(B, u) → B'_{4}
4. Translate(C, u) → C'_{4}
5. Vector(B, B'_{4}) → v
6. Rotate(C, δ, O) → C'
7. CircleArc(O, C', C) → c
8. CircleArc(O, C, C') → d
9. Circle(O, C) → e
10. Line(F, G) → f
11. Mirror(pic1, f) → pic1'_2
12. Mirror(B, f) → B'_2
13. Mirror(C, f) → C'_2
14. Dilate(pic1, k, O) → pic1'_3
15. Dilate(B, k, O) → B'_3
16. Dilate(C, k, O) → C'_3
17. Rotate(B, δ, O) → B'
18. Rotate(pic1, δ, O) → pic1'_1
19. Circle(O, C) → p
20. CircleArc(O, C', C) → r
21. Textfield(δ) → InputBox1
22. Textfield(k) → InputBox2
23. Intersect(q, eq1) → H