Open Middle Perpendicular Bisector Problem 几何作图与坐标分析

GeoGebra 命令及参数

1. PointIn(j) → A
2. PointIn(j) → B
3. PointIn(j) → C
4. PointIn(j) → D
5. Segment(A, B) → f
6. Line(C, D) → g
7. Intersect(g, f) → E
8. Angle(B, E, C) → α
9. Midpoint(f) → F
10. Intersect(eq1, h) → G
11. Dilate(A, If[0 < b ≤ 1, 1 - b, 0], E) → A'
12. Vector(A, A') → u
13. Translate(A, u) → A'_{1}
14. Translate(G, u) → G'
15. Translate(E, u) → E'
16. Rotate(A'_{1}, If[1 < b ≤ 2, ((b - 1) * π / 2), π / 2], E) → H
17. Rotate(E', If[1 < b ≤ 2, ((b - 1) * π / 2), π / 2], E) → E''
18. Rotate(A'_{1}, If[1 < b ≤ 2, ((b - 1) * π / 2), π / 2], E) → I
19. Rotate(G', If[1 < b ≤ 2, ((b - 1) * π / 2), π / 2], E) → G''
20. Rotate(E', If[1 < b ≤ 2, ((b - 1) * π / 2), π / 2], E) → E''_{1}
21. Rotate(B, If[1 < b ≤ 2, ((b - 1) * α), α], E) → B'
22. Angle(B, E, B') → β
23. Mode(l1) → l2
24. Length(l2) → a
25. Segment(A, E) → l
26. Segment(E, B) → m
27. Rotate(A, If[0 < b ≤ 1, ((-b) * π), (-π)], E) → A'_{2}
28. Rotate(E, If[0 < b ≤ 1, ((-b) * π), (-π)], E) → E'_{1}
29. Segment(A'_{2}, E'_{1}) → l'
30. If(a ≟ 0, "√", "×") → text2