探索坐标平面中的线反射

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, δ, A) → C'_1
7. CircleArc(A, C'_1, C) → c
8. CircleArc(A, C, C'_1) → d
9. Circle(A, C) → e
10. Line(F, G) → f
11. Mirror(pic1, f) → pic1'_2
12. Mirror(B, f) → B'
13. Mirror(C, f) → C'
14. Dilate(pic1, k, A) → pic1'_3
15. Dilate(B, k, A) → B'_3
16. Dilate(C, k, A) → C'_3
17. Rotate(B, δ, A) → B'_1
18. Rotate(pic1, δ, A) → pic1'_1
19. Circle(A, C) → p
20. CircleArc(A, C'_1, C) → r
21. Textfield(δ) → InputBox1
22. Textfield(k) → InputBox2
23. Intersect(q, eq1) → H