线段垂直平分线的构造 by Sébastien Vieilhescazes

GeoGebra 命令及参数

1. Circle(A, C) → c
2. Vector(A, B) → u
3. Translate(c, u) → c'
4. Intersect(c, c', 1) → D
5. Intersect(c, c', 2) → E
6. Rotate(D, a, A) → D'
7. Rotate(D, (-a), A) → D'_1
8. Rotate(D, a, B) → D'_2
9. Rotate(D, (-a), B) → D'_3
10. Rotate(E, a, A) → E'
11. Rotate(E, (-a), A) → E'_1
12. Rotate(E, a, B) → E'_2
13. Rotate(E, (-a), B) → E'_3
14. Segment(A, B) → b
15. Segment(A, D') → d
16. Segment(A, D'_1) → e
17. Segment(B, D'_2) → f
18. Segment(B, D'_3) → g
19. Segment(B, E'_2) → h
20. Segment(B, E'_3) → i
21. Segment(A, E) → j
22. Segment(A, E'_1) → k
23. Segment(A, E') → l
24. Segment(B, E) → m
25. Segment(B, D) → n
26. Segment(A, D) → p
27. Line(D, E) → q
28. Intersect(q, b) → F
29. Segment(F, B) → r
30. Segment(F, A) → s
31. Angle(D, F, A) → α
32. CircleArc(A, D'_1, D') → t
33. CircleArc(B, D'_3, D'_2) → c_1
34. CircleArc(A, E'_1, E') → d_1
35. CircleArc(B, E'_3, E'_2) → e_1
36. Polygon(D, A, E, B) → poly1, d_2, a_1, e_2, b_1